k
Let a = -9.6 - 1.4. Let n = 26 - a. Let t = n + -36. Which is smaller: 0.3 or t?
0.3
Let i be (12/10)/((-18)/(-300)). Suppose i*y - 22 = 18*y. Suppose -8*l + y*l - 3 = 0. Is l greater than or equal to 3/4?
True
Let j = -1543/6 - -258. Let v(o) = 0 + 2 - 5*o**2 + 4*o**2 - 3*o. Let a be v(-3). Is j >= a?
False
Let k = 0.1171 + -0.233. Let j = k + 53.0159. Let c = j - 53. Is 40 bigger than c?
True
Let c(q) = q**3 - 56*q**2 + 211*q - 155. Let a be c(52). Is -2/41035 at least a?
False
Suppose -501 = 6*l - 513. Let z(a) = a**2 - 2*a + 4. Let k be z(0). Is k > l?
True
Suppose -93 = s - 4*v, -2*v = 10*s - 6*v + 750. Which is smaller: s or 9?
s
Let z = -135 + 224. Suppose 0 = 5*w + 74 - z. Is w smaller than -1.53?
False
Let z = 66.55 + -223.54. Let x = z - -1.99. Is -0.1 bigger than x?
True
Let n be (-140)/70 - (242 + -1). Let c = 2529 - 1654. Let f be 2/(-7) - n/c. Is f greater than -1?
True
Let z(m) = 27 - 9 - 11*m + 21*m - m**2. Let o be z(11). Suppose -28 + 7 = -o*y. Which is smaller: 1 or y?
1
Let v = 21763667/1155 + -18843. Let o be -2 - 5/(20/(-8)). Which is smaller: v or o?
o
Let c be (0 + 0 + (-1 - -2))/(153/3519). Which is smaller: 6 or c?
6
Let h(y) = -y**3 + 4*y**2 + y + 1. Let b be h(4). Let v = 4005 - 4005. Suppose 5 + v = -b*d. Is d less than -18/17?
False
Let a = -102 - -32. Let m = 134 + a. Let p = m + -64. Is 18 greater than p?
True
Let h be (418/969)/(((-30)/(-9) - 2) + -1). Let a = 1 - 7. Let v = 8 + a. Is v at most as big as h?
False
Let i = -53 + 42. Let p(z) = 4*z + 35. Let b(w) = 2*w + 17. Let y(x) = -9*b(x) + 4*p(x). Let m be y(i). Which is greater: m or 8?
m
Let a be 3/(20/(-170) + (-3)/((-1224)/201)). Suppose -3*q = -6*q + 21. Which is bigger: a or q?
a
Let f = -45 - -42. Let s = 202 - 192.3. Let c = s + -10. Are f and c unequal?
True
Let o = 6255 - 6937. Which is greater: -678 or o?
-678
Let d = 3644721/455 - 56054/7. Let h = d - -46/13. Which is bigger: 7 or h?
7
Let t be (-2)/5 + 32/130. Let w be (2 + (-723)/360)/(4/(-20)*3). Which is smaller: t or w?
t
Let s(k) = 74*k + 3235. Let a be s(-22). Which is smaller: a or 1605?
1605
Let s = 0 + 2. Suppose 14*t - 444 = 8*t. Let l = t + -67. Which is smaller: s or l?
s
Let m(f) = -2*f + 3. Let r(a) = a - 2. Let u(i) = -3*m(i) - 7*r(i). Let y be u(4). Let n be -2*y/2 + (-9)/(-7). Is n smaller than 3/2?
True
Let t = 1505395/3402 + -5/1701. Are t and 443 non-equal?
True
Let r(d) = -d - 8 - d**2 - 8*d - 2*d. Let h be r(-10). Suppose h*a + 20 = -0*a. Is a at least as big as 0?
False
Let r = 24266 - 24671. Is 6 equal to r?
False
Let h be 234/120315*(0 + (-28)/(-8) - 1). Does h = 0?
False
Suppose 780 = -24*a + 27*a. Suppose 83*s = 78*s + a. Let m be (-65)/s - 18/(-8). Is m at most as big as -5/32?
False
Let q = 81741/5 - 1059953/65. Which is smaller: q or -1?
-1
Suppose 0 = c - 44 + 35. Suppose c*j = -788 + 32. Is j at most -82?
True
Let y = 4/9597 + -25091/83225184. Are 0 and y equal?
False
Let j(x) be the third derivative of -x**6/120 + x**5/60 - 23*x**3/6 + 2*x**2. Let v be j(0). Suppose 6*i = -15*i - 3*i - 504. Is i less than v?
False
Let f be 1 - (2 + 11/(-9)). Let r = 3 - -7.4. Let q = 10 - r. Which is bigger: q or f?
f
Let v = 48.37 + -48. Let j = -0.075 + v. Let s = j + -0.095. Are 1/5 and s equal?
True
Let b = -40 - -122. Let c = 36 - b. Let g = c - -46. Is -9/8 bigger than g?
False
Let d be ((-228)/30)/(2/(-10)). Suppose -2*j = -2*a + d, -3*j + 7 = a - 0*j. Suppose -40*b + 38*b = -a. Is b <= 8?
True
Let y be (5236/(-23751) + 4/18)*1. Let q(a) = -a**2 - 3*a + 11. Let g be q(2). Which is bigger: y or g?
g
Suppose -4*w = -0*c - 4*c - 4, 0 = -3*w - 3*c + 3. Let p be ((-15)/18)/(-1) + (-208)/(-1824). Is w less than or equal to p?
False
Let f = 22949 - 77131590/3361. Let j = 50383/107552 - f. Is j less than 1?
True
Let g = -15138.2 - -15129. Which is smaller: -2/5 or g?
g
Let g = -62.239 + 0.339. Let l = -15.1 + g. Let q = l + 78. Which is greater: q or -30?
q
Let y = 508 + -507.969. Let d = y - -2.969. Is d >= 2/3?
True
Suppose -22*l - 840 = -24*l. Let w be 40/l + 3/(-7). Which is smaller: w or -4?
-4
Let s = 73/70 + -9/10. Suppose 0 = -4*l - 5 + 37. Suppose -l = -6*y - 2. Which is smaller: y or s?
s
Let n = 0.0518 + -0.0418. Let i = 22 + -19. Which is smaller: i or n?
n
Let y be 2 + (3591/35)/(-9). Let q = -51/5 - y. Which is bigger: -31 or q?
q
Let x(m) = m**2 + 6*m - 36. Let b be x(8). Suppose -3*v = -4*f + 9 + 41, -5*v + 3*f - b = 0. Do -8 and v have the same value?
False
Let j(h) = -h**3 + 6*h**2 + h - 1. Suppose -5*k + 52 = 22. Let y be j(k). Let u be (-5)/2 + (-611)/(-94). Which is smaller: y or u?
u
Let j(i) = -i - 9. Let q = 8 + -15. Let x be j(q). Let v be -5 + -1 - ((-1152)/18)/16. Is v >= x?
True
Let b(w) = w**3 + 36*w**2 - w + 56. Let i be b(-36). Let r = 85 - i. Is -7 at most r?
True
Let i = 372 - 340. Suppose -40*g + 224 = -i*g. Let o be (-153)/(-6) + (-1)/(-2). Which is bigger: g or o?
g
Let h = 9750 - 9274. Which is smaller: h or -10/7?
-10/7
Let y(f) = -3*f + 17. Let r(i) = 3*i - 18. Let d(s) = 4*r(s) + 3*y(s). Let q be d(7). Suppose 2*a - 8 = 3*b + 17, -2*b + 3*a - 20 = q. Which is bigger: b or -6?
-6
Let y be (-1 - -2)*(23 + 17). Suppose -3*w - 420 = 3*w. Let u be (-108)/238 - y/w. Is u equal to 0.1?
False
Let m = -0.67 - -0.5. Let f(j) = -19*j - 169. Let q be f(-9). Suppose 15*b - 13*b = q. Which is smaller: m or b?
m
Suppose 2*i + 207 = -l + 1111, -4*l = -4*i + 1832. Which is smaller: 451 or i?
451
Let l be 35/49 + ((-148)/(-28) - 5). Is l greater than -6/1637?
True
Let m be (-5466)/(-1820) + 2 + -5. Let q = -5097/110110 - m. Is q equal to 0?
False
Suppose -17*c = 14*c - 19*c + 31884. Which is smaller: -2658 or c?
-2658
Let y = 4535 - 4552. Which is smaller: 8 or y?
y
Let t = 119.9 - 23.6. Let q = -85.7 + -10.3. Let f = q + t. Are -4/9 and f nonequal?
True
Let i(s) = -50*s - 745. Let l be i(-15). Are 322/65 and l nonequal?
True
Let w be (-2*3 + -20 + 25)*(-7 - -6). Is 7/653 at most w?
True
Let j(p) = 6*p - 17. Let t be j(5). Let m(z) = -z**3 + 14*z**2 - 8*z + 6. Let f be m(t). Let w = f - 83. Which is smaller: w or -10?
w
Let b(h) = -3*h**3 + 4*h**2 - h - 12. Let k be b(-6). Suppose 2*w = 8*w + k. Is -131 bigger than w?
False
Let g = -189 + 193. Let c be ((-270)/180)/(6/g). Which is greater: 1/1013 or c?
1/1013
Let q = -0.139 - 13.861. Let h = 3.4 - 0.4. Is q <= h?
True
Suppose -2*p + 5*h - 1365 = 563, -5*p - 4851 = 3*h. Let l = p + 12596/13. Suppose 0 = i - 4*i. Are i and l unequal?
True
Let q = -0.145 + -0.349. Let y = q + 10.494. Let d = -0.06 + -1.94. Is d bigger than y?
False
Let c(o) = -o**2 + 20*o - 61. Let t be c(15). Suppose -t*n - 20*n + 3230 = 0. Is 95 equal to n?
True
Let w(l) = 4*l**3 - 3*l**2 - 5*l + 23. Let f(b) = 5*b**3 - 5*b**2 - 4*b + 24. Let m(y) = 5*f(y) - 6*w(y). Let o be m(6). Is o bigger than 13?
False
Let s(y) = 2*y**2 - 2*y + 4. Let j be s(2). Suppose j*n + 0*n = -128. Let x be -4 + (4 - 1) + -10 + -3. Which is smaller: x or n?
n
Let x be -3*(-2)/(-4)*-2. Suppose w - x*w + 2 = 0. Let i be -29*4/(-36) + -3. Which is smaller: i or w?
i
Let u = 28 - 139/5. Let c(t) = t - 24. Let f be c(13). Let k be (4 + 88/(-20))/(f/(-5)). Which is smaller: k or u?
k
Let q = -27085 - -27565. Which is bigger: -23 or q?
q
Let v(z) = 78*z + 185. Let a be v(-3). Let j(x) = -x**3 + x**2 + x - 47. Let y be j(0). Is y greater than or equal to a?
True
Let i(c) = 15*c - 199. Let h be i(21). Suppose -w - h = -10. Is 0 bigger than w?
True
Let l be 7 + -3 + 0 + -2. Suppose -l*c = -4*w - 2, 0 = 5*w - 0*w. Let g be 0 - -6 - 10656/1764. Is g bigger than c?
False
Suppose 28*l - 4*l - 52*l = -9604. Which is greater: 351 or l?
351
Let y = 449/38 + -23773/3382. Which is greater: 4 or y?
y
Let t(g) = g**3 + 42*g**2 - 3*g - 1009. Let w be t(0). Which is bigger: -1014 or w?
w
Let o = 128 + -12163/95. Does 2/5 = o?
False
Let z(g) = g**3 - 12*g**2 + g + 1. Let w be z(12). Let q = 2/1371 - 18743/4113. Let f = 152/9 + q. Is w greater than f?
True
Let t = -239.9292 + -0.0708. Let v = -345 - t. Which is bigger: v or -2/9?
-2/9
Suppose 2*y - 5*u + 59 = 7, 5*y = 3*u - 111. Let a be (120/(-9))/(14/y). Suppose 19*g = a*g + 2. Are g and -7/5 unequal?
True
Let o be -24 - -4 - (0 - 0). Let c = -148 - -223. Suppose 65 = -7*y - c. Is y <= o?
True
Let d = 353 + -238. Let x = -74 + d. W