 789/149759. Let t = q - -2066. Which is greater: -1 or t?
t
Let a be (-10)/(-4)*8/70. Let k = -301.516 + -11.534. Let j = -313 - k. Which is smaller: j or a?
j
Suppose 2*r + 234 = 15*r. Let o be r/(-126)*14/(-64). Which is bigger: -1 or o?
o
Let g be -439*(-2)/(-2)*8/(-8). Suppose -10*s - 2461 = g. Do s and -290 have the same value?
True
Let u(l) = -5*l**2 + 51*l + 492. Let c be u(-7). Is c bigger than -87?
False
Let b = 3.4 - 0.9. Let a = 132.4 + -130. Let i = a - b. Are 20 and i unequal?
True
Let x = 72 - 71.9. Let v = -35 + 56. Let h be (12/14)/2 - (-6)/v. Which is smaller: x or h?
x
Let p be 3 - (-43 + 14 + 2). Is p < 27?
False
Let k = -9479 + 9489. Let t be 1/1*-1 - -8. Let s = 5 + t. Which is smaller: k or s?
k
Let v = 37.72 + 1.28. Let s = v - 15. Is s at least as big as 2?
True
Let g be 784989/(-99) - (16/396 + (-2)/9). Is -7929 less than g?
False
Let p be 144991/(-147) + 5/(-3). Let b = p + 1003. Suppose -2*z + 31 + 3 = 0. Which is bigger: b or z?
z
Let z = -0.5165 - 0.1225. Let q = z - -0.37. Let b = q - 0.031. Which is bigger: b or -0.8?
b
Let s be 114/7*(-1 - -8). Let x be 3/6 - s/4. Let y = -2325.08 - -2323.08. Is y at most as big as x?
False
Let d = -140 - -139.9252. Let v = d + 34.9748. Let f = -35 + v. Which is smaller: f or -0.3?
-0.3
Let y(j) = 2*j + 7. Let m be y(7). Let a be m/(-1) - (-6)/(-6). Which is bigger: a or 1?
1
Let j = -36 - -52. Suppose j*a = 67 - 867. Let m be ((3 - 4) + 51)*4/(-4). Do m and a have the same value?
True
Suppose 31*c - 397 = 6. Suppose 2*a = -2*f - 6, -3*a - 3*f - c = -4*a. Which is smaller: 15/31 or a?
15/31
Let h(l) = l**3 + 14*l**2 - l - 14. Let a(z) = 2*z**2 + 12*z - 14. Let c = 12 + -18. Let s be a(c). Let v be h(s). Which is greater: v or 0.1?
0.1
Let i(s) = 19*s**2 - 14*s - 11. Let d be i(-1). Is 61 < d?
False
Suppose 0*p + p - 2 = 0. Suppose z - 3 = 1, -p*z = v - 34. Let y(a) = 2*a + 11. Let m be y(8). Is v bigger than m?
False
Let m = -7362 + 7335. Is m > -127?
True
Suppose -163 = 11*f - 174. Which is smaller: 12/841 or f?
12/841
Let k(s) = -2*s - 25. Let d be k(10). Let h be d/(-6)*-3*(-12)/45. Let p = 26 - h. Is p at most as big as 18?
False
Let r be (-5273)/(-5) + -1 - (-48)/(-24). Let c = -1028 + r. Which is greater: c or -1?
c
Let t be (9 + -8)/((-2)/2) - -5. Suppose 3*o = 5*o - y + 697, 1397 = -t*o + 3*y. Is -347 equal to o?
True
Let a = -10925 + 10973.3. Which is smaller: a or -0.13?
-0.13
Suppose 55 = -3*w + 2*c, -5*c = -9 - 16. Let v be (-69)/10 - ((-39)/w - 3). Let h = 225/34 + v. Is h bigger than -1?
True
Suppose 4*f = -4*l - 971 - 5, 4*l + 971 = f. Which is greater: -242 or l?
-242
Let h = 619 + -606. Let t be (-1)/2 + (295/30 - -3). Which is smaller: t or h?
t
Let y be 33/(-6)*(-184)/3542 - 528/(-14). Let a(q) = -3*q**3 - 3*q**2 + 5*q + 2. Let s be a(-3). Which is smaller: s or y?
y
Let a = -38 - -34. Let m be (-25)/a - (-28 - -34). Is m at least -88?
True
Let w = 9163/120 - -39/40. Let j(b) = 6*b + 172. Let n be j(-16). Which is smaller: n or w?
n
Let u = 0.4 - 0.3. Let k be 1 + 34 + -8 - 5/((-5)/6). Which is bigger: k or u?
k
Let v(i) be the third derivative of -i**6/120 + i**5/60 + 13*i**4/8 - i**3/6 - 4*i**2 - 15. Let r be v(6). Which is smaller: r or 1?
1
Let x = 6 - 20. Suppose 2168*j = 2187*j + 247. Does j = x?
False
Suppose 9*i = 6*i + 18. Suppose 8 = -2*x + i*x. Suppose 41 = 4*s - 3*r, r = 5*r - 4. Is x less than s?
True
Let q(y) = 3*y**2 + 4*y + 379. Let r(w) = -2*w**2 - 3*w - 253. Let t(p) = -5*q(p) - 7*r(p). Let z be t(-19). Is z at least -504?
True
Let z(o) be the second derivative of -o**4/12 + 5*o**3/6 - o**2 + 8*o. Let k be z(3). Suppose -m = -4*c - 63, -k*m - 6 = 14. Is c at least as big as -15?
False
Suppose 8*s + 15909 = 3*q + 12*s, -5*s - 26550 = -5*q. Is q at most 5307?
True
Let m(w) = -3*w**2 - 30*w - 42. Let p be m(-8). Let k(u) be the first derivative of -u**3/3 + 13*u**2/2 - 41*u - 1. Let x be k(p). Which is smaller: x or 20/9?
x
Suppose -191*g - 1771054 - 160147 = 0. Are g and -10111 equal?
True
Let g = -7181/2 + 3590. Is g less than 1539?
True
Let i be (274/1160 - 7/28)*(-6)/10. Are -1 and i nonequal?
True
Let b(y) = -1294*y + 2405. Let z be b(2). Is z not equal to -24?
True
Let t(m) = 2*m**3 - 8*m**2 - 32*m + 98. Let y be t(8). Is y < -6?
False
Let m = 11251/12768 + 10/399. Is m greater than 1?
False
Let d(t) = -t**3 + 17*t**2 - 142*t + 26. Let o be d(14). Which is smaller: o or -1375?
-1375
Let u = 7.4 + -6.4. Is -4/1501 at least u?
False
Let p(i) = i**3 + 11*i**2 + 9*i - 3. Let s be p(-10). Let j(b) = -b**3 + 6*b**2 + 7*b - 1. Let r be j(s). Let l be ((-32)/(-12) + (-6)/9)/(-2). Is l <= r?
True
Let k(r) = r**2 - 17*r - 14. Let u be k(17). Let z be u/(-7)*(2 + 12). Suppose 3*o - 81 = s, 5*o - 215 + 60 = -5*s. Is o greater than z?
False
Let c = 15 - 7. Let q = 21.613 + -1.613. Is c > q?
False
Let x be 155*5/(-15) + (-1)/3. Let q = x - -57. Suppose -2*a = 19 + q. Which is smaller: -1 or a?
a
Suppose -34*f = -30*f + 36. Let p(n) = -n**3 - 7*n**2 + 16*n - 17. Let a be p(f). Is -135 smaller than a?
True
Let u = -104218 + 1666951/16. Which is smaller: u or -35?
-35
Let y be ((-159)/(-212))/((-10)/42). Is -2 at most y?
False
Let l = 2488241/7806195044 + -2/823091. Is 0 <= l?
True
Let j be 72/198 - 6408/(-44). Which is smaller: j or 737/5?
j
Let y be 0 - (-42)/(-77) - (-124)/198*14. Which is smaller: y or -2?
-2
Let y(k) = k**2 + 7*k - 18. Let l be y(-9). Suppose l = 4*s - 209 + 5. Let a = -52 + s. Is 1/3 equal to a?
False
Suppose 0*b = -b + 5, 3*b = 4*f + 11. Suppose -4*t - 807 = 2989. Let p = t - -37009/39. Does p = f?
False
Let o = 78 + -92. Let d be (2 - (-9)/(-6)) + (-7)/o. Let l be (d/4)/(13/4). Is l greater than or equal to 1/4?
False
Let b be (19 - -545)*2/(-2). Let l be (-12)/(-8)*(-40)/b. Which is greater: 0 or l?
l
Let r(t) = 6*t + 4. Let m be r(4). Let p be 2 + -7 + 912/m + 1. Is 29 != p?
True
Let v = 615 - 11071/18. Which is smaller: v or 27?
v
Let u be (12/642)/(205/(-1804)). Is u at most as big as 0?
True
Let f = 11281 + -11281.0128. Which is smaller: 1/3 or f?
f
Let s = -886 + 795. Suppose 0 = -4*y - 5*d - 33, -10 = 3*d - d. Let l be y/7 + (-3 - 313/s). Which is bigger: 1 or l?
1
Let s = -4 - -8. Let g = -195.422 + 195.122. Is g bigger than s?
False
Let n be (-7 - (-3)/(-3)) + -1. Let j be ((-2)/(-4))/((-42)/n). Suppose 50*t = 6*t - 104*t + 148. Is t > j?
True
Let a(x) = -2*x**3 + 15*x**2 + 10*x - 11. Let s be a(8). Suppose s*m - 678 + 253 = 0. Is 85 at most as big as m?
True
Let w(n) be the third derivative of -n**6/120 + 23*n**5/60 + n**4/12 - 20*n**3/3 + 151*n**2. Let d be w(23). Do d and -2/27 have different values?
True
Let m(a) = -28*a + 9. Let b = 18 - 15. Let k be m(b). Let r = -56 - k. Which is smaller: r or 37/2?
37/2
Suppose -5*z - 6 + 1 = 0. Let y be (374/(-47))/2 - (2 + -6). Which is bigger: y or z?
y
Let u(a) = 86*a**2 + 1. Let s be u(1). Let h(w) = 3*w**2 + 138*w + 47. Let p be h(-45). Let b = s + p. Are b and -7/5 unequal?
True
Let d(u) = 37*u - 5 + 0 - u**2 - 11 - 1 + 0. Let o be d(12). Is o at most as big as 284?
True
Let c be (-2)/(-16) + 207/72. Suppose 5*g - 4*s - 17 = -0*g, -20 = -2*g - 5*s. Suppose j = -g*a + 1, a - 2*a = 1. Is c <= j?
True
Let a be ((-52)/(-104))/(12/(-9))*(-509)/(-3). Is -65 equal to a?
False
Let m(a) = a**2 + 6*a + 3. Let x be m(-7). Let k be 945/462*(-8)/x. Which is bigger: -3 or k?
k
Let h = 1043/1049388 + 1/1671. Let o be (10 - 488/48) + (-2)/(-12). Which is smaller: h or o?
o
Let y = -4661 + 4373. Which is greater: -5 or y?
-5
Let n = 3040 - 3101. Does -30 = n?
False
Suppose -38*m - 151 = -759. Which is bigger: 15 or m?
m
Suppose 68*v = -6 - 36 - 26. Let f be 8/(-732)*(-12)/(-44). Which is smaller: f or v?
v
Let n(b) = 129*b + 5684. Let v be n(-44). Suppose c = 5*m - 35, 3*c = 2*m + 2*c - 14. Is v < m?
False
Let q = 19/273 - -1/39. Let m = q - 52/105. Let l = -27/80 - m. Is l smaller than 0?
False
Suppose -370*d + 371*d - 1091 = 3*q, -d - 3*q = -1097. Which is bigger: d or 1095?
1095
Suppose 18 = -3*d, -u + 29*d - 32*d - 382 = 0. Which is bigger: -371 or u?
u
Let d = -35 + -242. Let n be (5263 - -1)/(3 - 22). Let z = d - n. Which is smaller: z or 1?
z
Suppose 6*c + 54 = 5*c - 3*u, 4*u = 4. Let f = 41 + c. Is f greater than or equal to -16?
True
Let t = 1.9 + 29.1. Let j be 438/(-73) + (-