Let a be (-264)/(-30) + (-2)/(-10). Suppose 3*k = -3*h + 2*h + a, 4*k = h - 44. Are -1 and h equal?
False
Let y be (-3)/(1/((-2)/2)). Let x be 8*((-10)/4 - -3) + 0. Suppose -12*o = -52 + x. Is y at most as big as o?
True
Let v be (110/(-880))/(1/4). Is v less than -4864?
False
Let s = -33043/7 - -4729. Suppose 5 = -5*g + 75. Suppose g*o - 144 = -2*o. Which is greater: s or o?
o
Let m(v) = v**2 - 10*v + 18. Let a be m(11). Suppose 0 = 4*w + 225 - a. Let l = w + 50. Which is smaller: 8/9 or l?
8/9
Let w(i) = i**3 - 3*i**2 + 1. Let f be w(1). Let p be (68/(-3)*f)/(2650/(-105225)). Let d = -900 - p. Is d > -1?
True
Let p = -6342 - -126869/20. Let l = 19/20 - p. Which is smaller: l or 197?
l
Let n = 414 + -411. Suppose 0 = -2*w + w - 4*x + 22, -5*x + 38 = n*w. Which is greater: w or 37/6?
37/6
Let t = 41408 - 44975. Which is bigger: 0.03 or t?
0.03
Let d = -3605 - -4244. Is d greater than or equal to 635?
True
Let p(k) = -355*k + 11041. Let w be p(30). Do w and 395 have the same value?
False
Let r = -5431 + 5430. Which is smaller: -74/203 or r?
r
Suppose 5460 = u - 19*x, -41095 + 13595 = -5*u - 5*x. Is u less than 5497?
False
Suppose -4*m + 61 = 201. Let q = 32 + m. Let f be 6/(((-16)/q)/(-1)). Which is smaller: -2 or f?
-2
Let y be 2/6*(-3)/(-2). Let m = -8.13 + 1003.13. Let h = 934 - m. Which is bigger: h or y?
y
Let g(o) be the second derivative of -27*o**3 - 11*o**2 + 7*o. Let z be g(4). Let m = z - -27466/41. Which is bigger: 0 or m?
0
Let c = 26835 - 26834. Is -41.94 at least c?
False
Let u = 12220 - 6563. Let d = -944713/167 + u. Are d and -1 unequal?
True
Let i(j) = -j + 7. Let p be i(-5). Let n = p + 9. Let t(r) = 3*r + 6. Let c be t(5). Is n less than c?
False
Let k be ((-1)/2)/(6/36). Let z be 1*(k - 1 - -3). Let n(s) = s**2 + 23*s + 21. Let g be n(-22). Is z less than g?
False
Let p = -651/405428 + -2/1283. Is 0 equal to p?
False
Let z = 0.702 - 0.112. Let q = -0.69 + z. Is -36/7 <= q?
True
Suppose 2*p + 3*p - 10 = 0. Let r(b) = -3*b**3 - b**2 - 3. Let k be r(p). Let n(o) = o**3 - 10*o**2 - 51*o + 291. Let c be n(12). Which is smaller: k or c?
c
Suppose -6*q - 97 = -127. Suppose -2*j + 5 = 5*f + 1, -f - q*j = -10. Is f at most as big as 2/385?
True
Let z(i) be the first derivative of -i**7/840 + i**6/15 + 5*i**4/24 - 17*i**3/3 - 15. Let p(q) be the third derivative of z(q). Let k be p(24). Is k >= 50/9?
False
Suppose 37*g + 4453 - 51443 = 0. Which is greater: g or -2?
g
Let a be 192/90 - 6/45. Suppose -5*z + h + 30 = 0, -a*h + 6 + 6 = 2*z. Is z at least as big as 9?
False
Let s = 4311 - 4329. Is s < -197/11?
True
Let y(v) = -31*v**3 - v**2 + 2*v + 1. Let a be y(-2). Let r = a - 241. Which is bigger: r or -2/1153?
r
Let w be ((-6)/(-4))/((-6)/(-56)). Let f = -4744 - -4749. Let k = f + w. Which is bigger: k or 21?
21
Suppose -a + 3292 = -2*j, 5*j = -5*a - 3053 - 5177. Is -4940/3 < j?
True
Suppose -p = 2*a - 31 + 41, -2*a = -4*p + 10. Which is bigger: 1/1203 or p?
1/1203
Let l(s) = s**2 + s + 14. Let c be l(-13). Let r = c - 161. Which is greater: r or 10?
10
Suppose 0 = 43*c - 29*c. Which is bigger: 4/4227 or c?
4/4227
Let q(y) = y + 50. Let j be 3/(-6)*(7 + -15). Let f = j - -19. Let i be q(f). Is i smaller than 0?
False
Let t = -243.982 - -245. Let k = -5.018 - -5. Let n = k + t. Is -1/8 smaller than n?
True
Let u be ((-15)/(-5) - (-2981)/(-995))/((-36)/4230). Does 0 = u?
False
Let c = -1 - -1. Let t = -37.95 - -37. Let f = -0.84 - t. Which is smaller: c or f?
c
Let w = 27 - 28. Let o be ((-2176)/679)/w - 2. Let y = o + -6/97. Does y = 0.1?
False
Let b be -5 - (765393972/(-68061) - (-2)/(-7)). Let n = 11241 - b. Which is smaller: n or 0?
0
Let d = -22672/3 + 7490. Let y(q) = -2*q**2 - 15*q + 11. Let c be y(-11). Is c < d?
False
Let l(d) = 222*d + 8069. Let x be l(-36). Is x equal to -105?
False
Let o = 81.82 - 76.36. Is o >= -3?
True
Let t = 32 - 32. Suppose 4*q + 2*p = -t*p - 138, -p = -q - 33. Let u(k) = -11*k. Let n be u(3). Is q at most n?
True
Let t = -72 + 71. Let g be 0*((-4)/12)/t*1. Is -1/6 <= g?
True
Let s = 1.194 + -0.594. Let x = 7.7 + -8. Let f = x + -0.3. Is f >= s?
False
Let g = -0.8331 + 486.8331. Which is smaller: 1/4 or g?
1/4
Let y(k) = 2*k - 7. Let z be y(5). Suppose 2*g - 7 - 7 = -z*r, -2*r + 10 = 2*g. Let s = -1769 + 1753. Which is bigger: s or g?
g
Let o = -0.04818 - 3006.95182. Which is greater: 0.1 or o?
0.1
Suppose 36 = 5*z + 61. Let j(l) = l**2 - 2*l - 33. Let t be j(z). Do t and 2 have the same value?
True
Let w(k) = -26*k - 45. Let y be w(-2). Which is greater: y or 116/15?
116/15
Let n be (43/(-7) + 7)/(6/28). Suppose 0 = -2*w - 5*m + 19, 0*w + 4*m = n*w - 80. Let s be 1/(w/(-2) + -3). Which is smaller: 0 or s?
s
Suppose -6*a + 32 = -5*a. Let p = -30 + a. Let i be (-1 - -21)*p/(-12)*3. Which is smaller: -13 or i?
-13
Let l(m) = 228*m**2 - 64*m + 12. Let s be l(-5). Is s less than 6032?
False
Let g = 46.85 - 25.85. Let z = -54 - -32.9. Let c = g + z. Which is greater: 17 or c?
17
Let s be ((-1742766)/61380)/(-71) + (-2)/5. Which is greater: s or 0?
0
Let o be 10/15 - (-43)/3. Suppose o*g - 22 = 4*g. Suppose -23*d = -21*d + g. Is d greater than -3/28?
False
Suppose 119*h = -129*h + 240*h + 3312. Is h bigger than 414?
False
Let l = 44708416/12309 + -39954/11. Are 1 and l nonequal?
True
Let j(d) = 17*d + 119. Let m be j(-11). Which is smaller: -63 or m?
m
Suppose 0 = -6*t + 69 - 123. Let q(c) = -c**2 - 12*c - 37. Let k be q(t). Which is smaller: k or -13?
-13
Let i = -145.2693 + -0.7307. Which is smaller: 4 or i?
i
Suppose 5*n - y + 40 = 2*n, 5*y + 4 = -2*n. Suppose 0 = 23*u + 51 + 18. Is u >= n?
True
Let l = 34479 - 13308887/386. Which is smaller: -1 or l?
-1
Let p = 540 - 495. Let f = p - 98. Is f bigger than -55?
True
Let s(u) = -u**3 - 7*u**2 + 10*u - 9. Let j be (-4)/((3/(-1))/(-6)). Let n be s(j). Let a be ((-80)/n + -4)/((-2)/(-70)). Is a less than -29?
False
Suppose -17*a - 58127 = 95604. Which is bigger: 1 or a?
1
Let r = -7 + -6. Let g(l) be the first derivative of -l**2 + 2*l + 69. Let y be g(r). Which is greater: 27 or y?
y
Let f = -93.12 + 60.4. Let q = f + -7.28. Which is smaller: q or 1?
q
Let i(d) = -10*d - 4. Let f be i(-3). Let y be ((-88)/(-3) - 0) + -4. Let r = y - f. Are 0 and r equal?
False
Suppose -56 = 8*k - 0*k. Let m be 6/k*(-280)/30. Let j be (-10)/15*(-156)/m. Is 13 != j?
False
Let s = -11774 + 11774.7. Which is greater: 869 or s?
869
Let g(x) = 22*x**2 + 38*x**3 + 5*x - 26*x - 2 - 39*x**3 + 5. Let h be g(21). Which is smaller: h or 7/4?
7/4
Let f be 2 + (-2 + 12 - -483). Which is greater: f or 494?
f
Suppose -342 - 422 = -2*i. Suppose 72 - i = 10*g. Let q = g + 33. Is q at least as big as 7/4?
True
Let c = -1949/4 - -489211/1004. Which is greater: c or 1?
1
Suppose -5*g = 2*v - 0*v + 888, -3*g - 529 = 5*v. Let j = -7 + g. Let w = 922/5 + j. Which is smaller: -1 or w?
-1
Suppose -709 = -5*h + 356. Let a be 2/((-1)/(-5 - (-1068)/h)). Suppose c + 2*w + 10 = 0, -4*c - 5*w - 17 - 8 = 0. Which is greater: a or c?
c
Suppose 411*p - 4933528 = 41*p + 17*p. Are p and 13976 nonequal?
False
Let s = -475 - -478. Let n(j) = 113*j - 89. Let b be n(s). Do b and 251 have the same value?
False
Let a(h) = h**3 - 11*h**2 + 14*h - 98. Let d be a(9). Let j = d + 442. Are 307 and j equal?
False
Let p be (-2 - 12/(-8))*6. Let o be 10/p*(-5)/(20/(-6)). Let d(n) = 2*n**3 + 3*n**2 + n - 1. Let j be d(-2). Are j and o non-equal?
True
Let w = 508 - 496. Let g be (w/(-5))/(198/(-1320)). Is g at most as big as 10?
False
Let b = 2261 + -2103. Is b < 158?
False
Let y be 1*-1067*(2 + -1). Let w = y + 1066. Let b be 2/(-4) - 2/8. Does w = b?
False
Let v = 241/3 - 8504/105. Is v >= -2?
True
Suppose 0 = -5*a + 18 + 7. Suppose -1194 = a*z + 41. Are z and -246 equal?
False
Let q = -111032 - -1555177/14. Which is smaller: 52 or q?
52
Let q be (-10)/(-6)*(-2 - (3 + 106)). Let l = 443 + q. Are 258 and l equal?
True
Suppose -1 = -2*f + f. Suppose -t = 2*t - 5*i + 471, t + 157 = i. Let x = 158 + t. Are f and x equal?
True
Let v = -1 - -1. Let o(f) = -45*f + 78. Let s be o(10). Let j be s/(-1155) + (-11)/((-154)/(-4)). Is j less than v?
False
Let c be 2/(-524) + 2 + -2. Suppose -5*k = -4*z - 125 + 179, -5*k = 50. Which is greater: c or z?
z
Let g = 0.2996 + -0.2996. Let m = 15.2 - 14. Which is smaller: m or g?
g
Suppose -