r: 79 or x?
x
Let t = 0.65 + 11.05. Let m = 11.8 - t. Let u = 43/234 + 1/26. Which is smaller: u or m?
m
Let p = 216 + -229. Is -8/7 <= p?
False
Suppose 14 - 179 = 5*q. Let d = -34 - q. Is 0 bigger than d?
True
Let m = -8223/8 + 1021. Which is greater: -8 or m?
m
Let d be (-270)/(-28) + ((-72)/16 - -3). Is 1/2 greater than or equal to d?
False
Let k = 0.056 + -0.856. Let w = k - 36.2. Which is smaller: 0 or w?
w
Let t = -159/5 + 1947/65. Which is smaller: t or -3?
-3
Let v(r) = r**3 - 4*r**2 - 8*r + 12. Let w be v(5). Let t be -4*w/6 - (-4 - -5). Is 0.23 bigger than t?
False
Let x = -3801 - -26699/7. Is x at least as big as -2?
True
Suppose 0 = -15*x - 235 + 160. Which is greater: -11/3 or x?
-11/3
Let x = -95 - -96.57. Which is greater: -2 or x?
x
Let a = -0.041 - 148.959. Let x = a + 140.9. Let b = x - -8. Is b at most as big as -1/18?
True
Let i = -27 - -15. Suppose -3*w - 108 = 27. Let z = 32 + w. Is i > z?
True
Let d be (35/84)/((-55)/(-22)). Which is smaller: d or -158?
-158
Let x be 2 - 28/6*-3. Suppose -x*c = -17*c - 5. Let v = 755/21 + -107/3. Are v and c non-equal?
True
Suppose 21*u = 36*u + 435. Let i = -6035/206 - 21/103. Let k = u - i. Which is smaller: -1/2 or k?
-1/2
Let x be (20/(-6))/(12/(-18)). Let s be (1344/76)/3 + (-10)/(-95). Does s = x?
False
Suppose 4*g + 6 + 2 = 0. Let w be (-1)/(-3)*(g + 32). Let p be 2/w - 5/25. Which is bigger: -2/49 or p?
p
Let z be (-2)/(-4)*10 - 1. Suppose 0 = -4*q - 0*q + 4. Let u be (q + z/(-6))/1. Is u != -1/14?
True
Suppose -22*n = 184 - 338. Suppose 4*z = z + 6. Suppose -3*q + 20 = z. Which is smaller: n or q?
q
Let j = 16 - 15.9. Let w = -66.2 + 60. Let q = -1.2 - w. Is j greater than or equal to q?
False
Let x be 204/54 + 4/18. Suppose -x*f + 1 = -5*f. Let y be (f - -3)/((-2)/5). Which is smaller: -3 or y?
y
Let i = 43.126 + -0.126. Let x = i + -67. Which is bigger: x or -1/2?
-1/2
Suppose -18*t - 847 = 539. Let s = t + 187. Is 111 >= s?
True
Suppose 0 = 3*r + 14 + 4. Let p be (2/6)/(r/18). Is -1 bigger than p?
False
Let r = 12 - 16. Let w be ((-418)/(-6))/(r/(-12)). Let i = w - 3345/16. Which is bigger: i or 0?
0
Let j = 24 + -22. Suppose 3 + 16 = 2*b + 3*g, -3*b = -j*g + 4. Let w be -3*b - (-6)/6. Which is bigger: -6 or w?
w
Let v = -35.8 - -35.7. Which is bigger: -0.73 or v?
v
Let q be ((-42)/24)/((-2)/(-8)). Suppose -4*n + 32 = 4*v, 11 = -4*n + v + 28. Suppose -5*r = n*z + 25, -r + 2*z = -4*r - 16. Is q greater than r?
False
Let o be 96/56 + 1006/(-252). Is -3 equal to o?
False
Let x be 18/14 + 6/(-21). Let q be (-14)/(-35) + 9/(-30). Is x bigger than q?
True
Suppose 0 = -2*v - 2*g - 22, -3*v - 5*g = 3 + 34. Let m be v/(-1) + 2/1. Suppose m*o - 7*o + 60 = 0. Which is smaller: o or -14?
o
Let u(g) = -g + 5. Let n be 26/6 + (-10)/(-15). Let j be u(n). Let z be (-2 - j)/(-2) - -3. Are z and -2 non-equal?
True
Let y be 87/5 - (-12)/(-30). Suppose 15 + y = -4*p. Suppose 2*o + 6 = -2*j, -6*o = -2*o - 20. Is p >= j?
True
Let m be (-51)/(-10)*4*(-3)/9. Is -8 not equal to m?
True
Let f = 593/170660 - -1/805. Which is greater: f or 0?
f
Let t = 19004/5 + -3840. Are t and -38 unequal?
True
Suppose v - 20 = 2*v + 4*w, 3*w - 30 = 3*v. Suppose 0 = -3*b - m + 56, -9*m + 42 = 2*b - 6*m. Let r = b - 30. Is v >= r?
True
Suppose 2*d = -5*x - 4, 5*x + 15 = 2*d - 1. Let l be 9/(-6)*8/d. Which is smaller: -2 or l?
l
Let k(d) = -4*d - 2. Let h be k(-1). Suppose 120 = 4*t + h*t. Which is bigger: t or 22?
22
Let y be (-232 - 1 - (-2 - -4))/(-1). Let z = y - 2587/11. Do -7 and z have the same value?
False
Suppose 2*z - 5*q - 4 = 0, 3*z - 20*q + 19*q = -7. Is -36/13 equal to z?
False
Let j(o) = o**2 + 4*o + 1. Let h be j(-7). Suppose c = -c + h. Is 12 <= c?
False
Let l(a) = a**3 - 45*a**2 - 2*a - 38. Let f be l(45). Which is smaller: -127 or f?
f
Let d = -0.679 - -0.009. Let u = d - -0.37. Suppose 0*s + 16 = 4*s. Is s equal to u?
False
Suppose l = 4*l - 3. Let r(x) = -x**3 + 22*x**2 - 111*x - 11. Let v be r(14). Which is greater: l or v?
v
Let t(s) = s**3 - 5*s**2 + 2. Let m be t(5). Suppose -m*w - 2*v + 3 = -3, -12 = -5*w - 2*v. Is w at most 18/7?
True
Suppose -6*i + 24 = 6. Suppose i*b - 4 = 4*z + 15, -5*z - 10 = -b. Let h be (15/(-6))/((-9)/(-4)). Which is smaller: h or z?
h
Let b be (-1)/((-12)/66*(-22)/4). Which is smaller: b or 8/173?
b
Suppose 3*g + 10 = 4*d, 3*g - 30 = 7*g + 3*d. Suppose 4*v - 6 + 42 = 0. Which is greater: v or g?
g
Let r be (4 + 232/(-40))/((-6)/190). Is 175/3 <= r?
False
Let q = -416 - -467. Is 0.1 greater than q?
False
Let d(o) = -o**3 + 13*o**2 - 13*o - 15. Let j be d(12). Let z = j + 12. Let c = -13 - z. Which is greater: c or 1?
c
Suppose -5*u = 20, -3*t - 7*u = -2*u + 347. Is -435/4 at most t?
False
Let m = 2111/7 + -302. Which is greater: m or 1?
1
Let j = -81 - -81.199. Which is bigger: j or -0.2?
j
Let c = -35.2 - -48. Let f = 12 - c. Let n = 0.8 + f. Which is greater: n or 2?
2
Let t be 300/(-252)*(-40 - -1). Is t equal to 46?
False
Let x be (1 - 2) + (-3 - -8). Suppose g - x*n - 1 = 0, 5*g - 3*g - 5 = 5*n. Suppose 0 = -2*b + 3*i + 11, -g*i = -2*b - b + 16. Does 7 = b?
True
Let a = 0.0848 - -0.0152. Is -435 > a?
False
Let d = 10/7 - 8/7. Let c(v) = -v + 9. Let q be c(15). Let w be (-8)/2 + q + 10. Is w at least as big as d?
False
Let u be (-2)/(756/188 + -4). Let k be u/(-6) - 10/15. Is 15 <= k?
True
Let x = 41 - -45. Let m = x - 87. Is m < 2?
True
Suppose 3*y = -y + 8. Let x be ((-1)/3)/(y/(-66)). Is 12 >= x?
True
Suppose 4*k + 28 = 28. Let p be 1*-6 - (k - 8/4). Is p <= -24/7?
True
Let t = 53 + -42. Let q(v) = -2*v**2 + 21*v + 10. Let h be q(t). Which is smaller: h or 1/9?
h
Suppose 3*z - 601 = -5*f + 1282, 2*f = -4*z + 742. Is 380 equal to f?
False
Let x = 101 - 91. Suppose -5*l = -x, -f = 3*l - 3 - 2. Let j be (4/(-6))/(14/(-9)). Which is smaller: f or j?
f
Let f = 664 + -704. Which is smaller: f or -2?
f
Let d be ((-14838)/2484 - -6) + (-6)/27. Is -1 greater than or equal to d?
False
Let h = -65 - -58.8. Let p = -1.8 + h. Which is smaller: 4/7 or p?
p
Suppose 0 = 2*a - 7 - 19. Let u = a - 12. Is u > 1/3?
True
Let v be (8/(-3))/(8/(-12)). Let w be (-1)/v + 279/108. Let r(g) = -g**2 + 3*g + 2. Let i be r(3). Which is smaller: i or w?
i
Let d = -984 - -1064. Which is greater: d or 81?
81
Suppose 3*j = i + 34 + 29, 3*i - j + 149 = 0. Let d = i - -93/2. Do d and -4 have different values?
True
Let y = 160099363/1275230 - 3/115930. Let b = 126 - y. Which is bigger: b or -1?
b
Let a = 15/644 + 75917/3220. Is 25 greater than or equal to a?
True
Let g(y) = -6*y + 17. Let u be g(7). Let l = u + 26. Let b = 51/35 + -8/5. Is b bigger than l?
False
Let s(w) = w**2 + 1. Let k be s(2). Let g be 6/k + (-2)/10. Suppose -q - g + 2 = 0. Which is smaller: -1/12 or q?
-1/12
Suppose 4*u + 0*l + 170 = -2*l, -75 = 2*u + 3*l. Let r be ((-3)/10)/((-36)/u). Which is smaller: 1 or r?
r
Let d(v) = -v**3 - v**2 + v + 2. Let u be d(-2). Suppose -u*m - 3 - 3 = 3*l, -m + 6 = -3*l. Which is bigger: l or -1?
-1
Let d = -11 + 17. Let i(m) = d*m + 6*m + 7 - m**3 - 6*m**2 - 10*m. Let x be i(-6). Are -6 and x equal?
False
Let n = 4/375 - 254/375. Is n equal to 6.1?
False
Let z = 5679.81 - 5680. Let w = 1.1 - 0.1. Which is greater: z or w?
w
Let t(z) = -24*z**2 - 2*z. Let m(u) = 23*u**2 + u. Let r(l) = 3*m(l) + 2*t(l). Let q be r(1). Is q > 21?
False
Let i = -7.6 + -1.4. Let l = 1.1 + -1.3. Which is smaller: i or l?
i
Suppose 210*s = 182*s - 1372. Does -50 = s?
False
Let i be (2/237)/((-96)/(-54)). Which is smaller: i or 0?
0
Let d = -112 + 118. Which is greater: 11 or d?
11
Let o(i) = i**2 + 41*i - 150. Let b be o(-44). Which is smaller: b or 1/7?
b
Suppose 7*t - t = 84. Let r = t + -20. Let k be 5*r*(-3)/45. Does 1 = k?
False
Suppose 30 = -2*j - j. Suppose -7*s + 20 = -3*s. Let p = j + s. Is -2 > p?
True
Let a = -70 + 75. Let w = -2/2921 - -55507/11684. Is a <= w?
False
Let i = -21 - -25. Suppose 2*m + f = -0*f + 4, 4*f - 4 = i*m. Do 1 and m have different values?
False
Let r = 6 - 19/3. Let q be ((-2)/(3/(18/4)))/1. Is r greater than q?
True
Let y = -331/34 + -13/17. Do y and 1.4 have different values?
True
Let c = -28 - -32.3. Let o = c + -4. Let x = -0.7 + o. Is x greater than 0.2?
False
Let s(v) = -v**2 + 7*v - 4. Let j be s(5). Let i(h) = -4*h - 3*h + 12 + 11*h - 6*h. Let c be i(j). Which is bigger: 