3?
False
Suppose -3*k = 2*j - 16, -28 + 8 = -2*j - 2*k. Suppose t + 8 = -3*t, j = 2*r - 3*t. Suppose -3*v - 5 = -0*v + r*h, -10 = -4*v + 3*h. Is 1 less than v?
False
Suppose 6*h - 4*h - 236 = 4*z, 5*h - 582 = 2*z. Suppose u = -f + 30, -h = -4*f - 6*u + u. Suppose l - 3*w + f = -4*l, 4*l - 4*w = -32. Is l equal to -4?
False
Let i(y) = 2*y**2 - 3*y + 3. Let d be i(3). Let g = -16 + d. Let p be 68/189 - g/(-14). Which is greater: p or 0?
p
Suppose -10 = 5*s, 2*c - s = -0*s. Suppose 2*h + h = -4*r + 116, h = -r + 29. Let l be (-2)/(-4) - r/10. Is c >= l?
True
Suppose 9*g + 90 = 11*g. Let p be (-5)/(g/2) + (-14)/18. Which is smaller: 2/31 or p?
p
Let f = -1848.966 + 1847. Let u = f + -0.034. Is -5/11 > u?
True
Let a be 50/(-4545)*18/15*-3. Is -1 greater than a?
False
Suppose -505 + 1531 = 3*j. Let c be 3*(-2)/j*3. Is c equal to 0?
False
Suppose 4*r - h - 15 = -0*h, -5*r + 30 = h. Suppose r*i - 3 = 2*i. Which is greater: i or -4/15?
i
Let s be 8 - 22/(-16)*38. Which is smaller: 60 or s?
60
Suppose 385 = -4*g - y, g - 4*y + 0*y = -92. Is -381/4 bigger than g?
True
Let z = -609 + 607. Let c = -42 - -124/3. Is c <= z?
False
Let m = 8 + 4. Suppose -4*s + 8 = 4*z, -4*s + 0 + m = 0. Which is greater: z or -2?
z
Let x = 0.104 - 0.204. Let f be -1*(10 - (-2 - -2)). Let u(p) = p**3 + 9*p**2 - 11*p - 7. Let v be u(f). Which is smaller: x or v?
x
Let r(g) = -2*g - 22. Let i be r(-11). Are -5/8 and i non-equal?
True
Let l = -55/4 + 14. Let w(x) = -x**2 - 12*x + 6. Let o be w(-13). Let z = o + 11. Which is smaller: z or l?
l
Let j(b) = 4*b - 5. Let m be j(10). Suppose k - m = -i, -4*i = -8*k + 3*k - 176. Is i smaller than 39?
False
Suppose 2*l = -12 - 2. Suppose -2*c - 3*i + 0*i = 27, -4*c - i = 29. Which is bigger: c or l?
c
Let z be ((0 - -2) + -2)/(-2). Let f(r) = r - 12. Let x be f(8). Let t be 338/90 + x + (-1)/5. Do z and t have the same value?
False
Suppose 457*z - 17 = 456*z. Is z > 7?
True
Let w = -0.0381 + 107.0381. Is w bigger than -0.3?
True
Suppose -5*r + 120 = -7*r. Let y = -1018/17 - r. Is -1 < y?
True
Suppose 0 = -8*z + 3*z + 15, -2*h + 3*z = 149. Let t be (-8)/h*(14/4 - 1). Is 0 equal to t?
False
Let v be 26/(-7) - (-18 - -14). Which is smaller: -2/5 or v?
-2/5
Let l = 127 - 133. Suppose 0*q + 5 = q + 2*p, q - 3*p + 10 = 0. Which is smaller: l or q?
l
Suppose 0 = -5*v - 4*a - 82 - 25, -4*a + 31 = -v. Which is smaller: -25 or v?
-25
Let y be (3/(-4))/((-19)/(-24)). Let x be (-20)/(-130) + (-3314)/3458. Let o = x - y. Is o > 0?
True
Suppose 111*m = -62*m - 3672 + 39. Let y = 4 - 6. Is y bigger than m?
True
Let i(c) = -c - 9. Let u be i(-8). Let k be u/(-7 + 4 - -2). Let d = 1 + 0. Does d = k?
True
Let w be 1/(-3)*0/(-7)*1. Is w >= -1/426?
True
Let m be -1*(4 + -2 + -4). Let z = 11 - m. Let g(j) = -j**3 + 16*j**2 + 18*j - 7. Let o be g(17). Which is greater: z or o?
o
Let v be 10/4*(-300)/(-750). Do -185/6 and v have the same value?
False
Suppose 75 = -i + 5*y, 0 = -4*i + 5*y - 334 + 19. Which is greater: i or -1?
-1
Let q = -180 + 103. Which is smaller: q or -82?
-82
Suppose 6*t = -4*i + 4*t - 12, 4*t - 9 = 3*i. Which is smaller: -25 or i?
-25
Suppose -5*s = -k + 1455, -33*s + 31*s + 4297 = 3*k. Is 1435 at least as big as k?
True
Let n = -265 + 376. Let a be (-1 + n/120)/((-9)/6). Which is smaller: a or 0?
0
Let o = -2366 + 2366.4. Suppose 0 = -2*v - v + n + 19, -v + 23 = 3*n. Are o and v equal?
False
Let c = 364 - 381. Let w be 1/5 + (-228)/15. Which is greater: w or c?
w
Let a(y) = -y**3 + y**2 + 6*y - 3. Let u be 481/169 + 4/26. Let z be a(u). Let p(l) = l + 1. Let w be p(z). Which is smaller: -6/5 or w?
w
Suppose 22*l + 40 = 20*l. Let n be (36/(-27))/(l/18). Which is greater: n or 1?
n
Suppose 5*b - 3 = 4*p, 12*b = 9*b + 4*p - 3. Is b at most as big as -2?
False
Suppose -4*s = -n - 60, 0*s + 2*s = 3*n + 30. Let q be s/20*(-1 + -1). Let w = 0.1 - 0.1. Which is smaller: w or q?
q
Let x be (3270/125)/(-6) - -4. Is x equal to 1?
False
Let s = -11 - -14. Suppose 0 = -5*j + 2 + s. Is 6/7 not equal to j?
True
Let f be 4 + (-27)/((-297)/(-8140)). Is f < -736?
False
Suppose -29 = 3*g + 26*g. Are g and 8 unequal?
True
Let f be ((-6)/(-2064)*-4)/((-1)/12). Is f < -1?
False
Let w(m) = 3*m**2 + 23*m + 31. Let q be w(-6). Which is bigger: -3/323 or q?
q
Let m be ((-469)/47 - -10)*2*1. Are m and 1 unequal?
True
Suppose 4*y + 5*g = -97, 5*y - 2*g - g = -149. Let a = 35 + y. Let d(r) = 2*r - 4. Let z be d(a). Is z equal to 10?
True
Let x = 2.5 - -8.5. Let n = -0.094 + -0.006. Are n and x nonequal?
True
Let z = 53 - 42. Let t(r) = 3*r - 27. Let u be t(z). Which is greater: u or 11/2?
u
Let v(l) = 44*l + 211. Let i be v(-5). Which is greater: i or -11?
i
Let q be (-5)/((-5)/12)*742/1431. Is q <= 7?
True
Let i = -65.3 - -61. Let u = -3.2 - i. Let y = 1.3 - u. Which is bigger: 1 or y?
1
Let a be ((-265)/15)/(4*1). Let x = 451/4 + -106. Let m = a + x. Which is smaller: 1 or m?
1
Suppose -3*b - 3*g = -21, 0*b - 4*b - 2*g + 22 = 0. Let r = -20 - -41. Let n = -16 + r. Is b at most as big as n?
True
Suppose -5*i + 4*i = -z + 57, -220 = 4*i + 4*z. Is -56 not equal to i?
False
Let s be (18/(-36))/((-1)/(-26)). Which is bigger: -57/4 or s?
s
Let q = 2.815 - 2.265. Is -0.03 < q?
True
Let l = 0.8 - -1.2. Let d = l + -1.6. Let p = d + -0.3. Which is greater: -0.1 or p?
p
Let b be 7/(0 - 2/(-2)). Suppose -b*r = -11*r + 4. Let a = -2/7 - -1/14. Are r and a nonequal?
True
Suppose -27*b - 17*b = 7700. Which is greater: -347/2 or b?
-347/2
Let p(f) = f - 3. Let i be p(7). Let b be (-2)/((-1)/2*i). Let g be 94/68 - 10/(-510)*6. Which is smaller: b or g?
b
Let q = 1 + 0. Let p(d) = -d**2 + 6*d + 17. Let f be p(8). Let j be (-26)/(-40) + (-2)/(9 - f). Is j bigger than q?
False
Suppose 0 = -7*y + 11*y + 60. Let x be 19/(-3) + 5/y. Which is smaller: x or -7?
-7
Suppose 2*z + 4*i - 8 = 0, 3*z - 3*i = i - 28. Let l(o) = o - 2. Let m be l(-5). Is m less than or equal to z?
True
Suppose 18 = 3*f - f. Suppose x = -3*y + 3*x, -x + 5 = y. Let a(g) = 2*g**2 - 7*g + 16. Let k be a(y). Is f smaller than k?
True
Let l(b) = 5*b**2 + b + 2. Let k be l(2). Suppose k = 2*x + 4. Is x less than 9?
False
Let x be 306/561 - 49/(-11). Let b be (-42)/4*24/(-45). Is b greater than x?
True
Let y(k) = k**3 - 5*k**2 - 26*k + 13. Let j be y(8). Which is greater: -19/8 or j?
-19/8
Let h(m) = -2*m**2 + 5*m. Let p(b) = -3*b**2 + 9*b. Let z(f) = 5*h(f) - 3*p(f). Let y be z(-1). Let u = 22 + -196/9. Is u greater than y?
False
Let y(m) = m**2 + 7*m + 14. Let d be y(-4). Which is smaller: 2/33 or d?
2/33
Let x be ((-1 - 2) + (-8 - -13))/2. Do x and -3/26 have different values?
True
Let v(j) = 2*j**2 - j - 5. Let u be v(2). Let y = 5 - 4. Is u > y?
False
Let j be (24 - 4)*195/(-12). Is -324 at least j?
True
Let p(s) = 2*s + 7. Let v be p(-3). Let r be v*((-3)/(-2))/(9/6). Is -2 at most as big as r?
True
Let d = -29 + 0. Let m = 27.9 + d. Let z = 1 + m. Are z and 4 nonequal?
True
Let i = -17/105 - 6/35. Which is greater: i or -1/48?
-1/48
Suppose -2*k + 8 = -4*k + 3*x, 0 = x. Is 20 bigger than k?
True
Let r(i) = 2*i**3 + 17*i**2 - 22*i + 47. Let t(s) = 3*s**3 + 16*s**2 - 22*s + 47. Let u(z) = 4*r(z) - 3*t(z). Let k be u(19). Which is bigger: -8 or k?
-8
Let k(w) = w**2 - 7*w + 9. Let j be k(4). Are -2 and j non-equal?
True
Let s be -6 + (-6 - -6) - 5. Suppose -m + 0*m + 5 = 0. Suppose 0 = m*f + 2*t + 52, -3*f - t = -8 + 39. Which is smaller: s or f?
s
Suppose -13 = 5*v - 2*t + 6, 5*t - 10 = 0. Let p be (v - 0)*(-144)/27. Let u(x) = -x**3 + 17*x**2 - 16*x - 3. Let z be u(p). Are z and 0.1 non-equal?
True
Let y(a) = 3*a + 57. Let q be y(-20). Let b(p) = 4*p + 2. Let h be b(3). Suppose 2*j + 4*i - h = 0, 0*j + 3*j = -i + 1. Which is smaller: j or q?
q
Suppose 366*j + 3 = 365*j. Is -27/10 bigger than j?
True
Let c = -6217 + 4271077/687. Is c less than 1?
True
Let j = -32 - -60. Let l be (-6)/14 - 324/j. Which is smaller: l or -11?
l
Suppose -215*s - 72 = -223*s. Is s equal to 60/7?
False
Let z = -2.35 - -15.35. Which is smaller: -34 or z?
-34
Let r = -98.2 - -98. Is r >= 4.84?
False
Suppose -3*v + 24 = v. Suppose -v*c - 2*k - 20 = -c, k = -3*c - 11. Which is bigger: -1/2 or c?
-1/2
Let d = 160535/3 + -1222474031/22845. Is 1 <= d?
False
Let q be 140/8*(-4 + 24/4). Do q and 36 have the same value?
False
Let p(s) = -s + 