v + 342 = 5*t. Is v <= 332?
True
Let u be (-7)/((-35)/10) + 1. Let m(z) = -z**3 + 4*z**2 + 3*z - 6. Let l be m(4). Suppose u*f + l = -0. Which is smaller: f or 4?
f
Let v(j) = 0*j - j**2 + 1 - 16 + 5 - j. Let t(z) = -z**2 + z - 1. Let q(o) = 3*t(o) - v(o). Let b be q(4). Do b and -9 have different values?
False
Let q be 4/(12/9) + 3. Suppose -q*b = 5*b + 99. Which is smaller: -10 or b?
-10
Suppose 3 - 1 = 2*q. Suppose -5*a + 8*h - 4*h - 155 = 0, 0 = -a + h - 32. Which is greater: a or q?
q
Let n = -59581/181645 - 3/2137. Which is smaller: 0 or n?
n
Let d = 629 - 99. Does 531 = d?
False
Let m = 112 - 96. Let w = m - 17. Which is greater: w or 1?
1
Suppose -140 = 5*b - 5*l, 2*b + 2*l = -2*b - 142. Is b at least as big as -2/7?
False
Let l be 284/6 + (-7)/21. Suppose 2*y = -z - 29, -3*y + z + z = l. Is -85/6 <= y?
False
Let b = 605 - 6661/11. Suppose 3*c = -4*u - 20, 0 = -0*c - c. Let x(v) = -v**3 - 3*v**2 + 10*v - 1. Let q be x(u). Is q not equal to b?
True
Let b(x) = 2*x - 2. Let q(z) = -z**3 + 10*z**2 - z + 12. Let j be (1*-6 - -2) + 14. Let c be q(j). Let d be b(c). Which is bigger: d or 3?
3
Let u(x) be the first derivative of x**4/4 + 3*x**3 - 2*x + 4. Let y be u(-9). Let p = 4 + -4.1. Which is bigger: p or y?
p
Let h(f) = f**2 + 13*f + 12. Let t be h(-12). Suppose t*b + b - 12 = 0. Let v be (b/15)/((-1)/5). Is -2 greater than v?
True
Suppose 21*a - 1734 = 4*a. Which is greater: 403/4 or a?
a
Suppose -3*i = -k + i + 1, -5*k - 3*i = 87. Suppose -56 = 4*n - 3*f, f - 19 - 51 = 5*n. Which is greater: k or n?
n
Let l be 55/(-22) + (-154)/4. Is l < -43?
False
Let p be (-38)/(-5) + 20/50. Let b be (p/6)/(42/(-1629)). Let f = b - -51. Is -2 at most as big as f?
True
Let c(v) be the first derivative of v**3/3 + 8*v**2 + 4*v + 4. Let b be c(-11). Which is smaller: b or -2/3?
b
Suppose 0 = -2*r - f + 4, 3*r = -4*f + 11. Let d(l) = 17*l - 31. Let s be d(-5). Let q be s/140 + (-8)/(-20). Is r <= q?
False
Let k = 237.1 - 237. Is -8/3 bigger than k?
False
Let h = 1285376/12749 - 1112/11. Let j = h + 10/61. Let w = -1.3 - -1.5. Which is smaller: j or w?
j
Let a be (-10)/55 - (3209/(-44) + 0). Let c = -73 + a. Suppose 2 = 3*h - 1. Which is bigger: h or c?
h
Let u(z) = 5*z - 1. Let a be u(4). Let f(w) = w**3 + 5*w**2 - w - 8. Let h be f(-4). Let l be h/8*(-38)/(-3). Do a and l have the same value?
True
Let y = -6/29 - 27/290. Which is bigger: 1 or y?
1
Let l(d) = -d**2 - 7*d + 12. Let h be l(-8). Suppose 7*y + h - 4 = 0. Is y at least as big as 24?
False
Let f = 241 - 208. Do 28 and f have the same value?
False
Suppose 0 = -p + 5*p + 56. Let i = p - -18. Which is smaller: 3 or i?
3
Suppose 5*j + a + 205 = -2*a, -2*j - 82 = 5*a. Let i(y) = y**3 - 8*y**2 + y + 2. Let v be i(7). Which is smaller: j or v?
j
Let b be 8/(-28) - (-142)/399. Let s = 33.9 - 32.9. Which is smaller: b or s?
b
Let a(i) = -11*i**2 + 28*i + 7. Let c be a(8). Is c less than or equal to -473?
True
Let m = 301.69 + -301. Which is smaller: m or -1/2?
-1/2
Let l(r) = -r**3 - 7*r**2 - 5*r + 7. Let k be l(-6). Let g be ((-2)/3)/(680/12). Which is smaller: k or g?
g
Let c = -39763/31 - -1283. Which is smaller: 1 or c?
c
Let f(z) = -2*z**2 - 12*z + 8. Let x be f(-6). Let c = 0 + x. Which is smaller: c or 2/3?
2/3
Let i = -0.177 - -0.377. Let f be (6/8)/((-1)/(-32)). Is i <= f?
True
Suppose -5*v - 4*x = 378, 5*x + 107 + 34 = -2*v. Let u = -52 - v. Which is greater: u or 27?
27
Let w(n) = -3*n**2 - 2*n - 3. Let f be w(-3). Suppose -4*t + 111 = q, t = q - 2*q + 24. Let r = -54 + t. Is r at most f?
True
Let g = 504 - 500. Is 12.8 greater than or equal to g?
True
Suppose -14*o + 9*o = 5. Is o at least as big as -3/113?
False
Let o = -156 + 334. Is 178 at most as big as o?
True
Suppose 0*c = -3*c. Let f = 0 + -3. Let s be (-2 - -5)*(-2)/f. Is c less than or equal to s?
True
Suppose 0 = 53*g - 8 + 8. Are -22/123 and g equal?
False
Suppose 5*h + 21 = 2*n + 23, -h = -2*n - 2. Which is smaller: -10/127 or h?
-10/127
Let s(b) = -b**2 - 7*b + 2. Let d be s(-7). Let z be 2*(9/(-5) + d). Let v = -13 + 10. Which is smaller: z or v?
v
Let x be (0 - 2/(-12))/(25/100). Let h be 0/((-7 + 1)/(-3)). Suppose h = -q + s + 4, 0 = -4*s - 13 + 5. Is x > q?
False
Let x = 1.415 - -0.075. Is x bigger than 0.1?
True
Let a(y) = -y**3 - 10*y**2 - 19*y - 75. Let k be a(-9). Is 1/13 at least k?
False
Let c = -1.1586 + 0.1586. Is c < 0.0097?
True
Let a be (-18)/45*(-20)/96. Is 0 greater than or equal to a?
False
Let v(s) = 2*s - 2. Let q be v(-7). Which is smaller: q or 5?
q
Suppose -2*y + 110*o - 108*o - 460 = 0, -4*o - 235 = y. Which is bigger: y or -232?
y
Suppose -39 = 4*p - 11. Let o = p + 6. Let u be (2/(-6))/(o + 0). Is 2 smaller than u?
False
Let u = -283/33 - -98/11. Which is greater: u or 3.5?
3.5
Let q = 1/675 + -899/303075. Is 0 greater than or equal to q?
True
Let p = 2 + 2. Let j = 0.49 - 0.11. Let q = j - 0.28. Which is smaller: q or p?
q
Let b(j) = -j - 7. Let o(x) = 1. Let c(d) = -b(d) - 6*o(d). Let f be c(-3). Let s be f/(-4) + 0/(-1). Is 2 at least s?
True
Let z = -7 + -19. Let d be 128/182 - 4/z. Let i(v) = -v**3 - 3*v**2 + 4*v. Let u be i(-4). Is d < u?
False
Suppose -221*i = -223*i + 8. Let x be ((-680)/(-45))/4 - i. Which is smaller: x or 1?
x
Let s = 8.5 - -2.5. Let d = 18 - s. Let l = d + -6. Is l at most as big as 1/7?
False
Let x = 1339 + -1341. Let s(b) = -b**2 - 8*b + 12. Let w be s(-9). Which is bigger: w or x?
w
Let s(v) = v**2 + 15*v - 17. Let t be s(-16). Are t and -3/887 unequal?
True
Let o = -0.03 - 0.13. Let x = 0.27 + o. Let q = 91 + -89. Is q at least x?
True
Suppose b - 14 = 19. Let t be (-1)/4 - b/(-4). Let c be 3/(4 - 7) - 8/(-1)*1. Is t smaller than c?
False
Let n be 6/165*-5*(-2)/(-16). Which is greater: 0 or n?
0
Let a = 407 - 704. Is a > -296?
False
Let s(n) = n - 3. Let m be s(6). Let u be ((-195)/2)/(m/(-6)). Let z be ((-52)/u)/((-14)/(-5)). Which is greater: -1 or z?
z
Let j = 0.1 + -0.2. Let l = -10.95 + -0.05. Let z = 7 + l. Is z smaller than j?
True
Let k = -0.9 - -10.9. Let p = k + 2. Let w = p - 11.8. Which is bigger: w or 0.1?
w
Suppose 3*k - 5*k = 12. Let p be 5 - k*2/(-6). Suppose -z = -0*m - p*m + 71, -3*z = 6. Is m at least as big as 24?
False
Let b(z) = -135*z**3 + 2*z**2 + 30*z - 53. Let y be b(2). Which is greater: y or -1064?
-1064
Let a = -9.005 - -0.005. Which is bigger: -7 or a?
-7
Suppose -10 = 5*l, 0*l = -2*u + 2*l + 96. Which is smaller: u or 323/7?
u
Let h = -74.1 + 89. Let l = h + -16. Let w = l + 1.1. Is w greater than or equal to -0.2?
True
Let z(l) = -l + 40. Let o be z(26). Let j = -14 + o. Is j at least 1/73?
False
Let r = -31 - -110. Do 238/3 and r have the same value?
False
Let v be (-16)/120*-3 + 72656/(-11790). Let y = v + 52/9. Is y greater than or equal to -1?
True
Suppose -z - 90 = 4*z. Let n be (21/(-12))/(2/20). Which is smaller: z or n?
z
Suppose 2*f + f + 3 = 0. Let t = -241 + 464. Let h = 2003/9 - t. Which is smaller: f or h?
f
Let c be (-406)/134 - (38 - 41). Which is bigger: 1 or c?
1
Let t = 3786065/1212 + -2444/303. Let x = t + -3100. Is 15 at most x?
True
Let u = -15/2 + 303/38. Which is smaller: u or -1/3?
-1/3
Suppose 0 - 2 = -a. Let o(d) = -2*d + 15. Let r be o(10). Let n be (r - -2) + 7 - 3. Which is smaller: a or n?
n
Suppose -5*g - 1658 = 1302. Let s = g + 4131/7. Which is greater: -2 or s?
s
Let q(y) = -1. Let k(x) = 3*x - 4. Let i(b) = 3*k(b) - 6*q(b). Let n be i(2). Is n at most as big as -1?
False
Suppose -4*d - 2*n = -13 + 1, -3*d - 2*n = -11. Is d less than or equal to -2/5?
False
Let t(o) be the first derivative of o**2 - 14*o + 30. Let f be t(7). Is f at least as big as 7/6?
False
Let f(d) = 9*d**3 + 3*d**2 + 3*d + 4. Let c be f(-3). Let l = c + 1119/5. Which is bigger: 4 or l?
4
Let g(p) = p**2 - 17*p - 22. Let r be g(18). Suppose 4 = 5*f + 14. Let l be r/f - (2 - 0). Which is smaller: 4 or l?
l
Let m be 1*((-18)/2)/(-3). Let d be (-13)/(-2) - m/2. Suppose 4 = -d*k - 1. Is k less than 1/10?
True
Let u be 15/(-6) + (-1 - 9/(-6)). Which is bigger: u or 650/7?
650/7
Suppose -17*c - 1000 = -27*c. Let q = c + -100. Is -9/37 bigger than q?
False
Suppose 4*s - 3*o = -2*o - 5, 3*s - o = -5. Let d = -2.2 + 26.2. Let k = 40 - d. Are s and k equal?
False
Let j = 445 + -444. Is j at least as big as -38?
True
Let i = 15 + -45. Let o b