igger: 4 or q?
4
Let t = -423.5 + 523.5. Is 13 at least as big as t?
False
Let j = 28102 + -1488868/53. Are j and 10 equal?
False
Let a be (18252/268 - 1)*18/(-4). Let d be (2114/(-35))/((-2)/(-10)). Let k = a - d. Which is bigger: k or 1?
1
Let y be (-34)/(-6)*14/21*-63. Let s = -237 - y. Let n = -21 + 15. Which is greater: n or s?
s
Suppose 12*r + 4*t = 7*r + 162, t + 70 = 2*r. Suppose -3*v + 5*x = -139, -43*v = -38*v - 2*x - 200. Which is smaller: r or v?
r
Let v be 0/(-6)*(16/(-8) - -3). Which is greater: v or -5/22?
v
Let x be 3/((-9)/52629) - -1. Let i be (42/x)/(2/(-14)). Is 1 > i?
True
Let r(t) = -t**2 - 6*t + 8. Let x be r(-6). Suppose 2*w - 3*i = x, -5*w + i - 4*i = -41. Let h be (-2)/3*(-2)/w. Is h not equal to 1?
True
Let c(b) = 9*b - 10. Let s be c(7). Suppose -r + 260 = 5*a, 2*r + 222 = 1473*a - 1469*a. Do s and a have the same value?
True
Let m = 20084 - 20039. Are 401/9 and m nonequal?
True
Let q = 2245649/1691 - 1328. Let h = -86245/6764 + q. Is h not equal to -12?
True
Let m(u) be the second derivative of u**4/12 - u**3/2 + 3*u**2/2 - 53*u. Let q be m(2). Is 1/129 at least q?
False
Suppose -3*z + 131 = -40. Let m = z + -35. Suppose 5*x - 106 = -4*y + 16, 2*y = -3*x + 64. Is y > m?
True
Suppose 5*q + 4*q - 1314 = 0. Let r = q + -55. Let b be 2/(52/(-22)) + (-14)/r. Which is smaller: b or -7?
-7
Let w = 24249 + -24366. Which is smaller: 0.062 or w?
w
Let x = 55 - 38. Suppose -3*v + 7 = -r, -7*v = -2*v + r - x. Let o = 43429 - 43432. Is v < o?
False
Suppose 4*i + 666 - 1694 = 0. Suppose 10 = 5*v + w - i, 0 = -v + 5*w + 69. Which is smaller: -2 or v?
-2
Let o be 5945/(-3964) + (3/(-20))/(49/(-490)). Is o at least as big as -0.2?
True
Let c be 2/(2*1)*3487/(-76501293). Which is smaller: 0 or c?
c
Let d be 2/381*-90*(-9)/12. Is d at most as big as 0?
False
Suppose -2*s + 4*t + 72 = 0, s - 5*s - 2*t + 124 = 0. Suppose 0 = -2*h - 4*w + s, 108 = 5*h + 2*w - 12. Let x = 107/4 - h. Is x less than 1?
True
Let y = 731 - 786. Let b(i) = i**3 + 6*i**2 + 17*i + 7. Let s be b(-5). Is s not equal to y?
True
Let d(z) = 32*z + 1791. Let r be d(-56). Is -2/99 smaller than r?
False
Let f be (((-11)/(-77))/1)/((-2)/14). Let t = 2061 + -26808/13. Are t and f non-equal?
True
Let u = 30526 + -30520. Which is smaller: 321/67 or u?
321/67
Suppose -5*k + 3*v - 3788 = 0, 14*k - 3*v = 13*k - 760. Which is greater: -758 or k?
k
Let k be (-56)/((-378)/(-27))*(2 - 4). Which is greater: -39/4 or k?
k
Let p = -54 - -67. Suppose 46 = 11*b - p*b. Let w = -22 - b. Which is smaller: w or -1/9?
-1/9
Suppose 12*g - 11*g = -5*y - 3971, -2*y - 19993 = 5*g. Is -4003 < g?
True
Let w = -0.0726 - -0.0549. Let q = 0.1823 - w. Is q not equal to 1/4?
True
Let c = 2101 + -2102. Which is smaller: -5672 or c?
-5672
Let x(h) = h**2 + 5*h - 31. Let n be x(-9). Suppose n*g - 20 = 3*l - 159, 2*l - 3*g - 93 = 0. Is l < 48?
False
Suppose -288 = 62*b - 66*b. Let l = b + -75. Do -16/7 and l have the same value?
False
Let d be -289 - ((-4)/(-16))/(1/4). Let k = d + 331. Which is smaller: -1 or k?
-1
Suppose -3*l = 4*u - 215, -3*l + 224 = 10*u - 15*u. Is l smaller than 46?
False
Let l = 30166 + -91900/3. Which is smaller: l or -468?
-468
Let j(l) = -37*l - 443. Let n be j(-12). Which is smaller: -24/65 or n?
-24/65
Let k be (-14706)/(-39) - 1/13. Which is bigger: 381 or k?
381
Let n be (-3547)/(-73554) + 146/(-2993). Is 0 smaller than n?
False
Suppose 2*o + 31 = a, -3*a + 43 = -3*o + 4. Let j = 1 - o. Are -0.2 and j nonequal?
True
Let a be (-636)/(-15) + 10/(-25). Let i be a - 1 - ((-56)/7 + 9). Do 39 and i have different values?
True
Let a = 32385.9 + -32389. Which is bigger: 1.18 or a?
1.18
Let r be (1 - 6)/(2*5/(-30)). Suppose -r*c + 10 = -13*c. Suppose -3*l + 5*l = 2*k + 134, -3*k - 325 = -c*l. Are l and 63 equal?
False
Let r = 54 + -37. Let y = r + -16. Let z be (-2)/5 + 649/385 - 1. Which is smaller: y or z?
z
Suppose 0 = 4*r - g + 52, -2*g = -3*r - 19 - 25. Let k be (15/(-75) + r/(-10))*-1. Let q be (-128)/160*((-1218)/604 - -2). Which is greater: k or q?
q
Suppose -11 - 63 = -c. Let d be c/2 + 2 + (-1 - 1). Do d and 34 have the same value?
False
Let p = 729 - 605.8. Let w = p - 82.1. Let d = w + -41. Is 28 <= d?
False
Let z = -838 + 837.056. Let r = z + 1.944. Are -153 and r equal?
False
Let x(k) = -8*k - 109. Let l be x(-15). Suppose -6*b + l - 5 = 0. Which is smaller: -2/35 or b?
-2/35
Let h = 3141 + -3140.92. Which is smaller: 65/2 or h?
h
Let y be 357816/32528 + -6 - 5. Is y at least 1?
False
Let y be (1413/(-6))/(0 + (-15)/25). Which is smaller: 392 or y?
392
Let g(l) be the first derivative of -l**3/3 + 17*l**2/2 + 18*l + 13. Suppose -v = -2*o + 7*o + 2, -3*v - 2*o = -46. Let b be g(v). Which is smaller: b or 5/8?
b
Let p = -0.078 - 3.882. Let w = 4 + p. Let o = 165.8 + -166.8. Is o not equal to w?
True
Let f be 2 + (-52)/8*-2. Let i(o) = -o**2 + 11*o + 61. Let d be i(f). Let h be (-45)/(-25) + (3 - 4). Which is smaller: d or h?
h
Let p be (-2 - 10)*(-200)/(-32). Let y be (-6*(-4)/63)/(5/p). Which is smaller: -5 or y?
y
Let d be (-75)/(2 + (-21)/6). Let s(x) = -2*x**2 + 57*x - 21. Let q be s(29). Let n = d + q. Which is bigger: n or -8/7?
n
Let f be (6/(-18) - -1) + (-683086)/3102. Let b = f + 2415/11. Let a = b + 1004/7755. Which is bigger: a or 8/9?
8/9
Let y = 52959513 + -35535821665/671. Let o = -192/11 + y. Which is bigger: 1 or o?
1
Let i = 7747.3 - 7306. Let m = 402 - i. Let k = m + 39. Is 0 at most k?
False
Suppose 3*h - 834 = 2*s, -4*s + 58*h - 53*h - 1666 = 0. Let b be (5 - 6/1)*413. Which is smaller: s or b?
s
Suppose -6*a + 2*a = 4. Let p be a + (1 - 2) - (25 + -41). Let x be (-2)/p - (-864)/21. Are 42 and x unequal?
True
Let b = 1.1 + -0.1. Let g = 0 - b. Let l = -122224.39 + 122224. Which is smaller: l or g?
g
Suppose -3553 + 1776 = 22*d - 1777. Let a be (11/2)/(26/4). Is d less than or equal to a?
True
Suppose -2*t = -4*c + 916, -c - 2213 = 38*t - 33*t. Is -441 at most t?
False
Let l = -226110 - -1127011/5. Which is smaller: l or -709?
-709
Suppose -2*m + 7*m = 17*m. Let l = 54205/51 + -1063. Is m greater than or equal to l?
True
Let a be (-14)/(-7)*4*3497/65. Which is bigger: 431 or a?
431
Suppose -4 = j, 2*t + 5*j - 30 = 24. Suppose t*w + 18*w = 770. Is 2 less than w?
True
Let u(s) = s**2 + 10*s - 32. Let f be u(6). Suppose 0 = 4*z + f + 16. Let v = z + 21. Which is smaller: 4/21 or v?
4/21
Let p = -14181 - -12228. Is p not equal to -1952?
True
Let u be -4*-3*1/(-6). Let j be (137 + 1)*1/u. Is -69 at most j?
True
Let r = 2.7197 + -2.8. Is r smaller than 2/3?
True
Let d = 730 + -690. Let a be 612/210*35/d. Which is smaller: a or 4?
a
Let h = -213 + 193. Let o = h + 20. Which is greater: o or 6/11?
6/11
Let c(y) = 39*y + 2592. Let a be c(31). Which is greater: a or 3800?
a
Let k(y) = y**2 - 53*y + 673. Let l be k(21). Which is smaller: 2/1355 or l?
2/1355
Suppose -3*w = 23*w - 104. Suppose -w*k - x = -93, 12*k - 8*k - 91 = x. Is 27 < k?
False
Suppose -45*z - 187422 - 330214 = 31*z. Is 0 != z?
True
Suppose -38*r = 358 - 5754. Is 141 less than or equal to r?
True
Let f = -8 - -50. Suppose -3*s + 123 = -f. Let w be ((-44)/(-4) + 572/(-55))*90. Which is bigger: w or s?
s
Let b(l) = -15*l**3 + l**2 + 7*l + 6. Let o be b(-1). Let y = -18 - -78. Suppose -32 = -4*m - 5*x, -4*m + 3*x + y = x. Is o equal to m?
False
Let t be (-76)/6 + 3/(-9) - -1. Let h = t - -13. Which is smaller: h or 8?
h
Let o(h) = 38*h + 1104. Let j be o(-26). Which is smaller: j or 117?
j
Let x = 548 - 1436. Let h = 57724/65 + x. Suppose -201 + 84 = 117*p. Which is smaller: h or p?
p
Let y(g) = 4*g**2 + 3*g. Let v be y(1). Let i be -121 + (20 + 1)/v. Are -1 and i equal?
False
Let p = -9/8624 + -17337/1095248. Let o = p - -45735/889. Is o smaller than 52?
True
Let s = -0.2445 - 0.0555. Let a = -13 + 8. Let g = 0 - a. Is g at most as big as s?
False
Let t = -0.30131 + 0.41191. Which is smaller: -8 or t?
-8
Suppose -20*r + 17*r - 60 = 0. Let o be (2 - 17)/3*(-876)/r. Is 1 <= o?
False
Let q = -3576460477/6958402 - 1/1265164. Let k = q + 514. Let w = -3 + 2. Which is smaller: w or k?
w
Suppose -56 = -4*p - 4*n, 4*n + 24 = 12*p - 8*p. Let u be 0 - 1 - (p*-8)/(-8). Suppose -28 = m - 3*i, 3*i + 2 - 4 = -m. Is u bigger than m?
True
Let v = 47 + -20. Let m be (-10)/(-16)*11/((-605)/(-22)). Is m > v?
Fa