r 14?
14
Let s = -566 + 565. Do 92 and s have the same value?
False
Let c(a) = 6*a**2 + 75*a + 24. Let y be c(-12). Suppose -5*q = 5*l + 70, -5*l + 4*q + 7 - 68 = 0. Is l not equal to y?
True
Let t be (20/(-32) - (-15)/40)*0. Do 16 and t have different values?
True
Suppose -2*d = 8*d + 520. Let p = d + 51. Which is smaller: p or -1/40?
p
Suppose 5*v - 2*i - 2*i + 32 = 0, v = -2*i - 12. Let a be (4 - (-13 + 2))*1/3. Suppose 39 = -5*x + q, a*x = -4*q - 6 - 13. Which is greater: x or v?
x
Let t = 24/533 + -7082/38909. Which is bigger: t or 1?
1
Let h be (3 - (-76)/(-24))/((-4)/33). Let u = h + -17/12. Which is bigger: 0 or u?
0
Suppose 5*x + 32 = -23. Suppose -129*f = -127*f + 22. Is f greater than or equal to x?
True
Let b be -3 + 6 - 115/3. Let y = b - -35. Which is bigger: -1 or y?
y
Let q(a) = a**2 - a - 4. Let s be q(-2). Suppose 5*z - 6 = s*b + 4*z, -10 = 2*b - 3*z. Let f be -4 - 1*(b + 3). Is f smaller than -4?
True
Let s be 890/4 - (0 - 4). Let k = s + -248. Is -22 <= k?
True
Let d(b) = 2*b**2 - 56*b - 72. Let y be d(30). Which is bigger: 49 or y?
49
Let c = -5767/9 - -641. Which is bigger: c or 5?
5
Suppose -544 = -8*j + 336. Which is greater: 113 or j?
113
Let v = -371/3 + 15. Are v and -109 nonequal?
True
Let x(a) = -a**3 - 4*a**2 + 4*a + 9. Let z be x(-4). Suppose -2*m + m = -t + 4, 4*t - 23 = 5*m. Let n = m - z. Which is smaller: -3 or n?
-3
Let j(s) = -6*s**2 + 300*s - 40. Let n be j(50). Which is smaller: n or -41?
-41
Let u be (0 + -32)*(-1479)/(-58). Let f be 2/16 - (-106)/u. Is f at least 0?
False
Let y be (-244)/(-804) + (-2)/6. Suppose o = -a - 5, -3*a = -3*o - 0*a + 15. Suppose o*t = 7*t + t. Which is greater: t or y?
t
Suppose 112 - 34 = 26*a. Which is smaller: a or -87?
-87
Let d = -2431/92 + 105/4. Is d less than 0?
True
Let i = 334 - 3343/10. Which is greater: i or 0?
0
Suppose -14 = -9*n + 31. Let r be 36/13 + n + -8. Which is smaller: 1 or r?
r
Let w be 0 - (4 + -3)/(-1). Let j be (-10 + 12)*((-1)/w)/7. Let y = 0 + 0. Is y not equal to j?
True
Suppose 3 = 4*t - 1. Let i = t - -3. Suppose 4*r + 4*q + 19 = r, 16 = -i*q. Which is bigger: r or -1/7?
-1/7
Suppose 8 = 3*p + p, -43 = -a - 3*p. Let d = a + -35. Which is bigger: -3 or d?
d
Let r = -43 - -62. Suppose -h - 31 - 3 = -2*y, 0 = -3*y. Let n = r + h. Which is bigger: n or -14?
-14
Let w(y) = y**3 - 2*y**2 - 8*y + 5. Let t be w(4). Suppose -4*a = -t*v + 58, -5*a = v - a - 2. Is 3 less than v?
True
Let k = -0.081 - -78.081. Let z = -69 + k. Which is greater: z or -1/3?
z
Let c = 1051/65 - 192/13. Let t = -16/15 + c. Let x = -24.57 - -0.57. Are x and t unequal?
True
Let u(b) = -b**3 - 4*b**2 + 4*b - 6. Let v be u(-5). Is -1/455 at most as big as v?
False
Let d = -0.3 - 2.7. Let j = -2.029 - -0.029. Which is bigger: j or d?
j
Let r = 25 + -25.38. Let v = r + 0.48. Which is bigger: v or 1/13?
v
Suppose 28 = -14*h + 16*h. Let w be (h/4)/7 + 0. Let g = 0 + -0.1. Are g and w nonequal?
True
Let o be 7*(-14)/76930*(-4 - 1). Which is smaller: o or 0?
0
Let d be ((-6)/9)/((-575)/3933). Which is bigger: 5 or d?
5
Suppose -9*z = -15*z + 702. Let k = -1167/10 + z. Which is greater: k or -1?
k
Let w = -305.857 - -306. Let y = -0.043 + w. Which is bigger: -3 or y?
y
Let i be (-1 - (2 - -2))/(-1). Suppose 0*z + 5*z - i = 0. Which is smaller: 2/9 or z?
2/9
Suppose -440 = i + 7*i. Let m = 26 + i. Which is smaller: -55/2 or m?
m
Let n be (14/21)/(((-124)/(-42))/(-1)). Are 1 and n equal?
False
Let l(n) = n**2 + 3*n - 89. Let u be l(-11). Is 4/49 at least as big as u?
True
Let n be 45/6*4/6. Suppose 0 = 3*o + n*v + 26, -3*o + 2*v + 3*v = 16. Let t be ((-28)/(-4))/(1 - 2). Is o greater than t?
False
Let v = -714 + 715. Which is bigger: v or 2/1121?
v
Let o = -26 + 29. Suppose 5*q - 11 + 1 = -z, 18 = o*z + 3*q. Suppose 33 = z*t - 22. Are t and 9 equal?
False
Let j be 4/22 - (-10)/(-55). Suppose -2*v = -3*t + 5*t + 16, j = -5*v + 10. Is t > -9?
False
Let f(v) = -v**2 - 20*v + 43. Let y be f(-22). Which is bigger: 2/4003 or y?
2/4003
Let d be (51/(-12))/(1/(-4)). Let b = -58 + 57. Let f(w) = -15*w + 3. Let s be f(b). Which is bigger: s or d?
s
Let a(k) = k**3 + 7*k**2 - k - 3. Let w be a(-7). Suppose -2*f = w, 5*o - 4*f + 7*f = -1. Let j = o + -4/3. Are j and 0 nonequal?
True
Let n be ((-22)/6)/(10/(-30)). Let p = 5 - -3. Which is greater: p or n?
n
Let f(z) = -3*z + 14. Let h be f(4). Let n(o) = o**2 - 29*o + 128. Let s be n(24). Which is greater: s or h?
s
Suppose 4*l = -5*z - 7 + 2, 3*z - 4*l - 29 = 0. Suppose -p - 7 = -2*h, -z*p = -p + 6. Suppose -10 - 53 = -7*s. Is h smaller than s?
True
Suppose 0 = 2*l + 1842 - 750. Let r be l/(-24) + (-2)/(-8). Is r >= 22?
True
Let z = 30 - 29. Is -1/71 at most z?
True
Let d(k) = 68 - 44 - 34 - k. Let p be d(15). Let v = p + 24. Do 4/13 and v have the same value?
False
Let h = -47.4 - -42.4. Is -9/2 at least h?
True
Let w = 11 + -10. Let c(q) = -q**3 - 29*q**2 - 22*q + 54. Let b be c(-28). Is w at least as big as b?
True
Let k = -3903/130 - -402/13. Is -5 <= k?
True
Let p = 1 + 6. Let s = 0.11 + 8.89. Let x = p - s. Are x and -2 equal?
True
Let a = -1 - -1.18. Let i = -0.22 - a. Do i and -4/5 have different values?
True
Let i(a) = 1 + 3 + 3*a**2 - 4*a**2. Let n be i(-3). Suppose -49 + 43 = s. Is n at least as big as s?
True
Let o = -11 - -8. Let k be 1/(1/(-12)) + o. Are -18 and k equal?
False
Suppose 0 = 5*k - k - 60. Is k != 74/5?
True
Suppose 0 = -3*l - 12, 3*y - 3*l - 21 = -0*y. Let f be 3*1/(-3)*y. Which is bigger: -6 or f?
f
Let w be (-196)/(-35)*25/290. Is 1 bigger than w?
True
Let c = -77 + 71.3. Let x = c - -5.674. Is -1 less than or equal to x?
True
Let h = 107 + -2. Is 106 greater than or equal to h?
True
Suppose 2*f - 5*w = 58, 5*f + 4*w - 2*w - 87 = 0. Suppose 0 = 3*b - 0*i + 4*i - f, b - 2*i + 7 = 0. Let o = 280.1 + -280. Which is smaller: b or o?
o
Let l = 3 + 1. Suppose 0 = 5*u - l*v - 39, u - 2*v = -5*v + 23. Let n = u - 10. Is -5 greater than n?
False
Suppose 10 = 10*f - 5*f. Suppose f*u + 155 = -l, 0*u + 78 = -u - l. Is u greater than or equal to -77?
True
Suppose -2 = -f + 3*f. Let k be -2 - 4/2 - (0 + 2). Which is smaller: f or k?
k
Let k = -36.93 - 0.07. Let j = k - -39. Is 0 at least j?
False
Let n = 2/2271 + 9062/24981. Are n and 2/11 unequal?
True
Let i be (-1 - 0/2) + 1. Suppose 5*y + 490 = 590. Suppose -t - y = -2*s + 6, i = -s + 5*t + 22. Is 12 greater than s?
False
Let g(h) = -3*h**2 - 6*h + 203. Let v be g(0). Which is smaller: v or 204?
v
Suppose 4*u + 2*u - 30 = 0. Suppose 6 + 4 = -u*m. Let j be (m/40)/(3/6). Is -1 greater than or equal to j?
False
Let r(v) = 12*v**2 - 25*v**2 - 2*v + v + 12*v**2 - 2. Let j be 1/2*(-6 + 2). Let k be r(j). Which is smaller: -7/2 or k?
k
Let d = -3857/5 - -777. Let w = 1481 + -1475. Does d = w?
False
Let f = 28 + -29. Which is smaller: -1/683 or f?
f
Suppose 4000 - 1664 = 8*v. Is v != 292?
False
Let n = 12.4 + 46.6. Let s = -28.12 - -28.22. Is n smaller than s?
False
Let j(z) = z**3 + 6*z**2 + 4*z + 1. Let k be j(-5). Let t = k + -6. Let h = -535/3 - -178. Which is bigger: t or h?
t
Let d(o) = 5*o**2 + 2*o + 4. Let h be d(3). Let m = -38 + h. Are 17 and m nonequal?
False
Let f = 11.647 + -0.047. Let r = 12.6 - f. Which is greater: r or -57?
r
Let j(w) = -2*w**3 + 5*w**2 + 2*w + 3. Let m be j(3). Suppose d = 4*d + 4*g - 8, -d + 3*g = -20. Let z be (-2)/d - (-25)/132. Which is greater: m or z?
m
Let y be ((64/196)/(-8))/(-1). Let b(t) = -t + 2. Let w be b(-3). Let l = w + -5. Are l and y unequal?
True
Suppose -14*h + 20*h = 14*h + 40. Let f = 6 + -12. Which is greater: h or f?
h
Let x = 600 - 575. Which is bigger: 16 or x?
x
Let g be 264/(-30) + (-1)/5. Let s(q) = q**3 + 9*q**2 - 7*q - 13. Let l be s(g). Let h = l + -401/8. Which is greater: h or 1?
1
Suppose 0 = 5*i + q - 85, -4*q = 5*i - q - 85. Let b = -17 + i. Which is smaller: -2 or b?
-2
Let j be (-32)/14 - 4/(-14). Let x be (j - -1)/(18/558). Let t = x + 16. Is -14 greater than t?
True
Suppose -4*j + 9 = -7. Let h = j - -4. Let g be -1*4/(-1) - -2. Is h at most g?
False
Suppose -10*q = -7*q - 9, -5*y + q - 138 = 0. Which is smaller: -24 or y?
y
Let t = 794 - 787. Is -0.01 < t?
True
Let b = 999 - 988. Which is greater: 61/6 or b?
b
Suppose -2*x - 37 = -3*x. Suppose 39*l - 2 = x*l. Is 1/29 != l?
True
Suppose 0 = -o + 9 - 2. Let a = o 