1104 + 1866 = 0. Do -118 and q have different values?
True
Let m = -8667 + 8526. Is -135 at least as big as m?
True
Let x = -9400 + 9401. Let z = 11944/386447 + -929079994/57492879531. Let h = 4/491 - z. Which is greater: x or h?
x
Suppose 0*u - 5*u = -3*z + 2255, -3*u + 2*z = 1352. Let v = u + 453. Which is bigger: v or -1/287?
-1/287
Let s be (-99325)/1905 - (4 + 2/(-1)). Let w = s + 60/127. Let a = w + 53. Which is smaller: a or -2?
-2
Let w = 57 + -23. Let s be 2380/(-32) - (-9)/24. Let z be 1*-2 - (39 + s). Is w < z?
False
Let q be (6 + 0)/(-10 + (-33)/(-12)). Let p = -249/406 - q. Which is bigger: -1/4 or p?
p
Suppose 51 = -53*g + 5 - 7. Which is bigger: 3/5845 or g?
3/5845
Let w be 2 + 1 - 116765/847. Which is bigger: -134 or w?
-134
Let t be (10 + -4)*(-3)/(-6). Suppose -2*y + t = -y. Suppose -3 + 0 = y*w. Is w > 1?
False
Suppose 0 = -h - 5, h + 437 = 10*k - 8*k. Let y be (-7215)/(-444)*(-2 - k/(-10)). Which is smaller: 320 or y?
y
Let a(v) = v**3 - 9*v**2 - 55*v + 29. Suppose -4*d + 6*d - 3*h - 26 = 0, -4*d = 3*h - 52. Let m be a(d). Is m <= -6?
True
Let i = 10.04 - 4.82. Let s = -0.22 + i. Let o = -2 - -1. Is s <= o?
False
Let u(s) = 205*s + 8. Let c be u(1). Let q = -7456/35 + c. Is -1 greater than or equal to q?
False
Let n = -0.38 - 17.62. Let m = 59093 - 59097. Is n bigger than m?
False
Let w = 56 + -57. Let f = 3654744/467 - 7826. Which is greater: f or w?
f
Let w(p) = -2*p**3 - 56*p**2 - 74*p - 539. Let r be w(-27). Is -4/3155 != r?
True
Let v = -628/3 + 23873/114. Suppose -206*x = 143*x + 349. Is v > x?
True
Suppose -5*s + 33 - 8 = 0. Suppose 2*p - 32 = -p + 2*o, -s*p = -3*o - 54. Which is smaller: p or 13?
p
Suppose 418*a + 669 = -167. Which is greater: a or -3916?
a
Suppose 154 = 8*y + 5*y - 24*y. Which is bigger: -378/29 or y?
-378/29
Let k = 127 - 168. Let m = k + 47. Which is bigger: -8 or m?
m
Suppose -9*y = -0*y. Let p be (-1 + (y - 2))/(6/66). Is -32 bigger than p?
True
Let i = -1680 + 1012. Let o be 3 + i/(-336) - 5. Is 1 at most as big as o?
False
Let c = -605 - -620. Suppose -1 - c = u + 5*q, 4*u - 3*q - 5 = 0. Is -2/395 > u?
True
Let u = 1994 + -2365. Is -6 at least as big as u?
True
Let u(m) = -124*m + 1132. Let v be u(18). Which is smaller: v or -1095?
v
Let m(b) = -7*b + 40. Let x be m(5). Let c = 20 - 14. Suppose 2*n + x*r = 46, 2*n + 3*r + 66 = c*n. Which is smaller: n or 20?
n
Suppose -4*t - 2 = -2*r, 2*t - 2*r = -7 + 5. Is 87 < t?
False
Let t = -2674.03 - -2638. Let k = -36 - t. Which is smaller: k or -8/5?
-8/5
Let j = -132.69 - -0.69. Let k = j - -131.973. Which is smaller: k or -1/3?
-1/3
Let b = 978765/34 + -28782. Let a = b - 73033/14042. Let u = 55/826 + a. Is u at least as big as 0.1?
False
Let a be ((-64)/(-128))/((2 - 1)*-1). Is a bigger than 294.6?
False
Suppose 370 = 13*g - 11*g. Let j = 185 - g. Which is smaller: -2/1537 or j?
-2/1537
Let g(s) = 53*s + 326. Let b be g(-24). Is b <= -946?
True
Suppose -22*l + 84 = -26. Suppose 3*v = -m - l, 4*m + 5*v + 2 = -53. Which is greater: 10 or m?
10
Let w = 507.98 - 508.38. Suppose 0*k = 3*k. Suppose 4*y = 0, 4*j = -k*j + y. Which is smaller: w or j?
w
Let b be (-36)/21*(-1)/2. Suppose -6 = -3*u + 15. Suppose 10*z = u*z + 3. Which is smaller: z or b?
b
Suppose -5*h + 21 = -4*h + 5*q, 2*h + 3*q = 14. Let y be 2/8 - h/(420/49). Which is smaller: 111 or y?
y
Let b = 9673 + -8962. Is 714 less than or equal to b?
False
Let g = -49 - 35. Let s be ((-2)/(-30))/(8/g). Let k = 3 - 3. Is k less than s?
False
Let o = -19 - -11. Let x be 133*(-20)/o*-2. Let p = x - -4664/7. Which is smaller: p or 2?
p
Let m(n) = -n**3 - 6*n**2 + 19*n - 7. Let j be m(-10). Let d be (-6 - j/(-35)) + 3/15. Which is bigger: d or -4/85?
d
Suppose -6*s + 394 - 16 = 0. Let g be 1/1 - 72/s. Let w(q) = 42*q - 43. Let z be w(1). Do g and z have the same value?
False
Let r(h) = -22*h**2 - 6*h - 38. Let s be r(11). Let i be s/20 - (-18)/60. Which is smaller: -137 or i?
i
Let n = -1.88 - -0.28. Let f = 2.6 + n. Let b = 15.013 - 0.013. Which is greater: b or f?
b
Let d be ((-1002)/(-18) - 6)*3. Let y = d - 162. Is -14 >= y?
False
Let g = -4580/3 - -14557/6. Is g less than 901?
True
Let k = 12704764865/29993 - 423591. Which is smaller: 1 or k?
k
Suppose 16 = 4*n, -5*n - 282 = 3*y + 505. Suppose -5*c = 2*u - u + 1347, 3*u + 813 = -3*c. Are c and y non-equal?
False
Suppose 58757 = -32*c + 2085. Do -1772 and c have the same value?
False
Let y(o) = 9*o + o**3 + 10 - 4*o - 3*o**3 - 12*o**2 - 11*o**2 + 32*o**2. Let t be y(5). Which is smaller: -1 or t?
-1
Let l be -2*(-12)/72*-15 + -1 + 40. Is -14 greater than or equal to l?
False
Let a = 0.0506 - 0.1379. Let b = a - 0.0127. Do 200/7 and b have different values?
True
Let k be 7*(-11)/3311*(55/9 + -4). Is k at least as big as 1?
False
Let m be 15/25 - (348/(-20) + -1). Suppose -m*u + u = 450. Is u smaller than -21?
True
Suppose -5*q = -2*r - 586, 0 = -135*r + 140*r + 5*q + 1465. Is r at most -290?
True
Suppose 5 = g, 2*i + 49*g = 52*g - 61. Let a be (-2)/4*-16 + -3. Let d be (a/(-4))/((-3)/(-60)). Which is smaller: d or i?
d
Suppose -f = w - 4 - 29, -102 = -3*w - 2*f. Suppose -w = -j + 8. Let x = 44 - j. Is x greater than or equal to 6/11?
False
Let l = -198 - -197.9. Which is bigger: -0.2766 or l?
l
Suppose 21*l = 125799 + 41507 - 38345. Is l equal to 6140?
False
Let k(x) = -8*x + 1. Let n be k(-1). Suppose -4*v + 5*v = -n. Let g = -539 + 531. Is g at least as big as v?
True
Let a(y) = -20*y + 1305. Let z be a(65). Are -211 and z non-equal?
True
Let b be 25/10*(-3736)/14*(-77)/22. Is b greater than or equal to 2332?
True
Let o(v) = -v**3 + 11*v**2 - 13*v + 14. Suppose 5*i = -41 + 91. Let y be o(i). Do -33/2 and y have the same value?
False
Let q be (5 - 4)*2293/(-2)*2. Let n = q - -1352871/590. Is -1 less than or equal to n?
True
Suppose -2*f - 5*q = -745, -384*q = -380*q - 28. Which is smaller: 2487/7 or f?
f
Let g be (930/620)/(3/2). Which is smaller: g or -2/4237?
-2/4237
Suppose 0 = 26*i - 36*i + 290. Suppose 3*p - 154 = i. Is p >= 182/3?
True
Let h = 967 - 968. Let y = 0.33 + -7.63. Let b = y + 1.3. Is h equal to b?
False
Let i(r) = 51 + 41 - 10*r - 31 + 13. Let k be i(7). Suppose 0 = -k*y - 5*w + 383, -y + 130 - 35 = w. Does 92 = y?
True
Let x = 199 + -348. Let z(y) = -38*y**3 - 1974*y**2 + 109*y + 110. Let u be z(-52). Is u at least as big as x?
False
Suppose -7*t - 2 = -5*t. Let i be (-9)/(1053/(-1059)) - 1 - 8. Is i equal to t?
False
Let g be 240/28 - 136/17. Let x(l) = -2*l**2 + 12*l. Let t(a) = 3*a**2 - 18*a. Let b(r) = 5*t(r) + 7*x(r). Let z be b(6). Is z not equal to g?
True
Let s be 124 - 125 - (2835/326)/(-7). Is s at least as big as -1?
True
Let r = -2991.04 - 46.96. Which is smaller: -2/5 or r?
r
Let s(x) = x**3 + 2*x**2 + 4*x + 2. Suppose r = 3*w + 5, 0 = -7*w + 5*w + 4*r. Let d be (182/21 + -8)/(w/3). Let l be s(d). Which is greater: 2/189 or l?
2/189
Let z be -6006*17/(238/105). Let j be (-1)/11 - 9/z*477. Is j != 1?
True
Let a(o) = -18*o**2 + 11*o + 33. Let p(z) = 4*z**2 - z - 1. Let s(l) = a(l) + 4*p(l). Let j be s(6). Is 9/109 not equal to j?
True
Suppose 57*n - 1360 - 3770 = 0. Which is greater: 85 or n?
n
Let j = -342 + 419. Let r = -309 + j. Which is smaller: r or -231?
r
Suppose 85*n = 83*n - 4*y - 498, 3*n + 3*y + 735 = 0. Which is smaller: -483/2 or n?
-483/2
Suppose -2*i - 22 = 22. Let b = 11981/264 + -1591/24. Is i bigger than b?
False
Let q(l) = l**3 - 11*l**2 - l + 19. Let s be q(9). Let k = s - -282. Let x be 20/k + (-8)/390. Which is greater: x or -2?
x
Let x be (-3)/6 - (-235)/(-10). Let d = x + 26. Suppose d*m = 2*q + m, 0 = -4*q + 4*m + 4. Is -3/20 equal to q?
False
Suppose 10*l - 109 = -18 - 51. Is 219/46 less than or equal to l?
False
Let o be -628 - -617 - 43661/(-3969). Which is greater: o or 0?
o
Suppose y + 4 = 2*p - 1, 0 = p - 4*y - 13. Let l be p/3 + (-8)/(-12). Let d = -15 - 8. Is l at most d?
False
Let d(q) = -304*q**2 - 14*q + 50. Let x be d(5). Which is smaller: x or -7619?
x
Let o(v) = 6*v**2 + 15*v + 7. Let r be o(-7). Let h = r - 112. Let u = 84 - h. Which is bigger: -1/75 or u?
u
Let p(v) = 11*v + 3. Let m(z) = -7*z - 2. Let d(y) = -8*m(y) - 5*p(y). Let g be d(3). Suppose 0*o - 46 = g*a - o, -4*a + 5*o - 54 = 0. Is a bigger than -8?
False
Let r = 16/69236833 - 5758981305914/46042493945. Let c = -8