. Is g smaller than -51?
True
Let v = -591 + 507. Which is bigger: v or 0.6?
0.6
Let r = 0 - 3. Let q be 0*(-3)/(-27)*r. Is q smaller than 5/3?
True
Let z be 1*(-7 - -2)*1914/(-290). Is 34 equal to z?
False
Suppose -1 = 3*c - 3*h + 11, 5*c - 2*h = -14. Is 0 at least as big as c?
True
Let c(k) = -16*k**2 + 786*k - 99. Let z be c(49). Let n = 1935684/361 - 5362. Which is bigger: n or z?
n
Let f be ((-12)/(-8))/(30/(-10))*0. Do f and -2/8391 have the same value?
False
Suppose 2*k + 16 = -2*k. Let v be (k/(-6))/(10/(-4)). Suppose u = 5*u. Which is smaller: u or v?
v
Suppose -m = -3*r + 5, 0 = 5*m - r - 4*r - 5. Let d(v) = v**3 - 5*v**2 + 5*v - 6. Let c be d(m). Let p(z) = 5*z - 31. Let g be p(6). Which is smaller: c or g?
c
Let h(d) = 5*d + 174. Let g be h(-34). Is g smaller than 4?
False
Suppose 0 = -4*l - w + 604, 454 = 3*l - 12*w + 13*w. Is l at least 151?
False
Let m = 14949.1 + -14949. Let t = 0.6 - 2.4. Is m greater than t?
True
Let w = -5.403 + 0.003. Let f = 6 + -11. Let z = f - w. Is 0.3 greater than or equal to z?
False
Let m = 6137 + -5443523/887. Which is smaller: -1 or m?
-1
Let y = 57 - 20. Let q = -36 + y. Let j = -3 + q. Which is greater: 2 or j?
2
Let u = -35 - -50. Suppose u = -6*o + 3. Let c be (-1 - -2)/(3/(-5)). Which is greater: o or c?
c
Suppose -q - 6 = -3. Let g be -25 + (q/(-3) - 0). Let t = g + 17. Is -8 not equal to t?
True
Let t be ((-3)/6 - 0)*(-8 + 54). Are t and -26 non-equal?
True
Let d = -57 + 41. Let m(h) = -h**2 - 14*h + 33. Let k be m(d). Let z be 3/k*3/69. Is 0 at least z?
False
Let v be 12/42 - 24/(-14). Suppose 0 = k + g - 12 - 12, -2 = v*g. Suppose 3*p = -k + 4. Which is bigger: -8 or p?
p
Let g be 21 + -39 + 83 - (-14)/(-2). Is g < 9?
False
Suppose 3*t = -c + 112, 3*t = -c + 2*c + 110. Let p = t - 43. Let x(w) = 2*w + 11. Let l be x(p). Which is bigger: -1/20 or l?
-1/20
Let t = -0.17 + -0.78. Let m = 0.15 + t. Is m != 0?
True
Let v(u) = -53*u + 15. Let a be v(6). Let s = 1205/4 + a. Does -1 = s?
False
Suppose 0 = 5*a - 4*i - 19, -3*a - i + 25 = -0*i. Suppose -a*z + 6*z = 10. Which is smaller: z or -35/4?
z
Let g be -5*1 - 11475/(-2115). Which is bigger: g or 2/5?
g
Suppose 4*u = 2*y + 30, -3*u + 0*u - 5*y + 42 = 0. Suppose -20 = 5*b + 5*m, u + 1 = -2*m. Are -2/27 and b equal?
False
Let m(p) = -2*p**2 - 3*p. Let o be m(-2). Let d be 12/(-18) + o/(-3). Let z = d + -1. Do z and 2/25 have the same value?
False
Let g(x) = x - 4. Let l(y) = 2*y**3 + 2*y**2 - 1. Let i be l(1). Suppose 0 = -5*k - i*c + 25 + 7, 5*c - 20 = 0. Let s be g(k). Which is smaller: -1 or s?
-1
Suppose 30 = 4*k - 30. Let l be k/(-3) - 12104/(-2424). Which is greater: 1 or l?
1
Let x be 14 + -25 + (7 - -3). Is -62/57 smaller than x?
True
Let a = -583 + 12253/21. Do 1 and a have the same value?
False
Let l(a) = -3*a - 7. Let s be l(-5). Suppose -c = -2*i - 11, -2*i + 0*i - 5 = c. Let m be c - (-1)/(-4)*-18. Is m at most as big as s?
True
Let s be -8*345/550 - (-4)/(-22). Suppose -2*p - 8 = 4. Is p <= s?
True
Let y be (-6)/33 + 18/(-22). Let l be (5 - 6) + (-66 - y). Let f be (-1)/(-4) + l/8. Does f = -7?
False
Let g be (6 - 66)/12 + -23. Which is smaller: g or 4?
g
Suppose 37 = -2*p - 3*o - 42, -p - 40 = o. Do -7 and p have the same value?
False
Let w = 81 - 51. Suppose -18*p = -w*p + 72. Is 6 less than or equal to p?
True
Let b = 3/215 - -116/7095. Which is greater: 1 or b?
1
Let c(q) = -3*q - 4. Let u = -16 + 19. Let b(l) = l**3 - 4*l**2 + 6*l - 7. Let k be b(u). Let w be c(k). Is -8 >= w?
True
Let r = -2/1003 - 933/35105. Let n = 3 - 4. Are n and r non-equal?
True
Let c = -919 + 819. Is c > -106?
True
Suppose -2*f = -3*a + 2, -4*f + 5*f = a + 1. Let u = -445 - -443. Are u and f nonequal?
True
Let x = 47.1 + -56.1. Which is smaller: 2/17 or x?
x
Let a = -2947 + 11783/4. Let c be (-1)/(-4) - (-2)/(-8). Which is bigger: a or c?
c
Let a = 20 + -1. Let v = -8.45 + -10.35. Let z = v + a. Which is smaller: z or 4?
z
Let s be (-76)/266 + (-1)/(7/(-9)). Let q be (1 - (-4)/(2 + -6)) + s. Which is greater: q or 2/5?
q
Let n be (7/(-7))/((-1)/(-5)) + -2. Is -76/9 less than n?
True
Suppose -5 = 5*f + i, -2*i = -2*f + 9 + 1. Let n be 28/21 - (-2)/3. Suppose -a - n*w + 6 + 0 = 0, -w = -a - 6. Is f bigger than a?
True
Let p be 82/(-288) - ((-190)/45 - -4). Which is smaller: p or 0?
p
Let o = 321 - 165. Suppose 15*v - 2*v - o = 0. Is 12 >= v?
True
Let n(x) = -174*x**3 - 2*x**2 + 5*x - 1. Let i be n(1). Are -0.1 and i equal?
False
Suppose n - 4*r = 2, 0 = 21*n - 25*n + 3*r + 60. Does n = 13?
False
Let f(b) = -2*b**2 - 5*b + 26. Let m be f(-5). Which is smaller: m or -10/21?
-10/21
Let t = 3 - 4. Let c = t + 5. Suppose 0*f = 2*j + 4*f - 12, -c*j = 3*f - 19. Is 4 less than j?
False
Let x(g) = g + 5. Let l be x(-5). Let f be (-42)/36 - (-35)/42. Do l and f have different values?
True
Suppose -19 = -3*u - 4. Suppose 16 - 6 = u*n. Let d = -16/7 + 200/63. Which is greater: d or n?
n
Let g(y) = y**3 + 6*y**2 - 2*y - 9. Let r be g(-6). Let b be ((-48)/(-36))/(1/r). Is b less than 20/7?
False
Let w be 16/12*3/(-21). Let y = w - -5/63. Let d be (-12)/(-10)*-5 - -7. Is y >= d?
False
Let y(m) = 10 - 9 + 17*m**2 - 3*m**2. Let j be y(-1). Let r(w) = 13*w**2 - 2*w - 1. Let f be r(-1). Does f = j?
False
Let g = -15 - -18. Suppose 0 = g*d + 9, 5*p + d - 6*d = 40. Is p <= 4?
False
Let l(f) = -f**3 - 14*f**2 - 16*f - 14. Let g be l(-13). Let w = g - 31. Which is smaller: 0 or w?
w
Let o = -1196 + 1189. Suppose 0 = 5*j + 5*u - 5, -2 = -2*j + u. Which is smaller: j or o?
o
Let h = 6605 - 9220581/1396. Let t = h - -191/23034. Which is smaller: t or -1?
-1
Suppose -108 = 6*m - 10*m. Let h = m - 28. Let q be ((-6)/(-17))/(h - 1). Is -1 smaller than q?
True
Let m be ((-48)/14)/8 + (-29986)/(-69902). Which is greater: -1 or m?
m
Let j = -293/2 + 4971/34. Which is smaller: 1 or j?
j
Suppose 2*w + 2 = 2*j, -3*w - 7 = -4*j - 3. Suppose -2*f + 5*f - 5*l = 8, 0 = l + j. Let c be 18/10 + -2 + f. Which is smaller: 0 or c?
0
Let k(z) = z**3 + 4*z**2 - 6*z - 1. Let h be k(-5). Suppose j = 2*x + 15, 7*x = 2*x - h*j - 18. Let y = -3 + x. Which is smaller: -8 or y?
y
Suppose 0 = 4*f - 2*h - 74, 3*f + 5*h = 4*h + 53. Let t be 4/f - (-55)/(-45). Let c = 1220 - 10994/9. Which is bigger: c or t?
t
Suppose 3*h = -5*f + 475, 10*h - 5*h = 0. Which is bigger: 187/2 or f?
f
Let x(h) = 2*h**2 - 12*h + 25. Let f be x(6). Which is smaller: f or 13?
13
Suppose -l = 2*c - 6*l - 6, -3*l - 1 = -c. Let g be 2/8*4/c. Let h = 5/3 + -29/21. Are h and g non-equal?
True
Let s(w) = -6*w + 17 + w + 7*w. Let a be s(-13). Which is smaller: -10 or a?
-10
Let w = -67 + 336/5. Let k be 0/((-2)/(-6 - -4)). Is w less than or equal to k?
False
Let x = 4 + -4. Let g be (0 + -1 - x)/1. Let k be g + 1 + (-6)/(-20). Which is bigger: k or -1?
k
Suppose -t = 3*t - 4. Do t and -4/67 have the same value?
False
Let b(z) = 2*z - 1. Let c(q) = -3*q + 66. Let o(h) = -2*b(h) + c(h). Let x be o(10). Let n be (-1)/4 - 142/72. Is n bigger than x?
False
Let s be ((-84)/(-135))/(-2)*5. Let z(r) = 4*r + 29. Let d be z(-7). Which is greater: s or d?
d
Let u be 4/(-6) + (-8)/6. Let g be -1*(-1)/(-1)*u. Let q be ((-42)/g)/(3/2). Which is bigger: q or 2/7?
2/7
Suppose 0 = 2*a - 8 - 16. Suppose a*v - 3*v - 288 = 0. Is 31 <= v?
True
Let s = 1114/5 + -223. Which is smaller: s or -9?
-9
Let c = -0.0295 - 5.0705. Which is smaller: 6 or c?
c
Suppose -4*i - 17 = -5*h - 16, 5*i - 5 = 0. Which is bigger: 1/342 or h?
h
Let a = 957.2 + -863. Let g = a + -94. Is g at most 25?
True
Let q = 0.2 - 1.2. Let r = 73 + -136. Let p = r - -63.07. Is q greater than p?
False
Let v be 13/39 + 7/(-3). Let y be (-15 + v)*(4 - 5). Is y bigger than 17?
False
Let z(w) = -10*w - 10. Let m be z(5). Let g be (-4)/(-10) + 204/m. Do 2 and g have different values?
True
Let n = 20 + -20. Suppose n = -10*g + 7*g. Is g equal to 6/17?
False
Suppose 0 = 2*u + 3*u - 10, 0 = -a - 4*u + 13. Let q(k) = k - 2. Let v be q(-9). Let j = v + a. Is -6 bigger than j?
False
Suppose 0 = 3*o + 3*m - 9, 0 = m - 1 - 3. Let t = 176 - 3169/18. Is o bigger than t?
False
Let d = -25 + 21. Let j be -3 + 0 + (-13)/d. Are j and 2/5 unequal?
True
Let k(c) = -c - 4. Let s be k(-6). Suppose s*l - 2 = 2. Let y be (-2 + 36/16)*2. Which is smaller: l or y?
y
Let f = -153 + 291. Is f less than 138?
False
Let v 