v - -23. Which is smaller: a or 2/3?
2/3
Let p(z) = -z**2 + 11*z - 24. Let c be p(7). Let b be ((-11)/10 - -1)/(c/10). Do 10 and b have the same value?
False
Let g(j) = -5*j - 29. Let n be g(-6). Suppose i - 15 = -2*f, 2*f + 5*i - 2 = 25. Let c be 2 + f/15*-4. Which is smaller: n or c?
c
Let l be 88/14 + -3*4/42. Do 20 and l have different values?
True
Suppose -2*z - q + 536 = -0*z, -3*q = -3*z + 786. Let j be 4/12 - z/24. Which is smaller: j or -12?
-12
Let t = -7/90 - -3/10. Let f = 26 + -14. Let z be ((-1)/(-2))/((-6)/f). Are z and t non-equal?
True
Let w be (-1)/3 + 4/30. Let u = 0.8 + 0.1. Let x = u - -0.1. Do x and w have different values?
True
Let m = 2 - 2. Let s = m - -0.1. Let z = -378.7 - -379. Is z <= s?
False
Let m be (-1)/2*2*-7. Suppose 0 = x + 4 - m. Suppose -2 = h + x. Are -6 and h equal?
False
Suppose q - 272 = -270. Which is greater: q or 0.07?
q
Let o = 9 - 4. Let v = -500376 - -93069095/186. Let j = -2/93 - v. Which is smaller: j or o?
j
Suppose 2*s - 1 - 1 = 0. Let j be s - 0 - 72/42. Is 2 != j?
True
Let g = -28 + -39. Let u = 65 + g. Does -11/4 = u?
False
Let g = -30 - -61. Let k = g + -40. Let t be (-37)/4 - 1/(-4). Is k >= t?
True
Let s = 97.7 + -98. Which is greater: 2.3 or s?
2.3
Let n(l) = -l**3 + 3*l**2 + 6*l - 6. Let r be n(4). Let p(q) = q + 0*q**r - 4 - 4*q**2 + 3*q**2 - 5*q. Let z be p(-3). Is z > -1?
False
Let k(c) = -c**3 + 19*c**2 - 30*c - 6. Let x be k(2). Does 63/19 = x?
False
Let s = -125.37 - -125. Is s equal to -8?
False
Let g = -54 + 19. Let q be (4/g)/(8/(-40)). Let v(x) = -16*x - 144. Let h be v(-9). Is q > h?
True
Let k(r) = 3*r + 1. Let n(d) = d**3 + 2*d**2 - 4*d - 4. Let b be n(-3). Let z be k(b). Let m be 216/(-210) + ((-36)/15)/6. Is z != m?
True
Let z = 92 + -91. Is 0 less than or equal to z?
True
Let t = 252.49 + -253. Which is bigger: t or 0.2?
0.2
Let u be ((-10)/(-105))/(20/(-6)). Let d = -67 - -67. Is u < d?
True
Suppose 5*t - 19 = 1. Suppose -3*w = -z + w - t, 3*z - 5*w = -5. Does 0.1 = z?
False
Let o be 4/(-18) + 159702/(-297). Let z = o - -538. Let m = -5285 - -5286. Which is smaller: m or z?
z
Let s = -119.48 + -2.52. Are 1 and s equal?
False
Let p = -1.859 - -3.859. Let h = 0.8 + -0.5. Is h smaller than p?
True
Let g be 34/(-340) - (-54)/140. Is 11/3 at most g?
False
Suppose -4*t + 3*d + 23 + 4 = 0, -3*t - 11 = 4*d. Suppose 0 = -3*i - 2*i - t*f - 13, -4*f = 4. Which is bigger: i or -5/3?
-5/3
Let v = 2 - 2.3. Suppose l - 1 + 7 = -3*p, 0 = -4*p - 4. Is l less than or equal to v?
True
Let v be (-1)/4 + (-2519)/(-44). Let p = -4713/2 + 2413. Which is smaller: v or p?
p
Suppose 2*o - 10 = -2. Let b = -3 + o. Let t = 55 + -277/5. Is b not equal to t?
True
Let g(f) = f**3 - 9*f**2 + f - 1. Let s be g(8). Suppose 0 = -2*d - 4*q - 92, 3*d - 5*q = 40 - 233. Which is smaller: d or s?
s
Let n(z) = -z + 3. Let d be n(-3). Let q = d - 10. Let a be (-9)/(-12) + 7/q. Is a greater than or equal to 2/11?
False
Suppose -2*t - 4 = -4*t. Suppose 0 = t*y - 3*y. Let p = 676/35 + -98/5. Is y greater than or equal to p?
True
Let q = 20 - 19.73. Let f = 306 - 305. Is q at most f?
True
Let j(f) = 51*f + 712. Let n be j(-14). Let t = 0.9 - -0.1. Let q = 1 + t. Is n greater than or equal to q?
False
Let k(b) = 66*b + 237. Let w be k(-3). Which is greater: 1 or w?
w
Let c = -1/282 + -85/2538. Suppose 3*r - 3*v + 0*v + 6 = 0, -3*r - 3*v + 12 = 0. Is r != c?
True
Let v(b) = 3*b**3 - 6*b**2 + 4*b - 10. Let j be v(4). Which is smaller: 105 or j?
j
Let k = -4.3 - -4.1. Let i be (3/72)/((-15)/20). Is k != i?
True
Suppose -329 + 2438 = -19*h. Which is greater: h or -109?
-109
Let w = -28.1 + 28.1. Which is greater: 10 or w?
10
Suppose -27 = 3*b - 5*x, 4*b + x = -b - 17. Let o be (-18)/7 + (2 - 2). Which is greater: b or o?
o
Let z = -62 - -26. Is z greater than or equal to -32?
False
Let u be (-165)/25 - 1 - -7. Let t(b) = -b**3 + 2*b**2 - b + 2. Let o be t(2). Suppose o = -5*q - 5. Is q at least as big as u?
False
Let u = -1312 - -1311. Which is smaller: u or -1027?
-1027
Suppose -x = 3*x + 8. Let o = 0.124 - 0.094. Is o at least x?
True
Suppose q - 16 = -13. Let i(c) = -c**2 + c + 7. Let y be i(0). Let l be (y/q)/((-44)/(-33)). Is 1 at most as big as l?
True
Suppose -3*a + 5*n - 582 = 0, -3*a - 311 - 283 = -n. Which is bigger: a or -202?
a
Let a = 21.91 + -22. Let g(s) = s**3 - 10*s**2 - 12*s + 13. Let x be g(11). Which is smaller: x or a?
a
Let n = -0.196 - 0.104. Let k = -56 + 56. Which is smaller: k or n?
n
Suppose -5*k - i - 553 = -51, 3*k = -2*i - 304. Let f be (1/(-20))/((-575)/k). Which is smaller: 1 or f?
f
Suppose -k + 6*k = 15. Suppose 4*z + 3 = -2*u + 13, 9 = 2*u + k*z. Suppose -3*y - 3*n = -10 - 2, u*y - n = 0. Which is greater: 2 or y?
2
Let a = 7 - 1. Let j be (((-8)/(-15))/4)/((-5)/(-275)). Which is greater: a or j?
j
Let m(y) = 8*y**3 + y**2 + 3*y + 2. Let i be m(-1). Let h be i/(-28)*(-14)/30. Suppose -3 = -d, p = 2*d + d - 9. Is p greater than or equal to h?
True
Let k be (-6)/12 + 42/16 + -2. Let q(a) be the second derivative of a**5/20 + a**4/2 + 5*a**3/6 + a**2/2 - 2*a. Let h be q(-5). Does k = h?
False
Let b = 6.11 - 5.8. Let w = 0.61 - b. Is w > -1?
True
Let w = 7 + -6. Which is bigger: 0.9 or w?
w
Suppose 2*d + 0*i - 2*i = 18, -43 = -2*d - 3*i. Suppose 13*m + 8 = d*m. Is m at least as big as 33/4?
False
Let i be (-4)/8*-6 - 1. Let w be (1/67)/(i/4). Let p = -5 + 37/7. Is p > w?
True
Let f = 848115/8 + -105840. Let l = -175 + f. Let m(a) = a + 2. Let n be m(-2). Is l equal to n?
False
Suppose 4*w = -2*v + 26, 5*v = 9*w - 8*w + 10. Which is bigger: w or 39/7?
39/7
Suppose -2*k = -4*l + 16, 9 = 3*l + k - 4*k. Let f = l + -14. Which is bigger: f or -10?
f
Let a = 3.82 - 0.02. Let x = -3 + a. Which is greater: -2/3 or x?
x
Let p be (1 + 0 - 0) + 29 + -25. Suppose 3 = -p*i + 3. Do 0 and i have the same value?
True
Let t be ((-6)/10)/(2 - (-741)/(-65)). Which is smaller: -1 or t?
-1
Let b = 4427/3 - 30937/21. Let w = -758/357 + b. Which is greater: 0 or w?
w
Let g(v) = -21*v + 62. Let f be g(3). Is -12/221 greater than f?
True
Suppose -4*y + y = 12, y + 4 = 2*t. Is -8/15 at most t?
True
Let u = -30 - -32. Let p = u + 1. Let n be 4*p/24*-3. Is 0 greater than n?
True
Suppose 47 = 2*j - 3*n, 0 = 4*j - 0*n - 2*n - 90. Suppose 2 = -2*k + j. Is 10 bigger than k?
False
Let z(u) = -u + 2. Let f be z(32). Is f at most 0.4?
True
Let a = -205 - -126. Let x be -14 - -11 - 239/a. Which is greater: x or -1?
x
Let y = 2998/5 + -604. Let h = y - -6. Which is smaller: -1 or h?
-1
Suppose -4 + 3 = m. Let j be m*0*(1 + -2). Let b be (-10)/138*(-144)/(-120). Is b smaller than j?
True
Let r = 0.005 + 0.04. Let p = -0.045 + r. Which is greater: p or 2?
2
Suppose -2*c + 2*y + 3*y + 1 = 0, -4*c = y - 35. Let m be (-2 - (-26)/15)*(-12)/c. Is m less than 7?
True
Suppose 26*q = 24*q - 584. Which is greater: -293 or q?
q
Let r = 1486.57 + -1405. Let o = r + -82. Let i = o + -0.07. Which is smaller: i or -0.1?
i
Let j(s) = -3*s + s**2 + 2 - 3*s**2 - 2*s**2 - s**3 + 2. Let c be j(-3). Suppose 3*b - 2*i - 9 + 1 = 0, -c*i - 16 = -5*b. Is b at least -1?
True
Let w(h) = 3*h + 60. Let p be w(-21). Are -16/7 and p equal?
False
Let z(w) = -w**3 - 5*w**2 - 4*w - 21. Let q be z(-5). Is -4/171 <= q?
False
Let d(h) = -h**2 + 12*h - 17. Let j be d(10). Suppose -3*g - 5*y - 3 = 0, j*y + 5 = -5*g + 4*y. Which is greater: -42 or g?
g
Let h(f) = -2*f**3 - 15*f**2 - 13*f + 44. Let v be h(-6). Is v at most 21?
True
Let q be 9/270*24/(-15). Which is bigger: 1 or q?
1
Let u(t) be the third derivative of t**4/24 + 2*t**3/3 + 12*t**2. Let x be u(-6). Which is bigger: -9/5 or x?
-9/5
Let s = -35 - -35.1. Let z = -16 - 5. Does s = z?
False
Let g be (-57)/((-85)/(-68) - 19/12). Is 172 <= g?
False
Let t be ((-129352)/(-1408))/23 + (-8)/2. Is t at least 1?
False
Suppose 3*l + 4 = -4*y, -2*l = -4*y + y - 20. Let o(k) = -k + 7. Let a(p) = 3*p - 2. Let g be a(2). Let w be o(g). Is l equal to w?
False
Let w = 26 - 24. Let b be ((0 + 1)/(-2))/(1/w). Which is greater: b or 8?
8
Let s = 1134/8165 + -3/355. Let t = 5/4 + -7/4. Which is smaller: s or t?
t
Let o = -2258 - -1689. Which is bigger: -570 or o?
o
Let r = -34 + 59. Let c = 2586 + -2562. Which is greater: r or c?
r
Let a = -18.82 + 0.02. Let w = a - -19. Is 5 less than w?
False
Let t be (-14)/2 - -7 - 