719 + -1.619. Let o = z + -74. Which is greater: c or o?
o
Let o be 4 - 7 - 30/(-9). Let x = -298/255 + 21/17. Which is bigger: x or o?
o
Let n be 195*(-25 - -16)*12/70. Is n <= -302?
False
Let k be (-9)/((-189)/(-623))*(-1098)/6. Is 0 bigger than k?
False
Suppose -5*n + 5350 + 1805 = 0. Let k = 75845/53 - n. Suppose -4*z + 7 = 3*z. Is z at most k?
False
Let h = 66.1 - 337.1. Let p = h - -270. Which is smaller: -38 or p?
-38
Let n = -766 + 769. Suppose -5*q = -4*q - 2. Let j be (-6)/q - (-13 - -5). Which is greater: j or n?
j
Let x = 33655/110166 + -37/122. Suppose -332*y + 5*f - 33 = -334*y, 4*y = -3*f + 17. Is y < x?
True
Let s = -279127 - -279127. Let q be 114/(-112) - -2 - 1. Is q not equal to s?
True
Let q = -61.145 - -0.145. Let m = -73 - q. Let p = -0.4 + 0.3. Is p smaller than m?
False
Let m = -0.42 + -23.58. Let r = 40 + -63. Let y = m - r. Do y and 2 have the same value?
False
Let o be ((-32)/(-16))/((5/14)/5). Let x = -10 - -64. Let w = -26 + x. Is w at least o?
True
Let m be 190*(1604/146 + -11). Are m and -4 equal?
False
Suppose -2*c = -4*h - 8, 3*h = 5*c + 7 + 1. Let j be 2/5 - (24069/426)/(9 + 1). Which is smaller: c or j?
j
Suppose 0 = p + 8 - 9. Suppose -v - 3*v + p = -l, l = -5. Which is smaller: -6/11 or v?
v
Suppose -118 = 14*a - 1686. Let v = a - -93. Is 205 less than or equal to v?
True
Let u(h) = 175*h + 735. Let c be u(7). Is 1959 at most as big as c?
True
Suppose -10*x = -6*x - 8. Suppose 13 = x*r + 15. Let i be (17 + -16)*1*r*2. Which is smaller: i or -7?
-7
Let a = 1571/18 + -179/2. Suppose 4*d - 5*u + 46 = 11, -d - 2 = u. Let b be 1*(-3 - d - 3). Which is bigger: a or b?
b
Let j = 569.2 - 610. Let d = -43 - -2. Let z = d - j. Which is smaller: -18 or z?
-18
Let b = 88813/27427470 + 1/29910. Which is smaller: 0 or b?
0
Let x = -10/337 - -1824/38755. Let o = -0.2 + 0. Let g = o + 0.3. Which is bigger: x or g?
g
Suppose 273 = 4*n + 5*g, g = 5*n - 419 + 56. Suppose -67*w = -n*w. Is w equal to -2/627?
False
Let d(w) = w**3 + 7*w**2 - 121*w - 49. Let q be d(-15). Which is smaller: q or -36?
-36
Let c be -2 - 1 - (-490)/164. Let w(o) = -o**3 - 4*o**2 - 5*o - 7. Let q be ((-6)/9 - 4/(-6)) + -3. Let d be w(q). Is c greater than d?
True
Let x = -24.707 + 24.3. Let s = 86.407 + x. Is s greater than 1/2?
True
Suppose 6 + 2 = t. Let l be -62*(12/t)/(-3). Let j be 32*(-18)/(-24) - -8. Which is smaller: l or j?
l
Let a be (-2)/136*(-5 + (-11)/(-33))*33. Is a > -2/5?
True
Let d = 148 + -76. Let t = 67.3 - d. Let b = t + 1.7. Is -1/3 <= b?
False
Suppose -200*z - 199*z = -411*z. Is z smaller than 2/19681?
True
Let f be (-1365)/9 + (-1)/3. Suppose 7 = y + 4. Let o be f/(-12)*y/10. Is o equal to 3?
False
Suppose 0 = 3*z - 3*l - 18, -3*z + 297*l - 295*l = -11. Which is smaller: z or 4/2863?
z
Let g be (17/3)/((-1)/(-33)). Let s(h) = h**3 + 19*h**2 - 61*h - 395. Let a be s(-21). Suppose -13*n - g = a*n. Do -13 and n have the same value?
False
Let d = 3882.2 + -3897.6. Which is smaller: d or 7?
d
Let y(r) = r + 6. Let n be y(-12). Let i(t) = -t**2 + 5*t + 11. Let b be i(n). Let o be -1 - b/20*-4. Are o and -11 equal?
False
Let j be (-6771)/(-122)*(-6)/(3 - 2). Is j > 15?
False
Let m(b) = 1428*b - 324. Let j be m(-6). Which is smaller: -8893 or j?
-8893
Suppose -5*b + j - 7 = 42, -19 = 2*b - j. Let y be 207/15 + 4 + (-2)/b. Suppose -6*c = -15*c + y. Which is smaller: c or 1/2?
1/2
Let h = 20 - 20.1. Let w = -123.758 + -0.242. Let q = 94 + w. Which is smaller: h or q?
q
Let v = -9.271 + 0.171. Let x = v + -60.9. Let r = x - -68. Which is smaller: 3 or r?
r
Let f = 44.42 + 0.58. Let r = f - 45. Suppose -6*i = -2*i - 84. Which is smaller: i or r?
r
Let x(c) = -c + 18. Let n be x(16). Let r(q) = q**n - 3 - 992*q + 992*q. Let b be r(2). Which is smaller: b or 1/21?
1/21
Let m = -459 - -372. Let d be 2/((-10)/(-7))*(-5)/m. Which is greater: 0 or d?
d
Let p be 228/9*(-6)/4. Suppose -106*u + 1597 - 4989 = 0. Is p greater than or equal to u?
False
Let h(c) = 27*c**2 + 5*c + 4. Suppose -4 = -4*q + 4*d, -9*q = -10*q - 3*d + 5. Let f be h(q). Is f > 120?
True
Suppose -8 = 2*d - 2*u, 4*d - 319*u + 314*u = -25. Which is smaller: 394/77 or d?
d
Suppose 4 = -4*p + 4*c, -2*c + 39 = 37. Which is greater: p or 3/3091?
3/3091
Let t = 59/1070 + 31/214. Which is bigger: t or -14/1117?
t
Let x(m) = 2109*m + 6544. Let r be x(-5). Which is smaller: r or 0?
r
Let v = 1220.7 + -1282. Let o = -62 - v. Which is smaller: o or -0.03?
o
Let s(l) = -64*l + 1428. Let y be s(18). Is 274 bigger than y?
False
Let v = -41 + 41.2. Suppose -4*g - 2 = -22. Let a be -2*((-4)/(-2) + g/(-6)). Does a = v?
False
Let a(j) be the first derivative of -35*j**2/2 + 9*j + 24. Let p be a(-3). Let v = p + -123. Is -37/4 <= v?
True
Let s be (-2)/8*(-44)/(-6). Suppose -4*p + 116*z + 9 = 117*z, 5*z = 4*p + 21. Let o be 1/(p - (-4)/(-3))*1. Which is smaller: o or s?
o
Let p = 1187902/197 + -6030. Is p greater than or equal to 0?
False
Let r(z) = -10 - 3 - z**2 + 8 - 10*z. Let i be r(-9). Suppose s + 3*b = -2, s = -2*s + i*b + 7. Which is bigger: -1/155 or s?
s
Let v = 4809 - 4776. Is v < -30?
False
Let k = -63 - -65. Suppose 3*m - 35 = 2*q - k*m, 4*q + m + 103 = 0. Let s(x) = -24*x**2 - x - 1. Let o be s(-1). Is q != o?
True
Let j be ((10/3 - 2) + -2)*-132. Suppose 2*b - 18 = c + 17, -4*b - 4*c = -j. Let u(h) = 2*h**2 - 2. Let v be u(3). Which is greater: b or v?
b
Suppose 4*c - 2 = -38. Let l be ((-33)/c)/11 - (-78)/9. Which is bigger: l or 8?
l
Let i(r) = r**3 - 12*r**2 + 11*r - 14. Let j be i(11). Let o be (-1195)/(-15)*(-12 - -3)/3. Let x = o + 226. Which is greater: x or j?
x
Suppose 497*u + 5547 = 473*u - 15261. Are u and -873 equal?
False
Let z(g) = 125*g - 860. Let w be z(9). Which is smaller: 255 or w?
255
Let w(q) = q**3 - 18*q**2 + 51*q - 27. Let y be w(5). Which is greater: y or -96?
-96
Let m be -50*((-36)/84 + 27/14). Let w = 159 + m. Suppose -4*g + 7*g = w. Is 28 at least as big as g?
True
Let f be 2/132*(-1 + 30). Let r = -3/11 + f. Is r >= -11?
True
Let g be (8/(-10))/((7414/(-55) - -6) + 6). Suppose 7 = 2*r + 7. Do r and g have the same value?
False
Let o(m) = m**3 + 10*m**2 + 5*m + 87. Let g be o(-11). Which is smaller: -93 or g?
-93
Suppose -13*z + 28 = -20*z. Let d be 2/(-24)*4*z. Which is smaller: 14 or d?
d
Let o = 6292 + -6291.94. Let j(a) = -a - 5. Let p be j(-4). Is p >= o?
False
Let c(q) = 52*q - 120. Let l be c(10). Let h = l - 278. Which is smaller: h or 121?
121
Let o = 4531 - 4536. Is -44 greater than or equal to o?
False
Let k be -2 - 8/6*9/(-6). Suppose k = m + 24 - 27. Let f be m*(-2)/12*20/35. Does f = -6/5?
False
Let o = -161/78 + 123887/59982. Is o < -1?
False
Let r = -7.17 + 7. Let t = 0.1655 + 0.2645. Let b = t - r. Which is smaller: 0.2 or b?
0.2
Suppose 33*n = 50*n. Which is bigger: 3/7439 or n?
3/7439
Let d = 209/50 + -2/25. Let l be 1 + 2/(-20)*-23. Let m = l - d. Which is smaller: m or -15?
-15
Let n(g) = -2*g**3 - 121*g**2 - 117*g - 59. Let x be n(-59). Is -3599 equal to x?
True
Suppose -43*y - g = -38*y + 526, -4*y - 436 = -3*g. Is -40 smaller than y?
False
Let t be (-1098)/28 + (-108)/(-189). Let b = t - -35967/938. Which is greater: 1 or b?
1
Let n = -1339 - -1286. Let w(f) = -2*f**2 - 15*f + 13. Let m be w(-8). Suppose -3*t = 3*o + 153, -m*o - 26 = -4*t + 247. Is o equal to n?
True
Let j be (19 + (-1768)/91)/((-6)/(-4)). Is j <= 40/3?
True
Let q = -25.06 - -25. Let g = q - -0.06. Let k be (8/(-10))/(738/(-150) + 5). Which is greater: g or k?
g
Let i = 56 + -24. Let p(a) = 6*a - 15. Let g be p(3). Suppose -g*b + 111 = -3*y, 4*b - y - 2*y = 143. Is b smaller than i?
False
Let r = 27832 - 27832.411. Is -1/19 at most as big as r?
False
Let t = -4877 + 4876. Are t and 7/283 nonequal?
True
Let p = 47/96 + -287/96. Is -32 at least as big as p?
False
Let n be ((-26)/4 + 3)/((-7)/14). Let r = 22/3 - n. Is -6/49 at least r?
False
Let n(p) = -29*p + 2. Let h(u) = -222*u + 15. Let y(s) = -2*h(s) + 15*n(s). Let v(z) = -z**2 - 5*z + 8. Let x be v(-6). Let d be y(x). Is d greater than 18?
False
Let r = 2363.98 - 2364. Which is smaller: 0.087 or r?
r
Suppose 0 = 5*k - 2 + 7. Let w(n) = -n**2 + n - 1. Let u be w(k). Let t be 2/(-8) - (-45)/(-18). Is u != t?
True
Suppose -507*i = -519*i + 12. Which is smaller: i or -110?
-110
Let g = 16858 + -16811. Which is sm