
True
Let z = 27559 - 27553. Is -367 greater than or equal to z?
False
Let o be (9/6 + -2)/(8/(-32)). Suppose 3*s + 7 + o = 0, 12 = p - 3*s. Which is bigger: 1 or p?
p
Let y be (-119)/34*(-200)/14. Let q be ((-12)/10)/(y/(-875)). Is q at least as big as 234/11?
False
Let l(y) = -2*y**3 + 42*y**2 + 45*y - 29. Let r be l(22). Let u(j) = j**3 + 5*j**2 - 26*j - 85. Let f be u(r). Which is greater: f or 4/39?
4/39
Suppose 21*b = 32*b + 308. Let d be (4092/968)/(6/(-40)). Is d <= b?
True
Let y(b) = -b**2 - 7*b - 26. Let s be y(-6). Let o be -2 - 8/s*(9 - -1). Suppose 4*d + o = 2*k + 7*d, 2*d = -3*k + 8. Is k not equal to 3?
True
Suppose 3*v + 6*m = 4*m + 95, 4*v + 2*m = 124. Suppose -5*o = 2*h - 27, 4*h - 3*o - v = -8*o. Let p be 9/252 + h + 9/(-7). Which is greater: 33/4 or p?
33/4
Let y = -16.18 - -0.18. Let m = 10 + y. Let u = -6.56 - m. Is -0.1 less than or equal to u?
False
Let m be 6 + (-873*(-33)/(-77) - 6). Which is greater: -373 or m?
-373
Let n(d) = -2*d**2 + 784*d + 4743. Let o be n(-6). Is -350/11 bigger than o?
True
Let z = -23023 + 23022. Is 3/2492 greater than z?
True
Let n be 59 - (-1912405)/(-32450) - 2/(-59). Let m be 1 - (3 - (-2)/(-1)). Which is smaller: m or n?
m
Let x = 45.1 - -223.9. Which is smaller: -0.3 or x?
-0.3
Let w be ((-22)/(-33))/(-5 + (-102)/(-18)). Do -1/2254 and w have the same value?
False
Let o = -68567 + 68434. Suppose -3*q = -q + 4. Which is smaller: o or q?
o
Let n = -1756 + 1759. Is -48 less than n?
True
Let l be ((-18)/(-16))/((-5)/4). Let g = 521 - 499. Suppose 31*t - 9*t = -g. Is l less than t?
False
Let x(z) be the third derivative of z**6/120 + z**5/5 - 5*z**4/24 - 29*z**3/3 + 132*z**2. Let g be x(-12). Is g smaller than 40/31?
False
Let u be 2794/(-16) + 45/120. Let f = 174 + u. Which is smaller: f or 29?
f
Suppose w = 15 + 122. Suppose -3749*l + 3756*l = 966. Is w bigger than l?
False
Suppose -50 = -5*p + 60*u - 56*u, -u = -2*p + 14. Let y(i) = 4 - 1 + 0 + i. Let f be y(-3). Is p < f?
False
Let c = 1.74 + 3.235. Let n = -0.37 + 0.395. Let y = c + n. Are y and -6 equal?
False
Suppose 31 = 5*y + 2*b, 4*y + 4*b + 5 = 37. Suppose -3*u + 5*x - 25 = 0, u + y*x - 25 = -0*u. Let q = -17845/23 + 776. Which is smaller: u or q?
u
Suppose -5*d + 2971 = -8*w, 2*w + 487 = -5*d - 262. Which is greater: -349 or w?
-349
Let x(m) = 27*m + 180 - 12*m - 46. Let u be x(-7). Is 3 equal to u?
False
Let f = 2252 + -8969/4. Is f less than -2/17?
False
Let z = -617 - -606.547. Let n = z - 0.047. Let a = 11.5 + n. Which is smaller: -0.028 or a?
-0.028
Suppose 22 = -4*d + 30. Suppose -2*r + 5*q = -619, d*r + q = -2*r + 1227. Let p = -910/3 + r. Is p bigger than 4?
False
Suppose 10*g - 111 = -1. Let w be 102/19 - 66/g. Is w greater than or equal to -1?
True
Suppose -131 = 16*b - 243. Which is smaller: b or -4.5?
-4.5
Suppose 0 = -2*x + 2*f + 12, 4*f = -11 - 9. Let m(u) = u**2 - 4*u + 1. Let a be m(x). Let h be 8/(-18)*(-3)/(-2). Are a and h nonequal?
True
Let l = -5464 + 5605. Which is bigger: l or 1/5?
l
Let x(a) = -a**3 - 9*a**2 + 7*a + 4. Let t be x(-9). Suppose -575 = 5*f + 5*c, 10*c - 11*c + 349 = -3*f. Let l = f - t. Is -55 at least as big as l?
True
Suppose 0 = -18*h + 145 + 143. Let t(s) = 6*s - 99. Let k be t(h). Are -23/8 and k nonequal?
True
Let d = -3.98 - -435.98. Is -0.2 smaller than d?
True
Let i(g) = -g**2 + 13*g + 23. Let k be i(13). Suppose k = -4*f + 3, 2*c = -2*f - 22. Is -6 < c?
False
Suppose -4*w - 24 = -88. Suppose 8 = -4*h - w. Is h <= -6?
True
Let n be (2 + -4)*(2 + -3 - 0). Suppose -2*r + r + 3*c - 90 = 0, -n*r - c = 180. Which is smaller: -89 or r?
r
Let h be (-152)/(-133) - 954/63. Suppose 3*a + 7 = -c, -1 - 6 = -5*c - a. Suppose 4*i - c*m = -62, 5*i + 104 - 10 = -3*m. Which is smaller: h or i?
i
Suppose 33*c + 367*c + 40000 = 0. Which is greater: -0.4 or c?
-0.4
Let t = 52 - 49. Suppose -t*z + 6*z = -15, -z - 9 = 2*x. Let g be (-287)/231 - x/(-1 + 7). Is 0 less than g?
False
Suppose 2*r - 705 - 453 = 4*a, -2*r + 282 = -a. Let g = a - -2633/9. Let l be 8/(-6)*2/4. Is g at most as big as l?
False
Suppose 10*u + 6*u + 120 = 10*u. Is u less than -16?
True
Let p = -1435908/365 + 3934. Suppose 180 = -6*c + 174. Is p < c?
False
Let x be 14/21*42351/(-38). Which is greater: -745 or x?
x
Suppose -60 = -5*t - t. Suppose -3*v = 5*w - 181, 27 = -9*w + t*w - 4*v. Suppose 7*o = -0*o + w. Does 1 = o?
False
Let l = 83.634 - 79.6. Let n = -415.034 + 415. Let x = n + l. Is -2/5 not equal to x?
True
Let f = 5 - -112. Let i = 128 - f. Are i and -10 equal?
False
Suppose 2*n - 3*k - 7 = 8, 4*n - 37 = -k. Let h be (-10)/(-3)*(-6 + n/(-6)). Is h at most -1/2?
True
Let i be (-1)/4 + (-663)/12. Let c be 347/(-6) - (5*-1 + 5550/1332). Is i > c?
True
Let z(q) = -11*q - 7. Let y be z(-2). Suppose u = -2*u - y, u - 3 = -4*m. Suppose -m*l + 1 = -5, -5*c - 4*l = -7. Is c != 0?
True
Let w be (156434/51)/((-1)/3). Let o be w/(-3830) + 46/(-115) + -2. Which is smaller: 1 or o?
o
Let a = 0.65 - 0.9. Let x = a + 0.15. Let j = 26.9 - -15.1. Which is smaller: x or j?
x
Let i be ((-16)/(-12))/((-4)/(-114)). Suppose 2*a + 5*k - 140 = 7*a, -4*k - i = a. Is a not equal to -29?
True
Let z = 4484 - 89701/20. Let b be (99/12 - 6)/(50/40). Let a = b + z. Which is smaller: -0.03 or a?
-0.03
Let n = -167 + 95. Let g(c) = 31*c + 4. Let u be g(-3). Let i = n - u. Do 16 and i have different values?
True
Suppose 8*l = 317 - 221. Let a = 42 - 25. Is a <= l?
False
Let l = 363/5 - 5077/70. Let s = 1199 - 1242. Is s at least l?
False
Suppose -4*u - 5*s - 102 = 0, -4*u + 71*s - 69*s - 88 = 0. Is -14/11 != u?
True
Let w(y) = -155*y + 18. Let u = -45 - -57. Let k be w(u). Let n be k/420 + 4 - 2/(-7). Is -0.1 less than or equal to n?
True
Let f = -0.0215 - -4.4915. Let q = f + -4.37. Do 59 and q have the same value?
False
Let x = 24876 - 24870. Do x and 273/38 have different values?
True
Let m = 10873 - 10873.1. Which is bigger: -634 or m?
m
Suppose 0 = 3*z - 5*y + 16, -4*z + 2*z - 5*y + 31 = 0. Suppose 15 = z*a - g, 44*a = 39*a + 5*g + 35. Is a at least as big as 22?
False
Let c(f) = -f**3 - 21*f**2 - 26*f - 51. Let z be c(-20). Suppose 4*m = -m + 355. Which is bigger: m or z?
m
Suppose -5*l = -2*n - 31, -2*n - n + 20 = 2*l. Suppose -17*p = -11*p + 120. Let c = -9 - p. Is c at least as big as l?
True
Suppose -3*s = 2*x + 269, -32*s + 356 = -36*s - 4*x. Is s bigger than -33?
False
Let j be 4/3 - (144/27 + 7 - 2). Which is greater: -17 or j?
j
Let u(t) = -41*t - 1885. Let q be u(-46). Is -2/1073 at least q?
False
Let u(x) = 8 + 5 + 62*x**2 + 60*x**2 - 121*x**2 + 10*x. Let s be u(-14). Which is smaller: 67 or s?
67
Let g = -194 - -256. Let v = g - 42. Which is smaller: v or 21?
v
Suppose -3*p + 14 - 5 = 0. Let d be p*(18/19 - 1). Let q(u) = -u**3 + 31*u**2 - 129*u - 27. Let t be q(26). Which is greater: d or t?
d
Let s(y) = -2*y + 8. Let z be s(2). Suppose 3*h = -g + h + 9, 4*h - 24 = z*g. Let j = -4/35 - -11/35. Is j at least g?
True
Let h = 6394 + -6394. Is 41/190 at least h?
True
Let u = -431525/3876 - 1/1292. Is -112 greater than u?
False
Suppose -3*b + 5*y = 438 - 1184, 0 = -3*b - 4*y + 737. Let a be (-2)/26*(-26)/b. Is a != -2?
True
Let o = 899 - 1446. Let h = o - -534. Is -0.7 at most as big as h?
False
Let k(b) = -6*b**2 + 2*b + 12. Let w(c) = -10*c**2 + 3*c + 23. Let g(h) = -11*k(h) + 6*w(h). Let a be g(-4). Which is smaller: 119 or a?
a
Suppose r + 13 = 5*h, -h = -0*h + 4*r + 10. Suppose 2*c + 2*d = 32, -h*c = -2*d - 0*d - 28. Let q = -18 + c. Which is greater: q or -4?
q
Suppose 0 = 3*q + 4*u - 34, 2*q = -4*u - 1 + 17. Let c(w) = -4*w - 53. Let h be c(-14). Suppose 3*a - 56 = -4*l - a, -2*l - h*a = -23. Is l > q?
True
Let d(t) = -63*t + 2936. Let p be d(41). Is 350 equal to p?
False
Let u be 1769/((-2)/(-9)*(-63)/(-98)). Do u and 12383 have different values?
False
Let a = 206 - 198. Suppose -56 = a*g - 16. Is g bigger than -72/13?
True
Let o = -1359 + -345. Is o at least as big as -1705?
True
Let f be (1/(-2))/((-2)/8). Suppose f*r - 68 = 5*c, 0 = -4*r - c + 55 + 125. Is 46 greater than or equal to r?
True
Suppose 5*c + 14 = 5*a + 3*c, 3*a - 9 = c. Suppose -5*k - v - 85 = 0, 68 = -a*k - 0*k + 3*v. Let g be (-29)/(-10) - (-34)/k. Is g < 2?
True
Let z(g) = g**2 + 12*g + 8. Let j be z(-9). Let o(m) = m**3 + 18*m**2 - 19*m - 33. Let y be o(j). Which i