r than or equal to a?
True
Let w = -49 - -52. Suppose -w*g = 2 - 32. Let n be 2/(-104)*(-16)/g. Which is bigger: n or 1?
1
Let r be (-31)/(-1) + -6 + 3 + 4. Suppose r - 20 = 6*f. Suppose 0 = 3*c + f*w - 54, 5*c - 4*w = -0*w + 68. Which is bigger: c or 18?
18
Let s be 8/(-626)*(-1)/8. Let v = 1907/18154 - s. Let y be 1 + (-2 - 17) + 18. Is v greater than or equal to y?
True
Suppose f = 7, c - 522 = -4*f + 93. Which is greater: 4119/7 or c?
4119/7
Let z be 14/(-21)*-6*2. Suppose -z = -30*p + 38*p. Is p at least -9/26?
False
Let h = 46131/940 - 993/20. Is h at most as big as -2?
False
Suppose 5*s - 3*l - 252 + 49 = 0, 0 = -5*s + l + 191. Suppose -16 - 125 = -3*b. Suppose s + b = 6*d. Is 16 less than or equal to d?
False
Let o = 15142 + -18977. Is -3833 at most o?
False
Let u be 1/(6/27 - (-5)/18). Let h be 0*((-3 - -2) + u/4). Let g be 10/(-25)*1*1. Which is smaller: g or h?
g
Suppose 14 - 86 = -u. Let v be -5*(u/20)/(-6). Suppose -2*m = -v*h + 8, 3*m + h = -0*m + 10. Which is greater: 7/11 or m?
m
Let z be (16/8)/((-4)/(-2)). Let u(v) = -v**3 - 10*v**2 - 3*v - 29. Let j be u(-10). Let r be (-116)/8 - z - j. Which is smaller: r or -16?
r
Suppose f + 260 = 11*f. Let o(x) = x**2 - 24*x - 50. Let b be o(f). Suppose 18 = -b*d - d. Which is greater: d or -8?
d
Let y(n) = 15*n - 239. Suppose 0 = 3*p - 5*o - 135, -38*p = -40*p - 4*o + 68. Let j be y(p). Is j != 360?
True
Let w(h) = -6*h**2 + 8*h + 3. Let p be w(2). Let j be (-1)/p*(-640)/192. Which is smaller: j or 0.148?
j
Let b = 0.403 - 0.203. Suppose 0 = -3*f - 2*r + 213, -3*r = 4*f - 273 - 11. Is b not equal to f?
True
Let i be 12*9/(-360) - 16/(-20). Which is bigger: 4/11 or i?
i
Let v = -0.07013 + 24.07013. Are v and 269 unequal?
True
Let s(q) = 11*q - 16. Let g be s(-5). Let i = g - -83. Suppose -z + 6 = -4*z - 5*m, -2*z + i = -2*m. Which is greater: 5 or z?
5
Let c be (-2)/8 - (-15)/(-4). Let v be 770/(-44)*c/14. Which is greater: v or 7/2?
v
Let d(q) = -q**3 - 4*q**2 + 5*q. Suppose -h - 42 = -7*h. Let i(v) = v**2 - 8*v + 2. Let u be i(h). Let y be d(u). Is y at most 1/28?
True
Let t(i) = -4*i + 64. Suppose 0*d = -6*d + 138. Let m be t(d). Let w be (16/(-20))/(m/110). Is 4 != w?
True
Suppose 6*k + 84 = 20*k. Let r = -6 - k. Let a = -28 - -17. Is r at most a?
True
Let n be (322/4)/((-152)/304). Suppose 3*a + 46 = -440. Which is greater: a or n?
n
Suppose 20 - 21 = -b. Let k = b - 7. Let w be (k/12)/(3/6). Is w equal to 2?
False
Suppose -178*s + 5*d = -183*s - 3905, 3*d = 3. Which is smaller: -794 or s?
-794
Let x be (3 - 3)/(-1) - -2. Let s be x*(-2)/(-6) - 40/6. Is -52/9 less than s?
False
Let m(x) = -2*x**3 + 2*x**2 - 31*x + 58. Let n be m(2). Is n equal to 26?
False
Let h be 12/16 + (-485)/(-120)*-2. Let o = 23 - 19. Let x(k) = k**3 - 3*k**2 - 5*k - 3. Let s be x(o). Which is smaller: s or h?
h
Suppose 0 = 11*g - 16*g - 10. Is -23/43 < g?
False
Let i be ((-162)/(-486))/((3/(-18))/((-7)/(-21))). Let z = 0.2 + 0. Which is bigger: z or i?
z
Suppose 5*s - 208*v = -205*v - 1211, 3*v - 470 = 2*s. Is s != -144?
True
Let p = -5.013 + -2228.987. Which is bigger: p or 0.1?
0.1
Let s(d) = 257 + 288 + 2*d**2 + 248 - 628 - 41*d. Let h be s(6). Let a = -19 + 27. Is a < h?
False
Suppose n + 1 = 2*m, m - 2*n = -0*m - 7. Suppose -5*k = -m*g - 9, g + 6 = 4*k - g. Which is greater: k or 9?
9
Let p = 890 - 898. Is -7.1 <= p?
False
Let w = -3141/115 - -137/5. Let s be 60/(-45)*9/1. Let g be (-10)/s - 8/6. Which is bigger: g or w?
w
Let a = -1327 + 9285/7. Which is smaller: a or 103/6?
a
Let f be (870/(-112) - 87/(-29))/(18/7). Which is greater: f or -2?
f
Suppose 5*s - n = -28, -3*n = -4*s + n - 16. Suppose 0 = 2*f - 18 - 36. Let k = -33 + f. Is s equal to k?
True
Suppose -150*v - 58 = -121*v. Is v not equal to -71/110?
True
Let y be 272/3*(6 - -3 - 957/44). Which is greater: y or -1158?
y
Let z = -502619/4 + 126968. Let v be 6511/(-5) - (-13)/65. Let g = z + v. Which is bigger: 11 or g?
g
Suppose 4*p + 13 = 2*u + p, p = u - 4. Let i = 452/7 + -62842/973. Is u at least as big as i?
False
Let l be (-36)/328*76 + 18/3. Which is smaller: 0 or l?
l
Let h = -20.9 - 43.5. Let f = 13 + -78. Let r = h - f. Which is smaller: 3/7 or r?
3/7
Let x = -0.45 + -1.95. Let m = x + 2.6. Let w = 0.26 + -9.26. Is m less than w?
False
Let g = 4193 + -4183.828. Let s = g - 12.13. Let d = s - 0.042. Which is bigger: -0.13 or d?
-0.13
Suppose -3*c - 10 - 35 = -q, 5*c + 85 = 2*q. Let j(t) = 154*t - 1203. Let o be j(8). Which is smaller: o or q?
o
Let z(v) = -v**3 - 14*v**2 - 11*v + 12. Let s be (-20 + 7)/(-2 + 3). Let p be z(s). Which is bigger: p or 0.5?
0.5
Let t(i) = -2*i + 6. Let q be t(0). Let n be q/((2 + -4)*-1 - 0). Suppose 7 - 13 = -n*f. Are f and 2 unequal?
False
Suppose 5*y - q = 27, -4*q = 2*y - y + 3. Suppose -6*a - 15 + 45 = 0. Let m be ((0 - 1)*a)/(7/(-7)). Do m and y have the same value?
True
Let d be 0/(4 - 1) - 22. Let c = -21 - d. Let a = 36 - -4. Is c >= a?
False
Let l(j) = 13 - 42*j**2 + 77*j - 77 + j**3 - 31*j + j. Let w be l(41). Which is smaller: 183 or w?
w
Let b = 208 - 71. Suppose -b = 15*p + 193. Is 3 at most p?
False
Suppose 283 = 8*r - 85. Suppose 0 = d + s - 2, -3*d + 2*s - 4 = -6*d. Let j(c) = c + 47. Let a be j(d). Which is greater: a or r?
a
Let q = 7 + -4. Suppose -4*v - 3*b = -q, 2*b = -0*b + 2. Let p be (-2 + (-8)/(-3))*24/608. Which is greater: v or p?
p
Let l be (-62)/4*(0/3 - -4). Which is greater: -0.2 or l?
-0.2
Let d = -353 - -588. Let q be 38/6 - -17*114/(-323). Which is smaller: q or d?
q
Let g(j) = j**2 + 30*j - 2274. Let a be g(35). Which is greater: a or 11/182?
a
Let k be 2/(-3)*5985/(-798) - 26/6. Is 1411 < k?
False
Let j = 439 - 489.6. Let x = 43.6 + j. Which is smaller: x or -19?
-19
Suppose -9*d + 130 + 365 = 0. Is d at least 55?
True
Let p = -1247.421 + 1248. Let w = p + -4.579. Let n(x) = 3*x + 2. Let o be n(-2). Do o and w have different values?
False
Suppose 362*b + 82 + 83 = -197. Which is smaller: 36/187 or b?
b
Let r = -31.034 - -31. Let z be -10 + 7 + 6*(-6)/(-9). Which is smaller: r or z?
r
Suppose -3*v + 4 = -8*v + 4*x, -8*v = -2*x + 2. Which is smaller: -4/507 or v?
-4/507
Suppose -4*p - 5*b = 9, 4*p - 5*b - 4 = 3*p. Let q be (392/(-21))/(20/12 - 2). Suppose -19*v = 9*v + q. Which is greater: p or v?
p
Suppose -3*w + 372 = -5*w + 336. Which is smaller: -151 or w?
-151
Let l = -217542 - -217592.1238. Let w = l - 0.0238. Let x = w + -1.1. Is x equal to 1?
False
Let m be ((-989)/(-46) - 21)*316/(-2)*-2. Is 953/6 greater than or equal to m?
True
Let b = -7383 + 7824. Is b at most -1?
False
Let o be (-3)/15*3/(-51). Let r = -33 - -34. Is o at least r?
False
Let x be 61368/(-10656) - 7/(-84). Is -7 >= x?
False
Let d(i) = 3*i**2 - 21*i - 8. Suppose 5*z - 45 = -5*p, 0 = -4*p + 3*z - 0*z + 22. Let a be d(p). Is a > 7?
False
Let f = 15104/8283 + -4/753. Let m = 218 + -581. Let j = m + 364. Is f <= j?
False
Let f = -567 - -543. Suppose -15*w + 64 = -17*w. Is w greater than f?
False
Suppose 0 = -4*n + 299 - 31. Let y = -63 + n. Is y <= -0.3?
False
Let a = -623 - -1585. Which is greater: a or 2?
a
Suppose 0*k - 3*k = -15. Let w(f) = f**3 - 34*f**2 + 35*f - 47. Let g be w(33). Suppose 14*z = g*z - 40. Which is smaller: z or k?
k
Let j = 2196 + -2201. Is -16 at most as big as j?
True
Let k = -4414 + 4446. Is 3 greater than k?
False
Let d be (22/5)/(4/(-20)). Let g = d - -19. Let n be (-5)/2*(-6)/10*g. Is 0 at most as big as n?
False
Let s = -146 - -101. Let r = -2/7199 + -979058/21597. Which is smaller: s or r?
r
Let v = -387 - -4241/11. Which is bigger: v or 70?
70
Let x be (-4)/(-8)*(-68)/1. Suppose 4*m = 45 + 7. Let t = -21 - m. Do x and t have different values?
False
Suppose -170 = u - 4*z, -12*u - 316 = -10*u - 2*z. Let g = 154 + u. Which is smaller: 5/104 or g?
g
Suppose -3*n - 850 = 2*t - 1007, 2*n + 2*t = 108. Let m(c) = -2*c**3 - 3*c**2 - 4*c. Let u be m(-4). Let i = u - n. Is i less than 47?
False
Suppose -38 + 122 = 4*c. Let u be -1 - (-1981)/c - (-2)/3. Which is greater: 95 or u?
95
Let c(f) = -15*f + 51. Let h be c(5). Suppose 148*x - 146*x - 80 = 0. Let s be (258/30 + -5)/((-6)/x). Is h <= s?
True
Let n be 8/(-18) + (2002/99)/14. Let z = -24.5 + 0.5. Let i = z + -3. Is n < i?
False
Let d(c) = -4*c**2 + 4*c + 5. Let z be d(4). Let u(a) = a**3 + a + 8. Let g be u(-2). Let 