/(((-2)/4)/(-1)). Let h be s + (4 - (-1 - x)). Is -11 greater than h?
True
Let l = -34548 + 34548.1. Which is greater: -5436 or l?
l
Suppose -24 - 138 = -h. Suppose 3*t = -3*t + h. Is 27 at most as big as t?
True
Let r be (-4)/((-32)/(-6))*12. Let y = -289 + 306. Suppose -y*d = -4*d + 117. Is r not equal to d?
False
Let u = 328 - 319. Suppose -5*s + u = y + 33, 3*s + 16 = -y. Is 3/7 < s?
False
Let q be (-128 + -4)*-1 - 4. Let l = 130 - q. Let g = l - 2. Does -4/7 = g?
False
Let w(a) = 535*a - 2. Let y be w(0). Let k(f) = f**3 - 2*f**2 - f - 4. Let c be k(3). Suppose -14 = c*l + 2*l + t, 2*l = -4*t. Is l <= y?
True
Let p be 2/(-2)*-1*43. Let w be (63/(-12) + 6)*(-344)/(-6). Is p >= w?
True
Let u be (22/(-33)*(-9)/5898)/((-3)/18). Are 0 and u equal?
False
Let b = -51 + 40. Is b smaller than 37?
True
Let j = 0.47 + -0.37. Let z = -11 - -34. Let h = -22.2 + z. Is h < j?
False
Let f = 2117 + -2114. Which is bigger: -12 or f?
f
Suppose -m - 1424*q + 22 = -1423*q, -4*q = 2*m - 50. Is m at least 471/23?
False
Suppose -329 = -43*o - 372. Are -13/2006 and o equal?
False
Let m = -583189766 + 1078883899. Let g = m - 68901778752/139. Let b = -2117 - g. Do b and 0 have the same value?
False
Let c = -132 + 62. Let w = c + 66. Let p(b) = b**3 - 5*b - 7. Let s be p(w). Is -51 greater than or equal to s?
True
Suppose 0*d + 2*d - 2 = 0. Let y be 74/(-6) - (-5)/60*-8. Let m = y - d. Which is smaller: 1/2 or m?
m
Let b be 1*4 - (-530)/(-53). Do 0.1367 and b have different values?
True
Let a(x) be the second derivative of -x**4/4 + 3*x**3/2 + 14*x**2 + x - 35. Let v be a(-5). Does 1 = v?
False
Suppose -d = -4*q - 2, 24 + 47 = 4*d + 5*q. Suppose 18 = 5*z - g, 0 = 2*z + 9*g - d*g - 21. Is 11/2 bigger than z?
True
Let k = -20.61 - -19.61. Let r = 48.27 - 48. Let s = -0.03 + r. Which is greater: k or s?
s
Let l = 295.927 + -312.3. Let t = l + 0.373. Is t > 0.4?
False
Let v be 40709/87975 - (-7 - (-536)/72). Let f = v + -3/575. Is f > 0?
True
Suppose 41*j - 3633 = 303. Let c be (-4*(-78)/j + -4)*-668. Is 501 less than or equal to c?
True
Let z = 11 - -34. Suppose -2*p - z = -7*p. Let x be ((27/2)/p)/(5/2). Which is greater: -1/2 or x?
x
Suppose 51*k - 49*k = 0. Which is bigger: k or 1/6282?
1/6282
Suppose u + 4*j - 21 = 0, 778*u + 4*j - 15 = 783*u. Which is smaller: u or 1/1206?
1/1206
Let v(q) = 6 - 20*q**2 + 57*q**2 - 19*q**2 + 5*q - 19*q**2. Let j be v(-2). Let c be (0 + -1)*-2 + j + 2. Are 4 and c equal?
False
Suppose s + 2*s - 3 = 0. Suppose -58 = 18*v - 22. Let r be (v/(-218))/(2/(-22)*-11). Are s and r equal?
False
Let h = 260 + -266. Let l = -10 + h. Are l and -11 unequal?
True
Let u = 6064 - 3806. Which is smaller: u or 2257?
2257
Let t be 3/6 + (-35)/(-10). Suppose 0 = -t*m + 5*j + 352, -510 = -5*m + 3*j - 57. Which is greater: m or 94?
94
Let s(a) = -9*a + 25. Let j(c) = -10*c + 24. Let g be ((-9)/3)/(-6) - (-26)/(-4). Let o(t) = g*j(t) + 7*s(t). Let f be o(10). Is -0.15 bigger than f?
False
Let z = 81 - 78. Let t = -6 - -5.6. Let i = -0.5 - t. Is i bigger than z?
False
Let w = -3.2 - -1.6. Let r be (-12 + 143/22)/(1/(-6)). Let m be (-64)/616 - 6/r. Is w at most m?
True
Let i = -967 - -966.9. Is 34.16 bigger than i?
True
Suppose 2 = l, -5*o + 3*l - 2 = -3*o. Suppose -16*k + o + 30 = 0. Suppose 2*p - 5*p + 5*u - 19 = 0, 0 = 5*p - 5*u + 15. Is p less than k?
False
Let p = 66 - -12. Suppose 3*w = 24, 18*m - 4*w = 13*m + 358. Is p less than or equal to m?
True
Suppose 0 = 13*g - 685 + 113. Suppose -110 = -k - g. Is 0 greater than k?
False
Suppose -181*u - 199*u + 13135 = -343*u. Is u > 349?
True
Let w be 404864/(-966) + (-11)/(-77). Let x = w + 419. Let l = -53 + 53. Is x < l?
False
Let t = -127 + 313. Let l be t/(-44)*(-26)/169. Let x = l - 7/11. Is -0.1 != x?
True
Let h = -254/143 - -110652/60203. Is 0 at most h?
True
Let u(v) = 2*v**3 + 71*v**2 - 73*v + 383. Let x be u(-38). Is -4063 at most x?
True
Let z be (-8)/22 + 136/374. Which is greater: z or 2/1173?
2/1173
Suppose -9*z + 78 = -15 + 3. Let h = -50 + 70. Which is smaller: z or h?
z
Let h = -200/63 + 23/7. Let v = -16873 + 16872.68. Which is bigger: v or h?
h
Let o(u) = -2*u**2 + 12*u + 10. Let l be o(4). Let q be (4 - l - -5)/(-1). Is q greater than 12?
True
Suppose 23*m = 2*q + 24*m + 57, -5*q = 3*m + 143. Which is greater: q or -36?
q
Let a(g) = g**3 - 32*g**2 + 236*g + 4. Let b be a(23). Which is smaller: 669 or b?
669
Suppose -3*x = u + 420, -5*u - 115 = 3*x + 305. Which is smaller: x or -6?
x
Let h(w) = 857*w + 6377. Let f be h(-7). Let z = 432 - 54. Is f less than z?
False
Let t be (-2)/(-3) + 2/(-28)*(-2265823)/(-426). Is t less than -379?
True
Let u = -370 + 562. Let j = -191.92 + u. Which is smaller: -2/19 or j?
-2/19
Let j = 43 + -33. Suppose -4*l - 565 = 5*f - j*f, -2*l + 5*f - 295 = 0. Are -134 and l equal?
False
Let s be (-310)/15*(-6)/(-10). Suppose -4*o + 5833*c = 5830*c + 34, 4*o + 2*c + 64 = 0. Do o and s have different values?
True
Let d = 12 - 9. Suppose -d*k + 8 = k. Suppose -2*f - 17 = 3*s, -k = 5*f + 5*s + 28. Which is greater: 22 or f?
22
Suppose -5*i - 422 = 3*k, -k - 4*i = 95 + 34. Let u = k + 137. Is u less than -12?
False
Let a = -3/637 + -16547/3185. Let z = -88/15 - a. Let t = 0.1 - 0.11. Which is smaller: t or z?
z
Let v be (-222)/(-27) - (100/(-36) - -3). Let g be -2 + 0 + (-21 - (10 - v)). Is g at most -27?
False
Let m be (-140)/(-22) - 4/88*0. Which is smaller: 5 or m?
5
Let s = -22 + 110. Let y = -87 + s. Let h = -2.9 + 3. Which is smaller: h or y?
h
Let b = 3341 - 3425. Do -86 and b have different values?
True
Let k = 44 + -71. Let y(g) = g**3 - 11*g**2 + 10*g + 4. Let a be y(10). Suppose 110 = -5*s - a*o - 29, -4*s + 3*o = 105. Is k <= s?
True
Let p = -3.8 + 4.04. Let y = 48.12 + -48. Is p <= y?
False
Let w = -0.00095 + 0.20095. Which is smaller: w or 88?
w
Let w be (-4390933261)/44 - (-2)/(-8). Let h = w - -9679903638/97. Let b = 1117 + h. Which is greater: 1 or b?
1
Suppose 5*v - 2*s = -1366, -s + 544 = -2*v + s. Let j = v + 272. Let q be 1/(-3) + (-74)/48. Is j at most as big as q?
True
Let u = -56 - -92. Suppose 3*w + f - 7 + u = 0, 2*f = 3*w + 14. Let h be (-4 + 1)/(w/20 + 1). Which is smaller: -2 or h?
h
Let v be (242/(-16))/(-1) + (-16)/128. Suppose -2*y + 8 = 0, 0 = r - 15*y + 11*y + v. Which is smaller: -1/502 or r?
-1/502
Let d = 212.0817 - -0.1183. Let b = 212 - d. Which is greater: 23 or b?
23
Let t = 4220279072/105 - 40193642. Let d = -508 - t. Which is smaller: d or 1?
d
Let m = -593 - -592.7. Let b(u) = u**2 + u. Let a be b(4). Let o be (-47)/(-5) + (-8)/a. Which is smaller: o or m?
m
Let a be (2 - (-93)/(-15)) + (1 - (-36)/(-20)). Is 18 > a?
True
Suppose -7*b + 24 = -b. Let g be ((-8)/(-6))/(b/(-120)). Let f = -33 - g. Is f <= 8?
True
Suppose -c - 2 = -3*f - 4, -6 = 5*f + c. Is f greater than or equal to 1445?
False
Let o = 486 + -516. Let v be (-5)/2 + (-45)/o. Is v < 5/34?
True
Suppose -16*n = -79 - 17. Let s be 4 + -7 - (n + -6). Which is greater: s or 10?
10
Let k = 16.504 + 5.646. Which is smaller: k or -1?
-1
Let y = -8 - 418. Let v = -1105 - -1106. Are v and y nonequal?
True
Let t be (-16)/(-6) - ((-51)/(-9) + -6). Let a be 60/40*28/t. Is 46/3 smaller than a?
False
Let t be (246/(-8))/((-5)/(160/24)). Is t smaller than 1?
False
Let m(f) be the first derivative of -3*f**2/2 + 26*f - 12. Let d be m(9). Let a be 30/8 - d/4. Is a < 0.1?
False
Let p be 20/(-6)*8/30. Let g be (-6)/2 - -3 - (9 + -61). Let w be 2/12 + g*11/(-264). Is w equal to p?
False
Let r(t) = t**2 - 13*t + 24. Let b be r(3). Let m be -9*2*b/12. Let s(l) = -l**3 - l**2 + 3*l + 2. Let g be s(-3). Is m greater than or equal to g?
False
Suppose 0 = -17*i + 40 - 958. Let u be (9 - 84/9)/(11/i). Which is smaller: u or 2?
u
Suppose -24 = -6*p, 681 = -5*a + 5*p - 119. Is a not equal to -151?
True
Suppose 3*s - 33 = 15. Suppose 4*z + s = -0. Let v be ((-400)/(-70) - z/14)/1. Which is smaller: 5 or v?
5
Let n = -17.18442 + 17.239. Does 2/7 = n?
False
Suppose -5*t = -22 - 58. Suppose p + 5*y - t = -2, 0 = 2*y + 10. Let v be -2 - ((3 - 4) + p). Is v > -41?
True
Let k be (1/(-3))/(156/72) + (-88)/104. Let x be (-129)/(-606)*(-57)/27. Let f = x - -1/202. Which is smaller: k or f?
k
Let z(p) = -p**2 + 8*p - 2. Let u be z(6). Let t be ((-4530)/(-120))/(2/(-8)). Let j = t - -160. Is j bigger th