 be -4 + (0 - -3) - 2. Let p be u/((-6)/(-4) - 0). Which is smaller: p or k?
p
Suppose 3*x + 28*c - 25*c = 0, 5*x - c = -12. Which is smaller: x or 2?
x
Let o be (-2 - 129)/(-1*1). Let z = 668395/8 + -83419. Let n = o - z. Does n = 2?
False
Suppose -14 = 7*y - 5*y. Let h = 1 - y. Let o(g) = g - 5. Let r be o(h). Is 5 bigger than r?
True
Let y = -2551.9 - -2552. Which is bigger: 2/81 or y?
y
Let v be ((-1)/4)/(9/(-138)) - 4. Suppose -2*u + u = 0. Which is smaller: v or u?
v
Let v(u) = u**3 - 7*u**2 - 8*u + 4. Let o be v(8). Let a(q) = q**2 - 2*q + 7. Let y be a(3). Are y and o nonequal?
True
Let g be 3/4 + 126/(-8). Let b be (-5)/(g + (9/3 - 1)). Which is bigger: 0 or b?
b
Let j(p) = p**2 + 17*p + 13. Let f be j(-14). Let h = 25 + f. Which is smaller: -16/3 or h?
-16/3
Suppose -4*d = -h - 17, -2*h - 28 + 30 = 4*d. Which is greater: h or 14?
14
Let x be ((-10)/15)/(2/6). Let y = x - -7. Suppose 0 = y*m + d + 4*d - 10, 3*d = 2*m + 21. Is m smaller than -3?
False
Let u(z) = -z**2 + 2*z - 1. Let t(c) = 2*c - 1. Let k be t(9). Suppose 0 = -3*i + 5*w - k, 0*w - 3*w = -i - 11. Let s be u(i). Is 1/18 not equal to s?
True
Let t = -6 - -10. Suppose -20 = -t*y - y. Suppose y*a + 2*a = 6. Is 2 greater than or equal to a?
True
Suppose 9 = -3*t - 7*m + 4*m, 2*m = -4. Let b be (-7 - t - -1) + 0. Let q = 4 - b. Which is smaller: 10 or q?
q
Let k be (370/(-630))/(-1) - (-1)/(-7). Let f = -0.9 + -0.1. Let v = f - -3. Are k and v equal?
False
Suppose 2*g = 4*a - 12, -5 - 6 = -4*g + a. Let y = 6211/5 + -1237. Which is bigger: g or y?
y
Suppose 3*l = -3*l - 54. Which is smaller: l or -41/5?
l
Let j = 27 + -31. Let c(i) = i**3 + 5*i**2 - 2*i - 7. Let v be c(j). Suppose h - 2*h = 3*l + 23, 2*l - h = -v. Is l greater than -23/3?
False
Let m = -1920 + 1921. Are m and 720 equal?
False
Let j = -41.622 - -11.622. Let c = 3 + -1. Which is bigger: j or c?
c
Let p(h) = h**3 + h**2 - 5*h. Let o be p(3). Suppose -3*d + 6 = -3*n + o, 3*n + 13 = -4*d. Which is smaller: 5/42 or n?
5/42
Let i = 192470/33 - 5832. Are 0 and i non-equal?
True
Let g = -364 - -169. Let w = 195 + g. Let c = -6201/62 + 100. Which is greater: w or c?
w
Suppose 9 = -4*b + 29. Suppose 0 = y + 5*d + 11 + 15, -y + b*d + 14 = 0. Suppose 0*z + 20 = -4*z. Which is bigger: y or z?
z
Let s = -34 - -11. Suppose 23*t - 26*t + 69 = 0. Let a = -45 + t. Is a less than or equal to s?
False
Suppose 5*b - 7 - 23 = 0. Let j be 2/(-2) + 18/b. Let h be j/10 + 62/40. Is h less than 3?
True
Let o = -0.1351 + -3.8649. Is 184 > o?
True
Suppose -43 + 155 = 2*a + 2*v, 4*a = 2*v + 212. Let m be a/(-28) - (-13 + 11). Which is bigger: m or 0?
m
Let w(l) = 23*l + 76. Let k be w(-1). Which is smaller: 54 or k?
k
Suppose -6*n + 38 = 140. Is n greater than -9?
False
Let m(t) = -t**3 + 5*t**2 + 7*t - 7. Let u be m(6). Let n be 4/(-8) + (0 - u). Which is smaller: -7/2 or n?
-7/2
Let t = 2685 + -2629. Which is bigger: t or 55?
t
Let s(r) = 146*r + 139. Let o be s(-6). Are o and -738 nonequal?
True
Let f be 2/(-5) + (-13)/5. Let r be 1*(f + 4)*-7. Is r greater than 1?
False
Let v = -11.2 + 11. Let w = -9 + 8.8. Let b = w + 0.5. Is b at least as big as v?
True
Let n be 6 + -6 + (8 - 60). Let x be (-134)/4 - 1/2. Let b = n - x. Is 0.1 greater than b?
True
Let u be 0/((-10)/75 - (-128)/60). Do u and -26 have the same value?
False
Let o be (-8)/4 - -8*1. Suppose 4*h = -o + 10. Let v be h + (4 + -3 - 8). Which is smaller: v or -2?
v
Suppose -2*q - 39*y = -34*y - 17, -3*y + 11 = 2*q. Which is smaller: q or 3/170?
3/170
Suppose -2 = -2*n + 2*h, 3*n + 2*h = 2*n - 14. Let m be (-2 - -6)/(2/(-11)). Let q be (m - n)/(-2*1). Is q at least as big as 8?
True
Suppose 3*b = -b. Suppose b*k + k = 5. Suppose 4 = n - t + 6, 0 = -4*n - k*t - 8. Is n greater than 0?
False
Let s(r) = -3*r**2 - 4*r**2 + 2*r - 1 + r**2. Let d be s(1). Let l = -17 + 15. Which is smaller: l or d?
d
Let a = 55 - 39. Let c be (0 - 2)*104/a. Is -11 equal to c?
False
Let m be (2/12)/((-3)/(-18)). Which is smaller: m or 2/2333?
2/2333
Let i be (-42)/77 - 152/44. Is -60/11 at most i?
True
Let a be (12/(-10))/((-2)/5). Suppose -1 = -4*z - a*t, t + 27 = 3*z - 2*t. Let u = -1 + 6. Do u and z have the same value?
False
Let s(k) = 0*k + 8 - 51 - 5*k + 7*k. Let q be s(13). Do -15 and q have the same value?
False
Let b be 16/1 - (-2 + 8 + -2). Let y = 6 + b. Which is bigger: 2 or y?
y
Suppose 5*s = 15, -s + 6*s = 5*v - 10. Let z be (-24)/(-20)*v/2. Let f be (-28)/14 - (-2 - 4 - -2). Is f at most z?
True
Suppose 5*j + 0*j = -10*j. Let c(a) = -a**2 - 11*a - 17. Let b be c(j). Which is bigger: b or 2/11?
2/11
Let y = -50750/17 - -2984. Is y >= 0.07?
False
Let d(b) = -6 - b**2 - 10*b + 3*b + 0. Let r be d(-6). Suppose r = -8*c + 13*c + 20. Which is smaller: -2/3 or c?
c
Suppose -2*i = -i + 4*p + 10, p = -3. Let s be 3383/(-51) + i/6. Which is smaller: -68 or s?
-68
Suppose -2*i - i + 4*u = 5, 0 = i - 3*u. Is i less than -105?
False
Let q = -99.67 - -101. Let j = q - 1.13. Which is smaller: -4/13 or j?
-4/13
Let b = -1 + 0. Let m be (-1)/5 - (7 - (-2532)/(-310)). Let k = m + -1412/1395. Is b smaller than k?
True
Suppose -5*m = -4*m. Suppose m = -5*n + n. Let t be (-1 - n) + 34/10. Is 3 greater than or equal to t?
True
Let o(l) = -46*l - 51. Let h be o(-35). Which is bigger: 1560 or h?
1560
Let i(g) = -2*g**2 - 5*g + 4*g**2 + 4*g**2 + 4 + 3 - g**3. Let j be i(5). Is 2 equal to j?
False
Suppose 4*m + 0*m - 84 = 0. Let l = m - 21. Let w(z) = z**3 + 3*z**2 - 5*z - 3. Let d be w(-4). Is l bigger than d?
False
Let i = -43 - -43. Let v = 16.3 - 17. Let b = v - 0.1. Does b = i?
False
Let q be 1/((1*-2)/(-2)). Let z be 10/35 - 6105/273. Let u = -22 - z. Are q and u non-equal?
True
Let f(r) = -9*r**2 - 19*r + 42. Let a(u) = -5*u**2 - 10*u + 21. Let s(t) = -7*a(t) + 4*f(t). Let w be s(-11). Which is bigger: -35 or w?
w
Let s = -0.036 - -2.736. Let l = 2.3 + s. Is l less than or equal to -5?
False
Let b(g) = -g**3 - 23*g**2 + 11*g + 66. Let f be b(-23). Is -186 != f?
True
Suppose 0 = 2*i - i + 1. Let x be i + 2 + -5 + (-20)/(-5). Which is smaller: x or 1/4?
x
Let j = 13.5 - 10. Let c = -0.5 + j. Is -5 at least as big as c?
False
Let i = -1 - -1. Let l be 6/(-36)*(-24)/80*8. Which is greater: l or i?
l
Let h(t) = 4*t - 21. Let z be h(6). Suppose 4*s + 16 = 4*p, z*s - 10 = -5*p - 2*s. Is p greater than 7?
False
Let r = 4.9 + -5. Let u = -1992.7 - -1916. Let m = -76 - u. Is r greater than or equal to m?
False
Suppose 0 = 9*q - q - 104. Suppose -z + q*z + 24 = 0. Is 1/10 smaller than z?
False
Let j(r) = -62*r - 365. Let h be j(-5). Which is smaller: h or -51?
h
Let m be 371/35 - 2/(-5). Let i = m - 1. Suppose y + 5 - i = 0. Which is greater: y or 3?
y
Let u = 1238 - 1408. Is u at least -1?
False
Suppose -9*y - 7 = -16*y. Is -16/37 greater than or equal to y?
False
Let i(z) = z**3 + 4*z - 11. Let n be i(3). Let w = n + -167/6. Suppose 2*c - 2 = -0. Is w less than or equal to c?
True
Suppose 0 = -45*l + 46*l - 1137. Which is smaller: 1136 or l?
1136
Let r = 249.03 + -0.03. Are r and 2/3 equal?
False
Let p = -1043 - -98041/94. Suppose 0 = -0*x + 5*x. Is p smaller than x?
True
Suppose 1213*s - 1218*s - 4*x = 0, -3*s = x. Let j be -1 - (19/25)/(-1). Which is smaller: j or s?
j
Suppose -6*l + 0*l - 12 = 0. Let d be l/12 - 2/(-3). Which is bigger: -0.4 or d?
d
Let w be 251/84 - 0/(-2). Let h = w + -29/12. Suppose -6 + 9 = 3*b. Is h bigger than b?
False
Let x be -3 - 0 - (-5 - -2). Let c = -3 - -2. Let d be (-3)/(-1)*c/7. Are d and x non-equal?
True
Let j = 184 + -197.8. Which is smaller: 0.1 or j?
j
Suppose -2*j + 0*j = q - 715, 0 = -2*j + 4*q + 720. Is 358 < j?
False
Suppose -7*q + 29 = 36. Suppose -16 = 5*d - d. Let y be (d/16)/((-22)/16). Which is greater: q or y?
y
Let z be 10 - ((-16)/(-10) - (-4)/10). Let a be (z - 11 - -1)/((-2)/3). Suppose -m + 0*m - 3 = -t, 7 = t + m. Which is greater: a or t?
t
Let j be (2/(-18))/((-2)/6). Let h(w) = w**3 + 5*w**2 + 2*w - 8. Let g be h(-5). Let v = -18 - g. Which is bigger: v or j?
j
Let i be 24/(-3)*(-5 - -3). Suppose 4*a - 3*j = -2*j - i, 4*a - 5*j + 32 = 0. Suppose 10 = -4*w - 0*w + r, 4*w + 4*r = -20. Is a at least as big as w?
True
Let t be (-6)/9 - 14/18. Suppose 25*u = 76*u + 102. Is t less than u?
False
Suppose 4*a - u + 2 = 47, 2*a + 4*u = 0. Suppose -5*d = -a, 3*b +