(-2). Suppose 0*z + y = z. Is z not equal to 4?
True
Let m = -64666/51 + 1268. Is 0 less than m?
True
Let k be (-6)/8 - 1/(-1). Let i = -1.5 - -1.2. Which is smaller: i or k?
i
Let a = 38 - 25. Let n = a + -10. Suppose -n*b = -0*b + 3. Is 2/7 equal to b?
False
Let d = -7 - -15. Let b = d - 8.1. Which is greater: b or 0.1?
0.1
Let i = 27 + -15. Let q be (i/255)/((-2)/5). Is q > 0?
False
Suppose 4*j + 2 = -2. Which is greater: -3 or j?
j
Suppose 0 = 5*s - 16 - 34. Let d be 1/s + (-5)/10. Is 1 smaller than d?
False
Let l = 7.7 - 7.9. Let g = 6 + -4. Does l = g?
False
Suppose -5*l + 4*j - 1 = -2, 5*l - 8 = -3*j. Is l >= 2/17?
True
Let r be (4/(-14) - 1) + 4/14. Which is smaller: 0.021 or r?
r
Let o be (3 + -2)/(3/(-6)). Let h(d) = -d**2 + 2*d + 2. Let g be h(o). Let c = g - -4. Are -3 and c equal?
False
Let d(l) = l**2 + 7*l - 7. Let k(r) = 2*r + 8. Let g be k(-8). Let q be d(g). Is 2/23 bigger than q?
False
Let p = -3.56 + -0.34. Which is smaller: -1 or p?
p
Let p be (2/(-3))/((-5)/15 - -1). Is 3/80 < p?
False
Let q = -106 + 87. Which is greater: q or -20?
q
Suppose 5*v = -10 - 25. Is v equal to -9?
False
Suppose k = 3*k + 8. Let b(v) = v**2 - 11*v - 3. Let m(j) = -j**2 - 8*j + 11. Let g be m(-8). Let a be b(g). Is k bigger than a?
False
Let g(d) = 5*d + 15. Let y be g(-5). Which is smaller: -9 or y?
y
Suppose a - 24 = -4*a - 4*d, 4*d = -4*a + 20. Suppose -2*m - 12 = a. Which is smaller: m or -6?
m
Let r = -15 + 15. Let u be 5/(-12) - 2/(-3). Is u at most as big as r?
False
Let c be ((-190)/(-25))/((-4)/(-20)). Do c and 36 have the same value?
False
Let n be 1 - 2 - 1 - -2. Suppose 5*r + 4*y = 4*r - 17, 5*r - y - 20 = n. Is 4 < r?
False
Let r(y) = y**3 - 8*y**2 - 5*y + 4*y**2 - 1 + 4. Let t be r(5). Is t > -1?
True
Let i(h) = h**3 - 3*h**2 + 2*h. Let v be i(4). Suppose -4*d = 4 - v. Suppose 2*n = 3*w - d, -3*w = -3*n + 6*n + 15. Is -3 at least as big as w?
False
Suppose -10 + 4 = -6*r. Which is greater: r or 3/68?
r
Let t = -19.97 - -20. Which is greater: 1 or t?
1
Let j be 3 + 4/4 + -3. Suppose 313 = 3*a + 37. Let q = 826/9 - a. Which is bigger: j or q?
j
Let l be (-17)/(-51) - (-8)/3. Is 5/3 less than or equal to l?
True
Let b(x) = x**2 + x - 1. Let v be b(0). Let t be 2/3*24/(-128). Which is smaller: t or v?
v
Let l(n) = -3*n**3 + 1. Let j be l(-1). Suppose -g - 20 = 5*v - 6*g, v + j*g - 21 = 0. Do 2 and v have different values?
True
Let f = -0.72 + -12.28. Let n(k) = -k + 6. Let y be n(6). Which is bigger: f or y?
y
Suppose 2*n = -0*n + 8. Suppose 2*s - 2*c = c + 25, 4*c = n*s - 52. Let o = s - 21. Which is greater: o or -8?
o
Let v be 2/(-9)*-3 - 1. Is v > -0.2?
False
Let q be (-18)/140*(-35)/30. Which is bigger: q or 0?
q
Let v = 437/56 + -52/7. Do v and 1 have different values?
True
Let b(q) = -7*q + 1 + 0 + 4*q. Let j be b(1). Let h be j/7 - 38/14. Which is smaller: -5/3 or h?
h
Let c(u) = -u**2 + 2*u + 4. Let o be c(3). Let m = -219/4 + 55. Which is smaller: m or o?
m
Let d(s) = 4*s**2 + 6*s + 2. Let t be d(5). Let u = 657/5 - t. Let a(h) = -h**3 + 5*h**2 + 7*h - 6. Let z be a(6). Is z > u?
True
Let z = 7 + -9. Let l = -0.4 - 1.4. Let c = l - z. Is c smaller than 2?
True
Let r be 16/(-4) - -2 - 0. Which is smaller: -3/5 or r?
r
Let a be 8/(-4) + 141/6. Let g = 85/4 - a. Is -0.9 less than or equal to g?
True
Let r = -4 - -3. Which is greater: 0.06 or r?
0.06
Let b = 5 + -1. Let c = -3 + b. Let t be 2*((-2)/(-2))/(-10). Is t bigger than c?
False
Let m = -22 - -81. Is m <= 0?
False
Let h be (2/(-38))/((-16)/26). Let j = h + -4/19. Let p be (-21)/27 + 2/(-9). Which is smaller: j or p?
p
Let q = 0.13 - -4.87. Which is greater: q or 0.12?
q
Let b be 1 - (3 + -2)*-3. Let n = -5 + b. Which is greater: -1/4 or n?
-1/4
Let f be (6/(-4))/((-6)/8). Let n be 6/(-10)*5/4. Is n at most as big as f?
True
Suppose -2*w + 17 = v + 2*v, 3*w = -2*v + 28. Suppose -5 = 5*r + w. Is -3 less than r?
False
Let t = 15 + -14.9. Let j be -2*(-1 - 15/(-12)). Which is smaller: t or j?
j
Suppose 3*k = 3*j - 0 + 9, 3 = -j - 5*k. Let h(m) = -m + 1. Let c(x) = -1. Let o(z) = j*c(z) - h(z). Let g be o(-4). Is g at least -1/2?
False
Let n be (-20)/(-8)*(-1 + -1). Let a(s) = -s**2 + 0*s - 1 + 0*s**2 - 6*s. Let f be a(n). Are f and 4 equal?
True
Suppose 5*b - 4*c + 5*c = -15, -3*b - 4*c = 26. Suppose 5*v + 11 + 4 = 0. Is v at most b?
True
Suppose 2*m + 8 = -0. Let o = -2 - m. Is 3/5 smaller than o?
True
Suppose 3 = 4*d + 23. Let f = d - -5. Which is smaller: f or -2/5?
-2/5
Suppose -3*u + 1 = -2*u. Which is smaller: -1/18 or u?
-1/18
Let t(c) = 9*c + 17. Let z be t(-5). Does z = -29?
False
Let o = 2/199 - 408/995. Let u(f) = f**2 - 9*f + 19. Let k be u(6). Is k bigger than o?
True
Let z = -2.3 - -2.2. Is z less than or equal to -12?
False
Let i be (0 + 4)/(5/(-1)). Is 0 greater than or equal to i?
True
Let g = -7 + 1. Let w be 6/(-9) - 10/g. Let q(u) = -2*u**2 + 1. Let c be q(w). Is c <= 2/5?
True
Let f = 5 - -1. Let d be (-5 + f)/(2/4). Let k be (-30)/(-70) - 6/14. Is k > d?
False
Let a(b) = -b**2 - 2*b + 3. Let x be a(-4). Which is greater: x or -6?
x
Suppose z + 1970 = 3*z. Let j = 40387/41 - z. Are j and 1 equal?
False
Suppose 3*u - 5 = -2. Suppose 5*a = 2*m + 33, -5*a - 2*m + m = -21. Suppose -5*s - 2*k = -3*s + 2, -3*k - 1 = a*s. Is u at most as big as s?
True
Let z = -2 + 5. Suppose 1 = z*q - 2*q. Which is smaller: q or 3?
q
Let s = -13 - -17. Let v = -127/3 - -43. Which is bigger: s or v?
s
Let l = 0.25 + -1.25. Is l smaller than 1/14?
True
Suppose 3*f = 5*r - 23, -2*f + 2*r - 4 - 10 = 0. Which is smaller: -5 or f?
f
Let l be 0 + 1/1*-1. Let y = 2 - l. Let a be ((-2)/4)/(y/(-6)). Is a greater than 0?
True
Suppose o + 3*o + 12 = 0. Let p(n) = -n**3 + 5*n**2 - 3*n - 5. Let m be p(4). Is m smaller than o?
False
Let a = 99/4690 - -1/134. Let i = -3/7 + a. Let h = 7 + -6. Is i at least h?
False
Let a be 12 + (-2)/(-3)*-3. Is 10 <= a?
True
Let b be 2/(-42) - 2/3. Let f = 61 - 63. Are b and f unequal?
True
Let d be ((-2)/5)/((-6)/5). Let j(k) = -k**2 - 4*k - 2. Let m(n) = -2*n**2 - 4*n - 1. Let h(l) = 3*j(l) - 2*m(l). Let v be h(5). Is v less than or equal to d?
False
Suppose 0 = 2*p - 2*b + 182, -5*p - 473 = 14*b - 13*b. Is p less than or equal to -93?
True
Suppose -3*q + 32 = -4*v, 3*v = -5*q + 7 - 2. Let l = q + 0. Suppose 5 = -3*n - 2*d, d = -l*n + 3*d - 30. Which is smaller: -4 or n?
n
Let f = -5.09 - -0.09. Let k = -7 - f. Is k >= 0.3?
False
Let j = 18 + -14. Let m(w) = -w**3 + 4*w**2 + 3*w - 5. Let l be m(j). Let x(t) = t**3 + 6*t**2 - 7*t + 7. Let z be x(-7). Is l greater than z?
False
Let b = 5 + -4. Which is smaller: 2 or b?
b
Suppose 0 = -2*s + 2*r, 0 = -s - 4*s - 4*r. Which is smaller: 1/41 or s?
s
Let z(u) = -u**3 - 14*u**2 - 15*u - 19. Let j be z(-13). Suppose -5*n - b + 8 = 0, -5*n = -3*b + j - 3. Which is bigger: n or -3/11?
n
Let s be ((-2)/(-4))/((-2)/(-16)). Suppose -3*u + 9 = -s*z, z + 0 - 2 = 5*u. Which is smaller: u or -1/6?
u
Suppose 3*p - g = 3, p = -0*p - 2*g + 1. Let i = 114 - 1028/9. Is p equal to i?
False
Suppose -3*f + 5*f - 22 = 0. Are 9 and f equal?
False
Let d = 276621/9832 + -12/1229. Let s = d - 33059/1176. Let m = s + -457/1176. Which is smaller: -1 or m?
-1
Let f be 8/36 - (-17)/45. Which is smaller: 1 or f?
f
Let k = 7393/17 - 435. Let d = k - -71/170. Let o = 1/20 - d. Is o at most -1?
False
Let a(o) = -o**3 - 3*o**2 + 7*o - 15. Let n be a(-5). Suppose -x = -6 + 2. Let z = x + -6. Which is smaller: z or n?
z
Let d = 47 + -33. Let x = 13.7 - d. Let w = 0.3 + -0.2. Is w <= x?
False
Let t = 260 - 259. Let g = 2.92 + 0.08. Which is smaller: t or g?
t
Let a be ((9*-1)/3)/1. Let q be (5 + -2)*2/2. Suppose q*p + 8 = -p. Which is smaller: a or p?
a
Let h(d) = 12*d**2 + 5 - 13*d**2 - 5 - 4*d. Let l be h(-3). Which is greater: 4 or l?
4
Suppose 4*i + 2*y = 16, 0 = -y - 1 + 5. Let a be 5/(-3) + -1 + i. Which is smaller: 0 or a?
a
Suppose 0 = -2*l - 4 + 14. Let v = 7 - l. Let g = 0.9 - 1. Which is bigger: v or g?
v
Suppose -n + 2 = -0*n. Let h be 1 + 0/n + -1. Let d be 1 + (-72)/33 - -1. Do h and d have the same value?
False
Suppose 0 = r - 5*r + 48. Let m be (2/r)/(10/8). Suppose -4*a + 0 = 4. Do a and m have different values?
True
Suppose -2*a - 3*q = -7, -5*a = -3*q - 4 - 3. Suppose -r - 2*x + 2 = 0, -6*r + a*r = 4*x. Are r and -1 equal?
Fals