 k = y - -5. Let j = -22 - -36. Which is smaller: k or j?
k
Let g = 77.105 + -0.105. Let k = g - 75. Let q = 3.7 - 4. Which is greater: q or k?
k
Let g be -1 + 2 - 13/((-585)/1875). Which is greater: 43 or g?
43
Let t = -3.5 + 3.372. Let o = -0.128 - t. Is -1/4 not equal to o?
True
Suppose -10*o - 8 = -2*o. Let b be 2 + o - 2/((-14)/(-17)). Which is bigger: -1 or b?
-1
Let w be (-1 - -1)/(-8 - -9). Let n be (-24)/(-11) - (5 + -3). Which is bigger: w or n?
n
Suppose 113*v = 103*v + 10. Let y = -98 + 2451/25. Which is smaller: y or v?
y
Let h be ((-6)/8)/((-2)/(-8)). Let g = 116/25 - 1444/225. Is h greater than g?
False
Let x be -4 + -1*(1 + -2). Suppose a + 5*u - 145 = 0, 3*a - u - 387 = -0*a. Let o be (-2 - a/35) + 4. Does x = o?
False
Let d(w) = 2*w**2 + 6*w + 2. Let b be d(-3). Which is smaller: 0.65 or b?
0.65
Let h be 110*11/(-660)*8. Which is bigger: h or -7?
-7
Let u be (-18)/54*1/((-4)/24). Which is smaller: -3 or u?
-3
Let v = 7 - 12. Let l = v - 1. Let q = 152 + -152. Which is bigger: l or q?
q
Let x(f) = -f - 1. Suppose 6*a - 2*a + 4 = 0. Let r be x(a). Let s be (-38 - -33)*(-4)/590. Which is smaller: s or r?
r
Let r = 13 + -22. Let v = r - 12. Are -0.1 and v equal?
False
Let p = -34 + 152. Let s = p - 117.8. Do 2/7 and s have different values?
True
Let s = 32 - 29. Suppose -4*q - 2*k = -s*q - 27, -4*k = 5*q - 111. Which is bigger: q or 18?
q
Let t(h) = -9*h - 54. Let y be t(-6). Which is smaller: y or -2/917?
-2/917
Let t(z) = z**2 + 30*z - 65. Let o be t(-32). Let u = 8 + -6. Suppose -u*b + 6 = -2. Is b < o?
False
Let l = 479/1360 - -13/272. Let r(p) = p**2 - p - 4. Let x be r(-3). Is x at most as big as l?
False
Let y(l) be the third derivative of l**6/120 - l**4/24 + l**3/6 + 4*l**2. Let r be y(2). Suppose -r = -5*f + 3. Are 2 and f unequal?
False
Let h(m) = -2*m**2 - 38*m + 60. Let c be h(-19). Is c greater than 57?
True
Let k be (11/(-22))/(2/(-96)). Which is smaller: k or 14?
14
Suppose -5*l = -15, -2*y - 32*l + 28*l = -12. Which is smaller: y or -11/50?
-11/50
Suppose 3*h + 0 = 5*c + 17, 4*c + 13 = 3*h. Suppose z - 6*z + 10 = 0. Let i be z/6 - 17/60. Is i > h?
True
Let n be (-4)/3 + 273/117. Which is smaller: n or -7/99?
-7/99
Let p be (49708/2616 - 19)*6/(-4). Is 0 >= p?
True
Suppose -3*u + 5*h - 1057 = 0, -2*u = -5*h + 7*h + 726. Is u < -362?
False
Let l = 142.4 - 183.35. Let r = l + 41. Does r = -1?
False
Let m = -5920 - -941279/159. Let n(d) = d**3 + 4*d**2 - d - 4. Let u be n(-4). Is u less than m?
False
Let r = -89/385 + -11/35. Let s be 5 + 5 + (-1685)/165. Let f = s - r. Is f at most 0.1?
False
Let u = 10 - 11.5. Let d(o) = o**2 + 13*o - 1. Let w be d(-13). Is u >= w?
False
Suppose 15*c = -12*c. Let t be -1 + (3293/1547 - 1). Let p = t - 1/91. Is c greater than p?
False
Let c be 2/(-13 - -1) - 1199/(-8382). Which is greater: 1 or c?
1
Suppose -20*v = -16*v - 8. Let i be (-3 + v)*2/(-50)*-5. Which is smaller: -14 or i?
-14
Let s = 1 + 16. Suppose -3*r + 7*r = 20. Suppose 3*q = r*p + 23, 10 = -p + 3*p. Which is smaller: q or s?
q
Suppose 5*f + 72 = 4*k + 3*f, k = -f + 18. Suppose -9*i - 36 = -k. Let j be 1 + (0 - (-17)/(-10)). Which is smaller: i or j?
i
Suppose 0 = 3*y - i - 9, -6*y + 8*y + 4*i = 6. Is y equal to 40/9?
False
Let o = -0.34 + 0.29. Let z = 0.04 - o. Which is smaller: z or 0.1?
z
Suppose -q = -5*l, -4*l - 4 = 3*q - 23. Do l and 28/115 have the same value?
False
Let n = -33 + 49. Let f(v) = v**3 - 15*v**2 - 16*v + 2. Let a be f(n). Let k be (-9)/3*a/6. Do k and -0.3 have different values?
True
Let s be 89/138*-11 + 3 + 4. Which is bigger: s or 0?
0
Let b(v) = -10*v + 46. Let t be b(6). Let h = 11/8 + -9/8. Which is bigger: h or t?
h
Let g = 2 + -24. Let p be (-2 - -6) + -9 + 8. Suppose 61 = -3*i - 0*q + q, 71 = -p*i - q. Is i at least as big as g?
True
Suppose 3*r - 17 = 5*q, -r + 2*q = 2*r - 23. Let w be 6/(-18) + 3/r. Is -3/46 at least as big as w?
False
Let f be 80/(-126)*3 - -2. Let z(g) = 1. Let x(h) = -h + 6. Let v(q) = -3*x(q) + 3*z(q). Let a be v(5). Which is greater: f or a?
f
Suppose 24 + 0 = 24*g. Is g less than -2/573?
False
Let r be (80/(-12))/(-5)*6. Suppose 2*f - 8 - 2 = 0. Suppose -3*y + 42 = 3*v, 0*y + 3*y + f*v = 50. Which is greater: r or y?
y
Let a(q) = 2*q - 10. Let p be a(-11). Let o be (-9)/(-12)*p/(-60). Is 0 > o?
False
Suppose 3*m = -2*c - 17, c - 3*m - 14 = -0*c. Let h = 16 + -79/5. Is c != h?
True
Suppose -5 = -z, 3*q + 4*z = -0*q + 83. Let a be (-14)/q*(-18)/(-5). Is 0.1 at most as big as a?
False
Let w(q) = -q**3 + 14*q**2 + q - 14. Let d be w(14). Let b be 0 + d + 9/3. Is b greater than 24/7?
False
Let j be (-2 + 3)*(48 - 5). Let h = -644/15 + j. Which is smaller: 0 or h?
0
Let y be 4777/68*(-2 + -3 + 1). Is y less than 1/4?
True
Let t = -2.6 - -3. Let r = t - 0.34. Let s = r - -0.14. Is s not equal to 1/5?
False
Let j(r) = -19*r + 734. Let d be j(60). Does d = -403?
False
Let d = 3/2 - 73/46. Let r = 1666.8 - 1666.9. Is r at least d?
False
Let k = -112 - -109. Do 1/4 and k have the same value?
False
Let j = -0.0387 - -0.1387. Is j greater than -598?
True
Let j = -558 + 6134/11. Let k = 115/286 + j. Let z = -1.5 - -1.6. Is k at most as big as z?
True
Suppose 11*f + 8 = 13*f. Suppose 4*u - 15 = m, -3*m - 23 = f*u - 58. Suppose -s + m = 4. Which is greater: s or -3?
s
Let v(l) = 2*l**2 - 6*l + 2. Let i be v(5). Let r = -217 + 223. Let y be (-6)/r + -1 - -1. Do i and y have the same value?
False
Suppose 5*d = -23*d - 2268. Which is smaller: -83 or d?
-83
Let h be 0 - (-42)/(-4 - -7). Let v be 214/14 - 2/7. Let p = h - v. Which is bigger: p or 1/4?
1/4
Let w be ((-24)/20)/(1/(-5)). Suppose 0 = d - 22 + 40. Let p = 24 + d. Is w at least as big as p?
True
Let p be 4/18 - 572/792. Let w(z) = z**3 + 12*z**2 + 12*z + 11. Let y be w(-11). Which is bigger: p or y?
y
Suppose 2 = -3*j + 2*v, -j - 2*v = -4*v - 2. Let f be 5/15*(j + 1). Is f less than or equal to 0.012?
True
Let g = 25.9 + -26.4. Which is smaller: g or 0.1?
g
Let s = 668 - 657. Is 1 <= s?
True
Let s = -15488.51 + 15399. Let g = 90 + s. Is 0 > g?
False
Suppose 16*p + 254 = 62. Is p bigger than -4/11?
False
Let o(m) = -3*m**3 + 4*m**2 - 6*m + 6. Let l be o(2). Let u be (1 - -1)/(3/((-12)/l)). Which is bigger: 0.2 or u?
u
Let r = 92 + -93. Let i = 0.6 + -0.6. Which is bigger: i or r?
i
Let g = 72 - 94. Let z(q) = -77*q**3 + q**2 - 2*q + 1. Let v be z(1). Let h be 194/g + 14/v. Is h less than -10?
False
Let a(n) = -4*n**2 - 6*n + 8. Let s(d) = 7*d**2 + 11*d - 15. Let m(i) = 5*a(i) + 3*s(i). Let c be m(-4). Which is bigger: c or -4/7?
-4/7
Let u = -207/10 - -15101/730. Let c = 21/230 - -4869/33580. Let g = u - c. Is g smaller than -2?
False
Suppose -2*g = 8, 3*m - 3*g - 1 = 4*m. Is 6 bigger than m?
False
Let g = -58 + 59. Suppose 4 + g = l, -3*m - 2*l + 13 = 0. Which is smaller: -3 or m?
-3
Let p be ((-840)/(-585))/7*3/4. Do p and 22 have the same value?
False
Let v = -1373/25 + 55. Which is smaller: 3 or v?
v
Let a = -29 - -33. Suppose 0 = i + 4*i - 3*v + 165, -a*i - v = 149. Let l = -61 - i. Which is bigger: l or -24?
-24
Let i(k) = k**3 - 13*k**2 - 3*k + 14. Let p = 30 + -17. Let s be i(p). Which is smaller: s or -26?
-26
Let f be -8*(-20)/480 + (-2977)/8913. Which is bigger: f or -1?
f
Suppose -z + 0 + 7 = 2*q, 5*z = 4*q + 21. Suppose -3*m + q = b, 3*m = -8 + 2. Suppose d = 5*d, 8 = y + 3*d. Which is greater: y or b?
y
Let l be (2 + -1)*(8 + -8). Is l less than 2/709?
True
Let s = -282 + 282. Which is smaller: s or 24/19?
s
Suppose -2*v - 4*p - 18 = 0, -4*v - 4*p - 21 = -v. Let d = v - -7. Suppose -b = 9 - d. Is 0.1 > b?
True
Let a = 610.173 + -610. Is a < 1/4?
True
Let i = 354 - 353. Is i >= 1?
True
Let k = -462 + 278. Is k != -184?
False
Let q = -100/3 - -33. Let m = 3 + -3. Which is smaller: m or q?
q
Let o = 60850/2093497 + 2/15281. Is 1 greater than o?
True
Let l = 13273/140 + -379/4. Suppose -7*c = -2*c + 65. Let m(v) = v**2 + 14*v + 12. Let i be m(c). Is l at least i?
True
Let w = 92 - 91.8. Are 108 and w non-equal?
True
Suppose 4*s + 5 = -o, -s - 4*o - o = 25. Let y be (s + 5)*18/(-30). Which is greater: 1 or y?
1
Let b = -940 + 938. Is b less than or equal to -2/123?
True
Let g = -2.72 - -3. Let i = 5192 - 5191. Which is greater: i or g?
i
Suppose 16*x = 15*x - 3. Let k(q) = 3*q + 11. Let c be k(x). Let h be 1/(