d + 15 = 4*t - 3*d, -d - y = 3*t. Is 5 != t?
True
Let k = 386.8 + 48.2. Is -1 >= k?
False
Suppose 4320 = 28*c - 11612. Which is smaller: c or 568?
568
Let f(h) = -h**2 + 11*h - 8. Let y be f(9). Suppose -5*k = -3*k - y. Suppose -4*v + 2 = 2*r, 6 = v - k*r - 0. Which is greater: 1/10 or v?
v
Let l = -0.2544 - -1.2544. Is -241 smaller than l?
True
Let y = 299 + -959. Is y equal to 2?
False
Let m be 1*32/68 + 0. Let g = m + -150/391. Is -1 >= g?
False
Let j be ((-3)/(-2))/(801/4). Let p = j + -358/267. Which is bigger: p or 0?
0
Let w be (-8)/110*(-135)/198. Does -3 = w?
False
Suppose -m - 15 = -14. Let b be (28/105)/((-1)/2). Is m less than or equal to b?
True
Let m = 2.2 - 2. Let a = m - 4.4. Let l = a + 4. Which is bigger: l or -2?
l
Let s = -1349 + 1347. Which is smaller: s or 24/7?
s
Let j = 9 - 17. Let p = 7.2 + j. Let c = 0.9 + p. Which is smaller: c or -6?
-6
Let o be ((-42)/(-35))/(4/10). Let d be 195/12*o/(-15). Are -4 and d equal?
False
Let p(g) = -g**2 + 10*g + 6. Let u be p(9). Suppose -u*l - 4 = -11*l. Let a(o) = -5*o**3 + 2*o**2 + 2*o + 1. Let w be a(l). Which is bigger: w or 17/3?
w
Let k be ((-348)/(-10))/((-3)/10). Let j be k/441 - 2/(-9). Is j bigger than 1?
False
Suppose -4*q = -5*u + 501, -41 = -2*u - 4*q + 165. Is 103 at most u?
False
Let t = 4885/13 + -376. Let m = -90 - -89. Is m smaller than t?
True
Let l be (1 - (1 + 0))*-1. Let b = -1212/187 - -70/11. Which is bigger: l or b?
l
Let p be 40/(-60)*(-102)/4. Suppose -5*z + 3*q + p = 7, 0 = -2*q. Suppose 9 = 3*w, -5 = -3*a - w + 10. Is a at least z?
True
Let r = -10 - -16. Let f be -15 + 1 + 3 + -3 + r. Which is smaller: -7 or f?
f
Let n be 6/(-4)*2/(-3). Suppose 0 = -3*y + 5*z - 2*z - 9, 3*z + n = -2*y. Let l(d) = d + 3. Let q be l(-2). Which is greater: y or q?
q
Let g = -17 + 158. Which is smaller: 2/5 or g?
2/5
Let b = -11 + 32. Suppose 0 = 3*w + 5*m - 34, 9*w = 4*w - 3*m + 46. Suppose i - b = w*i. Which is greater: i or -10/3?
i
Let s(d) = -d**3 - 6*d**2 + 1. Let t be s(-6). Let a be (-2)/t - (-17924)/28. Let f = 637 - a. Is 0 > f?
True
Let c = 390.06 + -390. Are c and 20 nonequal?
True
Let c = -35 - -36. Suppose 5*x - i = 1, i - c = 3*x + 2*i. Is x at least as big as 2/7?
False
Suppose -m + 55 = 59. Are m and -1 equal?
False
Let h(k) = -221*k - 38. Let s be h(2). Which is bigger: s or -481?
s
Let m = -6440 - -6377.97. Let g = -62 - m. Let a = 0.1 + -0.2. Are g and a equal?
False
Let x be 0 + 26260/(-268) + 2. Let r = 96 + x. Which is greater: 0 or r?
r
Let y(l) = -2*l**2 + 8*l - 3. Let a be y(4). Which is bigger: a or -38/9?
a
Let h = 1855917/389 + -4771. Which is bigger: h or -1?
h
Let g be 47/7 + 10/35. Let a = g + -6. Let k = -190 + 2466/13. Which is smaller: a or k?
k
Let m(y) = y**3 - 22*y**2 + 37*y + 41. Let j be m(20). Is j < -17?
True
Let t be 4/(-54)*60/(-8). Let d = -33 - -35. Which is smaller: t or d?
t
Let y = 9 - 10. Let r be 4/y*(-10)/8. Let c be 23/r + 12/(-4). Is 1 greater than c?
False
Let k(a) be the second derivative of -a**4/12 - 5*a**3/6 - 9*a**2/2 + 11*a. Let f be k(-3). Which is greater: 0 or f?
0
Let f(i) = i**2 + 7*i - 13. Suppose -4*d = 3*x + 11, 3*x + 11 + 4 = -3*d. Let n be f(x). Let k = n - 7. Which is greater: k or 6?
6
Let a be (-22 + 4)*3/2. Let u = a - -36. Is u > 8?
True
Suppose -13*q - 33 = -10*q. Are q and -24 equal?
False
Let l be (2 + 36/(-10))/((-37)/(-1295)). Which is greater: -273/5 or l?
-273/5
Let v = 698 - 842. Is -144 greater than v?
False
Let s(y) = 2 - 1 - 6 - 13 - y. Let l be s(-15). Which is smaller: l or -20?
-20
Let b = -11 + 54. Let v = 48 - b. Which is greater: -2/13 or v?
v
Let i be 3/268*(-2)/(-15). Let j = i - -25453/4690. Which is greater: j or 5?
j
Let q(f) = f**3 - 5*f**2. Let n be q(5). Let j = 64099/52 + -4931/4. Which is bigger: n or j?
n
Let r = 9 + -2. Suppose -23 = -5*z + r. Suppose z*s + 70 = 11*s. Which is bigger: s or 15?
15
Let d = -35.7 - -35.72. Are d and 0.4 nonequal?
True
Let u = 9.59 + -1.59. Is -3 smaller than u?
True
Let w(c) = 7*c + c - 2*c - 7*c - 13. Let b be w(-13). Suppose b = -2*l - l. Which is greater: l or 4?
4
Suppose -3*y + 8 = -4. Let v be (-117)/510 + y/20. Which is greater: v or -1?
v
Let p = 249/962 - 11/37. Which is smaller: p or 1?
p
Let j = 1773 + -1775. Are j and -15/7 equal?
False
Suppose 4*r + 4*z - 16 = 0, 0*r = r + 2*z - 6. Let u be (-3)/225*(-1 - r). Let c be (-9 + 7 - 7) + 8. Is u smaller than c?
False
Suppose 0 = -p + 4, p + 85 + 11 = 4*j. Let x(u) = -u**3 + 4*u**2 + u + 20. Let s be x(4). Let k = s - j. Is k at least as big as 0?
False
Let g = -224 - -225. Is g equal to 1/109?
False
Suppose 3*v - 2*w + 40 = 0, -45 = -5*v + 7*v - 5*w. Which is bigger: v or -34?
v
Suppose 0 = 3*h - m + 90, 2*m - 213 = 5*h - 63. Is h at most as big as -26?
True
Let t be (-1)/3 + -4 + 2426/555. Let o = -6/37 - t. Which is greater: 0.05 or o?
0.05
Let d be 42*9/(-78) - 6/39. Which is smaller: 6 or d?
d
Suppose -2 + 16 = 2*w. Let i = 8 + w. Let t be 3/i - (-18)/10. Which is smaller: 7 or t?
t
Let k(n) = 9*n**2 + 24*n + 28. Let p(z) = -5*z**2 - 12*z - 14. Let a(t) = -6*k(t) - 11*p(t). Let h be a(13). Is h less than or equal to -4/31?
True
Let k be (108/312)/(3/20). Let b be 29/9 - 2/9. Is k less than or equal to b?
True
Let y be 11 + -16 + 8 - -1. Is y >= 11?
False
Let h = 1.5 + 0.5. Let n be 136/14 - (4 - -6). Are h and n equal?
False
Let q = 13 + -12. Let f be q/2*(-1 + -1). Which is greater: f or 1/19?
1/19
Let i be (-5)/(-20)*-18*2/(-3). Let n be -6*(-136)/(-396) + (-2)/i. Is n > -4?
True
Let w(r) be the second derivative of r**5/20 + r**4/2 - 4*r. Let k be w(-6). Is k greater than or equal to 4/29?
False
Suppose 3*k - 36 = k + 3*p, -4*k + 3*p + 78 = 0. Let x be k/(-7)*8/3. Are x and -8 nonequal?
False
Let g = -41875 - -585959/14. Let w = 41/2 + g. Let h = 286 + -288. Which is smaller: h or w?
h
Let o be (5 - (2 + 46))/(0 - -1). Let g be (-15)/(-10)*2/3 - o. Is 0 at least as big as g?
False
Let a be -4 + 0/(6 + -3). Let c be -1*(-6)/a*-4. Let n be 20/c*1 + -3. Do n and 0.2 have the same value?
False
Let o = 166 + -148. Let y = o + -17. Which is smaller: y or 1/124?
1/124
Suppose 9 = -g + 9. Let l be 4 - (-1 + g)*10. Is 14 < l?
False
Let g(i) = 40*i**2 - i. Let q be g(-1). Suppose 0 = 5*w - 16 + q. Is w less than -5?
False
Let c = -6 + 5.9. Let x = -1.468 - 71.532. Is c less than or equal to x?
False
Let d(b) = -13*b - 77. Let a be d(-6). Let g(u) = -u**3 + 7*u**2 - 5*u + 1. Let p be g(6). Suppose -7 = -3*t + 2*z, 0 = 4*t - 3*z + p - 17. Is t equal to a?
True
Let u = -9/14 + -11/70. Is u greater than -2?
True
Let u be ((-9)/(-3) + -8)*5/(-25). Suppose -m = 5*c - 5, c - 3*m = -m + u. Is 1 < c?
False
Suppose 57*m - 2472 = 63*m. Is m <= -413?
False
Suppose -2 = n - 65. Is 62 bigger than n?
False
Suppose 3*a = 3*g - 15, 2*a + 23 = 4*g + 5. Which is bigger: -23/11 or a?
a
Let f(r) = -10*r - 3 + 7*r**2 + 2 + 172*r**3 - 171*r**3. Let y be f(-8). Let h be -2*1 + (-2 - -19). Is h > y?
False
Let f(q) = -q**3 + 3*q**2 + 23*q - 14. Let h be f(6). Suppose 2*a + 10 = -h. Which is smaller: -14 or a?
-14
Let a be (237 + -54)*2/7. Which is smaller: 53 or a?
a
Suppose -3 - 3 = 3*c. Let x be (-1*2)/(c/14). Let k(l) = l**3 - 10*l**2 + 19*l - 315. Let m be k(11). Which is smaller: m or x?
x
Let l(t) = t - 1. Let f = -25 - -27. Let o be l(f). Let x(u) = u**3 + 3*u**2 - 6*u - 5. Let s be x(-4). Is o at most s?
True
Let n = 219 + -221. Is 31 smaller than n?
False
Let k = -1564 + 1552. Let y be 79/(-7) + (-2)/(-7). Which is greater: k or y?
y
Let u = -1138 - -1067. Which is smaller: u or -3?
u
Let i(z) = -2*z + 7. Let l be i(6). Let g(m) = m**3 + 4*m**2 - 5*m - 6. Let o be g(l). Which is smaller: o or -7?
-7
Let k(d) = -2*d**2 + 7*d - 14. Let s be k(9). Is s smaller than 0.1?
True
Let q(j) = -75*j + 220. Let u be q(14). Is -829 less than u?
False
Let z(r) = r**2 - 10*r + 11. Let t be z(8). Let o = 17 + t. Suppose -11 = -5*n - v + 47, -4*v - 32 = -2*n. Is n smaller than o?
False
Let z = 12.6 + -13.1. Which is smaller: z or -8/15?
-8/15
Let d = 205 + -86. Let n be (-3519)/d + (-6)/14. Which is smaller: n or -86/3?
n
Suppose -4*q - 2*l = 0, -q - 30*l = -29*l - 1. Which is greater: -27/40 or q?
-27/40
Let f = 48 + -62. Let q(g) = -g - 13. Let c be q(f). Which is smaller: 3 or c?
c
Suppose m - 3 = 1. Suppose 2*k 