r = k - -1644. Let a be 437/r + 2/9. Which is smaller: 0 or a?
a
Let x = -24 - -7. Let m = 69 - x. Let t = -429/5 + m. Is t equal to -12?
False
Let y = 459698989/6047 - 76021. Which is greater: y or 1?
1
Suppose 3*u - t = -24 - 215, -3*t = -4*u - 317. Suppose -5*a - 26 = 4*p, 11 + 5 = -6*p + 4*a. Let c be (-20)/u + (-3)/p. Which is smaller: 4/17 or c?
4/17
Let v = 28.89 - -80.11. Is v less than 0.11?
False
Let d = -305 + 329. Suppose 3*p + 3 - 15 = 0. Suppose -109 = -4*z - 3*k, 2*z - 35 = k + p*k. Is z less than d?
False
Let w be 4/((-140)/(-5575)) - 10/35. Is -1 < w?
True
Let o = 155 - 155. Let r = 0.347 + -7.497. Let a = -0.15 - r. Which is smaller: a or o?
o
Let x = -20 + 34. Suppose -z = 3*q - 55, 4*q + 7*z - 8*z = 71. Suppose -4*v = -q*v + 196. Is x greater than v?
False
Let j = 69891/4238 - -18/2119. Is 1/248 less than j?
True
Suppose 5*x = t + 2*t + 9, 2*x - 12 = -3*t. Suppose 0 = n + 4, -4*m = -0*m - t*n - 20. Is m not equal to 3?
False
Let r(f) = 2*f + 5163. Let b be r(38). Does 5238 = b?
False
Suppose 137*j - 136*j - 31 = -5*h, 5*h - 32 = -2*j. Which is smaller: -1/679 or j?
-1/679
Let x be (3/(-12))/((-3)/36). Let h(g) = g**3 + 4*g**2 - 12*g + 4. Let k be h(-6). Suppose -s - x*q - 1 = -5*q, k*s + 4 = -q. Which is greater: -11/5 or s?
s
Let g = -1737 + 22565/13. Suppose 5*o = x + 19 + 21, 0 = 3*x - o + 120. Let f = 39 + x. Does g = f?
False
Let j(t) = t - 18. Suppose 22*b = 11*b + 264. Let s be j(b). Let u be ((8/s)/(-2))/((-7)/84). Do u and 15/2 have the same value?
False
Let x = 12 - 12.12. Let v = -0.12 - x. Let q = 0.49 - 6.49. Is q >= v?
False
Suppose 283*b + 78687 + 222159 = -339017. Is -2261 less than b?
False
Let p(m) = m**2 - m**2 + 2*m**2 + 53 + 72*m - 23. Let u(j) = -j**2 - 24*j - 10. Let z(h) = 3*p(h) + 8*u(h). Let n be z(12). Is 7 greater than n?
False
Let o = -319 - -305.2. Let x = o + 5.8. Which is bigger: -24 or x?
x
Let m = -635 - 264. Which is smaller: m or 0?
m
Let a = 17173/5805 + 216/215. Is a equal to 4?
False
Let s = 2491 + -2084. Is s equal to 405?
False
Let r = -2508 - -2361. Which is smaller: r or -146?
r
Let q(x) be the second derivative of -x**3/3 + x**2 + 2*x + 38. Let d be q(-15). Let c be -10*(1 - (-42)/(-10)). Is d at least c?
True
Suppose 12*s = -0*s + 36. Suppose 5*c + 76 = s*c. Let u be (15/3 + -1)*78/(-8). Which is bigger: u or c?
c
Suppose -5*a - 8 = -l, -286*a = -290*a + 4*l - 32. Do a and 2287 have the same value?
False
Let h(g) = 12*g - 7. Let t be h(5). Suppose -125 + 135 = 5*z, -o - 1260 = 5*z. Let x = o - -1323. Is x less than or equal to t?
True
Suppose 42*a + 63 = 231. Let o(v) = v**2 + 36*v - 161. Let w be o(a). Does w = -2/453?
False
Let s = -55 + 55.01. Let t = -1.54 - 5.56. Let y = -5.1 - t. Which is bigger: y or s?
y
Let i = -13952/5 + 2803. Which is smaller: 13 or i?
i
Let g = 367 + -376. Let u be (-6)/(-18)*(7 - 1). Let y be u*(2 - 33/6). Which is bigger: g or y?
y
Let a(p) = p - 5. Let x be a(-7). Let o be ((-16)/x)/((-2)/(-6)). Let d be -3 - (3 - o)*3. Is d equal to -8/21?
False
Suppose 0 = -2*i + 8*i - 48. Suppose 5*h + 2*x = 13, -2*h + x + i = -x. Suppose 29 - 80 = -h*b. Is 18 at least as big as b?
True
Let z be (-4684)/6 - (-21)/(-63). Which is smaller: -782 or z?
-782
Let y(c) = c**2 + c + 4. Let l be y(0). Suppose 14 = 2*o + 4*n, 0 = o - l*o - 2*n + 13. Suppose -2*u + 2*r = 3*r + 1, -2*u - o = 3*r. Which is bigger: -5 or u?
u
Let a be 1/((-3)/2) - 8706960/(-13061655). Is -1/4 smaller than a?
True
Let h be 5/(-9) - 464/1044. Which is bigger: h or -508?
h
Suppose o = 4 - 1. Let a be (2/14*0)/(-1). Suppose 15 = 3*n - s, a = 3*s - 8*s - 15. Which is bigger: o or n?
n
Let v = -4760 - -2616. Which is bigger: v or -2145?
v
Let s be (-11)/((-462)/49) - (-16)/(-24). Are -1182/17 and s non-equal?
True
Let i = 15901651 + -588315506/37. Let o be (14 - (0 + 0))/(2/176). Let b = o - i. Which is smaller: b or 1?
b
Let g = -26091 + 26094. Is 10/29 equal to g?
False
Let i = 3861.509 + -3861.8. Which is bigger: -0.26 or i?
-0.26
Suppose 16*w + 20 = 11*w. Let u be 4 - 153/36 - 17/w. Is -17 less than or equal to u?
True
Let r(g) = -g**3 + 5*g**2 + 13*g + 9. Let s be r(6). Let l = 55 - s. Suppose -l*p = -p. Which is greater: p or -0.2?
p
Suppose -4*o - 504 + 2470 = n, -2*o - 10 = 0. Which is smaller: n or 0.1?
0.1
Let l = -132.812 - -132. Let h = -0.162 + 0.25. Let u = h - l. Is 4 equal to u?
False
Let j(b) = -128*b + 6912. Let n be j(54). Is n less than 13/140?
True
Suppose 54 = 5*a - 3*b, 8*b + 9 = 5*b. Suppose 0 = a*x + 360 - 63. Which is bigger: -131/4 or x?
-131/4
Suppose -3*d - 5*m - 32 = 0, 0 = 4*d - 700*m + 698*m - 18. Which is smaller: d or -31/336?
-31/336
Let w be -6 - (-3 - (2 - 3)). Suppose 4*b - 614 = -658. Let s be w/(-18) + b/9. Do 1/13 and s have the same value?
False
Suppose -2*f - 6 = 4*s - 20, 3*s - 4 = 5*f. Suppose -z = s, -k + 37 = k - 5*z. Let h = 2.09 - 0.09. Is h at most as big as k?
True
Suppose -x - 4*x = -5*f - 40, -19 = -5*x + 2*f. Is 2/26911 bigger than x?
False
Let g be ((-7)/(-7) - -1)*1. Let q be ((0 - -2) + -2)/(-3 - g). Is 4/35 greater than q?
True
Let j(g) = -g**3 + 7*g**2 + 10*g - 12. Let a be j(8). Suppose -a*u - 60 = u. Let p(k) = -k**2 + 3*k + 27. Let f be p(-4). Which is smaller: f or u?
u
Suppose 1481*k - 6 = 1487*k. Which is smaller: k or -10/8281?
k
Let a be (6/15)/(-13 + 1). Let i be (1 - 1 - 1)/((-1)/7). Suppose 2 = 9*h - i*h. Do h and a have the same value?
False
Let c = 13462 - 13444. Let s be 110/9 - (-6)/(-27). Which is smaller: s or c?
s
Let h(m) = -220*m - 2204. Let c be h(-10). Is -5/2 at most c?
False
Let j be 2053/(-411) + 4 - -1. Let d be 56/(-49) - 4/(-28). Is j not equal to d?
True
Let l = -29.93 - 0.07. Let v = -29.955 - l. Let x = 0.055 + v. Is x at most as big as 8?
True
Let z = -68.4935 - -1.2935. Is 0.1 at least z?
True
Let x = -227 - -120. Suppose -4*n - 998 = -574. Does n = x?
False
Let c = 4716 - 4554. Which is greater: c or 1/2?
c
Suppose 12594*n + 46988 = 12611*n. Are n and 2764 equal?
True
Let j be (-77)/(-6) + (1 - 2)/((-30)/5). Let s = 33 + -21. Is j bigger than s?
True
Let v = -2607 + 2607. Which is bigger: -1001 or v?
v
Let w = -38001234/67361 + 1/9623. Do w and -565 have the same value?
False
Let k = -433731/101915 - -464/109. Suppose -j + 0*j = 1. Which is smaller: k or j?
j
Suppose -4*g = -5*p + 40000, 12 = -480*p + 477*p. Which is smaller: g or -10006?
-10006
Let h be ((-4)/(-6))/((-2)/(-507)). Suppose 49 = n - 5*o, -38 = -2*n + 5700*o - 5696*o. Which is greater: h or n?
h
Let h = 32 + -21. Let w(y) = -6*y - 168. Let u be w(-28). Suppose u = 4*f - 13 - h. Is f > 6?
False
Let k be (5*(-6)/(-60))/(219/36). Suppose 0*o + 3 = -o, 0 = y - 2*o - 7. Which is greater: k or y?
y
Let c = -34.4 + 13.8. Let y = -20.4 - c. Is -8 less than y?
True
Suppose -4*o = -4*x - 180, -84 = 2*x - 3*o + 11. Let b = x - -13. Let l = -43 + 16. Do b and l have different values?
False
Let y be ((-4)/(-8) - 1 - 32)*-2. Let w = -118 + y. Let s = -54 - w. Is s at most as big as 9?
True
Let i = -563 - -792. Let y = i + -221. Let a(v) = -6*v - 1. Let d be a(-2). Is y equal to d?
False
Let z be 0 - (-1)/(-4)*0. Let l be (-125)/10*2/(-10)*4. Let m be (l/(-180))/((-2)/(-4))*1. Are z and m equal?
False
Let c = 4.3 + 0. Let a = c - 3.4. Suppose 3*y - 6 = -9. Which is greater: y or a?
a
Suppose 49*o = 70*o + 4 - 4. Is o != 6/2537?
True
Let o be ((-80)/(-104) + 0)*(-67)/4. Does o = -14?
False
Let l = -319 - -213. Let w = -52003 + 51899. Which is bigger: w or l?
w
Let k(v) = 4*v**2 - 2*v**2 - 7*v**2 - 14 - 14*v + 4*v**2. Let b be k(-13). Which is greater: -1/65 or b?
-1/65
Suppose 14*f - 104 = -12*f. Suppose 2*b - 16 = 6. Suppose -l = -2*w + 1, 2*l - b = 5*w + f*l. Are -7 and w unequal?
True
Let f(c) = -2752*c - 14427. Let y be f(-7). Are y and 4837 equal?
True
Let v = 0.2 + -0.1. Let p = 384 + -496. Let h = p - -94. Is v bigger than h?
True
Suppose 0*j = -6*j - 2706. Let z = j + 357. Which is bigger: -93 or z?
-93
Suppose -144 = 6*s - 534. Suppose s - 2 = r. Is r not equal to 63?
False
Let o be ((-491)/1473)/(1/16056). Which is smaller: -5351 or o?
o
Let w = -0.7 - -0.5. Let p = 265.5 + -213. Let j = p - 52.5. Which is greater: w or j?
j
Let t = -674 - -798. Suppose -t*q - 112 = -108*q. Let n(x) = -15*x**3 - x**2 + x - 1. Let o be n(1). Is o at most as big 