 r + 5. Do 1 and k have the same value?
False
Suppose -2*t + 5*b = -385, -5*t + 3*b - 4*b = -922. Is t at most as big as 184?
False
Let y be (-225)/(-10)*14/(-21). Let u(t) = t**3 + 15*t**2 - t - 16. Let n be u(y). Which is smaller: 4 or n?
n
Let u = 7.54 - -3.46. Which is smaller: -10 or u?
-10
Suppose 1111 = 45*c - 34*c. Is 101 at least c?
True
Suppose -6*a = -5*a - 5*m + 72, 4*a = -3*m - 173. Which is smaller: a or -52?
-52
Suppose -17 + 17 = 57*u. Is u smaller than -2/105?
False
Let n(x) = -22*x + 150. Let g be n(10). Is g at least -67?
False
Let w = -70 + 70.005. Let d = -0.005 + w. Which is smaller: 0.1 or d?
d
Suppose -3*q + 4*c = -311, -q - 4*c = -c - 82. Do q and 0 have the same value?
False
Let j = 0.03 + 0.07. Let k = -0.08 - -0.08. Let g = k + j. Are 4 and g unequal?
True
Let g = 1777 - 1775. Which is greater: 0.131 or g?
g
Let l = 0.0592 - -0.1408. Which is smaller: l or 90?
l
Let p = 51343 - 77373904/1507. Which is greater: 1 or p?
1
Let f = -142 - -143. Which is smaller: f or 1/108?
1/108
Suppose 0 = 5*n - n + 40. Let j be n/8*1/5. Let s = 26.3 + -26. Which is bigger: j or s?
s
Let u = 10.1 - 10. Let t be -7*((-65)/20 - -3). Which is bigger: t or u?
t
Let m = -28 + 31.1. Let q = m + -22.1. Let c = q + 21. Is c less than or equal to -8/5?
False
Let u = 1942 - 1942. Is u at least 126?
False
Let q = -972 - -975. Is q less than or equal to 67/5?
True
Let x be (-39)/52 - 5118/(-8). Suppose p + 8*p - x = 0. Do p and 72 have different values?
True
Let h = 102 - 102.08. Which is greater: h or 20?
20
Let g be (-632)/(-20) + (-6)/(-15). Let n be g/40*30/4. Suppose 0 = -n*j + 5*j + 4. Which is greater: j or 3?
j
Let z = -422 - -424.53. Let h = 2.5 - z. Is h greater than 1?
False
Let w be -1 + -2 - (-268)/(-14). Is -21 >= w?
True
Let q(m) = -2*m**3 - 8*m**2 + 5*m - 1. Let l(v) = -4*v**3 - 17*v**2 + 11*v - 2. Let z(a) = -3*l(a) + 7*q(a). Let n be z(-5). Is n != 114?
False
Suppose 0 = v - 11 + 27. Let p(o) = -o**2 + 5*o - 8. Let c be p(6). Let l = v - c. Which is smaller: l or -2/5?
l
Let q be 1*(-30 - 7) + 13. Suppose 0*v = 3*v + 75. Which is smaller: v or q?
v
Let d(j) = -9*j + 439. Let f be d(7). Which is smaller: 1876/5 or f?
1876/5
Let s = 319/20 + -16. Let g be (-1)/(-8 - -3 - -4). Suppose -2*a + 4 - 2 = -4*y, a - g = 4*y. Does s = a?
False
Let g be (-137)/((-11)/220*-10). Is g smaller than -279?
False
Let v = -297887278/5 - -3122752378214/52415. Let o = v - 1/953. Which is smaller: o or 1?
o
Let a = -193.17 + 194. Let n = a - -0.17. Suppose 19 = k + 3. Which is smaller: k or n?
n
Let k be (65/3)/(-2 - (-14)/(-21)). Which is greater: k or -8?
-8
Let o = 0.65 - 0.66. Let v = -0.89 + o. Do 1/2 and v have different values?
True
Let i be (-10 + 6)*(-1)/3. Let h be 0/((-1 - -1) + -1). Let t be 3*6/9 - h. Which is bigger: t or i?
t
Let c be 140/50*4/(-2). Which is greater: -5 or c?
-5
Let t(k) = 2*k - 97 - 47*k**2 + 44 + 50. Let a be t(1). Is a at least -48?
True
Suppose 4*u + 3 + 7 = 2*s, 0 = 3*s + 3*u + 12. Let j be (s/(-2))/(728/(-7424)). Let t = j + 66/13. Which is smaller: t or 1?
t
Suppose -4*o + 6 = g - 5, 0 = -o - 2*g - 6. Suppose 8 = 3*r + 5*u, -r - o = -u - 4*u. Let y be (2/(-4))/((-3)/(-2)). Which is smaller: y or r?
y
Let n = 202/13 - 10054/637. Is -1 >= n?
False
Let v = 239/840 + -4/15. Let k(j) = -11*j + 44. Let l be k(4). Is v > l?
True
Let n = 1107 - 1109. Let x = -3 - -4. Let j be 1*(-1 + -1) - x. Is n >= j?
True
Let x be 4/58 - (-84)/39991. Which is smaller: 0 or x?
0
Let j be (-335)/(-30) + -5 - (4 - 1). Let c be (1 + (-2 - -5))/2. Which is bigger: c or j?
j
Let g(q) = q**2 + 11*q + 19. Let y be g(-8). Let x be (((-14)/(-8))/(-1))/(y/120). Are x and 42 nonequal?
False
Let d(t) = 152*t + 1216. Let p be d(-8). Is p smaller than 2/6291?
True
Let a = 1742 - 1713. Let g = 18 + 10. Which is greater: g or a?
a
Let z = 0.409 + -0.429. Is z less than 30?
True
Let w be (5/3 + -2)*120/(-14680). Which is greater: -1 or w?
w
Let j be 1/(-3) - 16/24. Let t(g) = g. Let s be t(j). Let d = -4 + 4.8. Is s less than d?
True
Suppose 5*n + 325 = 4*f - 206, -4*f + 3*n = -541. Are f and 139 non-equal?
False
Let d = -69 + 34. Let o = -34.9 - d. Is o at most as big as 0.01?
False
Let y = 61.98 + -65. Let s = -0.02 - y. Let d = 198 - 196. Is s != d?
True
Let t = -1/63 + -157/2016. Let o be 4/18 - 6/27. Which is greater: o or t?
o
Let b = 25.8828 + 0.1172. Which is bigger: b or 27?
27
Let f = -127 - -127. Are 3/4 and f equal?
False
Suppose -3*d - 264 = 174. Let i = d - -145. Is i smaller than 2/17?
True
Let v be 2/6*28*(-154)/84. Is v at least as big as -18?
True
Let l = -223 + 214.1. Let i = -9 - l. Let h = 5.5 + -5. Which is greater: i or h?
h
Let b = -25 - -5. Let y = b - -9. Let i = -5 + 4. Which is smaller: i or y?
y
Let h = -71 - -34. Let y = h - -35. Which is bigger: 12 or y?
12
Suppose 0*p - 45 = 5*p. Suppose 0 = -4*i + 3*j + 27, -5*i - j = j - 28. Let u be ((-9)/i)/((-15)/(-80)). Which is smaller: u or p?
p
Let h = -769 - -881. Is 1/3 at least as big as h?
False
Let n = 42 - 65. Is n bigger than -17?
False
Suppose 2*q + 0*k - 4*k = 30, -4*q + 5*k + 72 = 0. Is q > 27?
False
Let b(s) be the third derivative of -s**6/120 - 2*s**5/15 + s**4/3 - 3*s**3/2 - s**2. Let k be b(-9). Suppose -7*a - 4 = -9*a. Is k < a?
True
Suppose -7 = -11*f + 136. Which is smaller: 64/5 or f?
64/5
Let y be 12 + -6 + 1/(-1). Suppose -10 = -f - f, 5*x - 85 = -y*f. Let p(i) = -i**3 + 7*i + 5. Let v be p(-3). Is v < x?
True
Let x be (-56)/35 + 8/5 + -2. Let c(n) = 10*n + 7. Let g be c(x). Is g less than -16?
False
Suppose 8 = -4*r + 68. Let d(q) = -2*q**3 + 3*q**2 - q - 6. Let f be d(4). Let b be (-6)/r*(-25)/f. Which is smaller: b or 0.2?
b
Let i be (-8)/(-10) + 3/15. Suppose -r = 2, 5*g + 0*g + 1 = 2*r. Let n be g/(-2)*(-4)/(-6). Which is smaller: i or n?
n
Let w(n) = -n**3 + n + 13. Let l be w(0). Suppose -4*h + o + l = 0, 0 = -h + 5*o + 1 + 7. Let m = 10 - 7. Is m less than h?
False
Let q be 4/(-6) - 800/(-1128). Suppose -6*v + 127 - 13 = 0. Let i = 20 - v. Is i greater than or equal to q?
True
Let n = 63 - 62.888. Let p = -0.012 + n. Which is smaller: p or -0.05?
-0.05
Let c be 4/10 - 46/(-10). Let a be ((-32)/36)/(-4) - 25/(-9). Suppose 4*m - a*q = 6, -m + 2*q = -c*m - 4. Which is bigger: -9/7 or m?
m
Let a(v) = 2*v - 3. Let b be a(-17). Let l = b + 36. Which is smaller: l or 6?
l
Let x be 0/((12/3)/2). Suppose -2*s + 2 - 16 = x. Suppose 4*j = 2*j - 12. Is j smaller than s?
False
Let o be 6*4*(-5)/2670. Is 1 not equal to o?
True
Let n(j) = -22*j**2 - 8*j + 33. Let g(p) = 5*p**2 + 2*p - 8. Let v(z) = 9*g(z) + 2*n(z). Let y be v(-4). Let f = -17 + 17.9. Which is smaller: f or y?
f
Let t = 28 - 24.05. Let f = -0.05 - t. Let m = -1355 + 12193/9. Which is smaller: m or f?
f
Let k = -998 - -36910/37. Which is smaller: k or -1?
-1
Suppose 4*v + 17 = -15. Let u be (v/15)/(-4)*(-12)/4. Is -18 bigger than u?
False
Let z be (-2 + 0)/(13 - 14). Suppose x + 0*x = -z, -4*v - 2 = 3*x. Which is greater: -3/7 or v?
v
Let j = 260 - 88. Is j < 172?
False
Let r = -31 + 61. Let x be 57/20 + r/40. Let l = 0 - -3. Do l and x have the same value?
False
Suppose -i = 4*i + 3*r + 28, -5*r = -i. Let g be ((-18)/(-15))/(2/i). Which is bigger: -30/11 or g?
-30/11
Let w = -12 - -14. Let f be 60 - (-2 + w/1). Suppose 0 = 2*g + 5*h + 21, 5*g = -0*h - 5*h - f. Is -13 greater than g?
False
Let p = 178215/37 + -4817. Is 0 at least as big as p?
True
Let s be ((-1)/(-4))/(12810/(-280)). Is s less than or equal to 0?
True
Suppose 6*s - 44 = 10*s. Let t = 17 + s. Does t = 1/9?
False
Let w(b) = -b**2 + 9*b + 11. Let c be w(12). Suppose -79 + 204 = -5*v. Is v bigger than c?
False
Suppose -2*h + 22 = 3*j, j - h - 4 = -5*h. Let b be 3 + 0 + (-42)/j. Let k = -38 + 36. Is k != b?
True
Let o(r) = 6*r + 6. Let f = 22 - 9. Let w be o(f). Let x be 2 - (w/11)/3. Which is greater: x or -2?
x
Let t = -112.1 + 8.1. Let i = t + 103.67. Which is smaller: i or 2?
i
Let r be 4/18 + (-22)/18. Let h be (-2)/(-4) - r/(-2). Suppose -2*g - k + 5 = 0, g - 16 = k - 6*k. Is g equal to h?
False
Let x be ((-93)/124)/((-15)/272)*-10. Is x greater than -140?
True
Let g be 7*(-1)/210*(-6 - 0). Which is smaller: 2/53 or g?
2/53
Let w be 2*(-3)/6 - (-100)/58. Let p = 313/232 - w. Which is smaller: 0 or p?
0
Let w be 0 + 28 - (2 + -2