Let f = -0.4 + 0.7. Which is smaller: v or f?
v
Suppose 17*q = 12*q - 5*r, 5*r = -2*q. Let n be 48/(-70) + 2/5. Is q less than n?
False
Let s(m) = -m**2 + 8*m + 106. Let d be s(15). Is d <= 4/19?
False
Let h(b) be the second derivative of b**4/12 - 13*b**3/6 + 6*b**2 + 2*b. Let a be h(12). Let g be a/(1 - (8 - 4)). Which is bigger: g or 1?
1
Let d = -202 + 227. Are d and 29 unequal?
True
Let z = -91 + 147. Let f = z + -47. Let k(x) = -x**3 + 2*x**2 + 4*x + 1. Let n be k(3). Do n and f have the same value?
False
Let s be (-4)/30*6/(-4). Let r = 32 + -15. Let j = r + -17. Is j greater than s?
False
Let a(i) = -7*i + 20. Let j be a(7). Which is smaller: j or -30?
-30
Let s = -7 - -11. Suppose -b + s*n = 5, -2*b - n = -2*n - 4. Suppose -t + b*p + 3 = p, -3*p - 8 = -5*t. Is t equal to 3/4?
False
Let s(i) = 7*i - 11. Let v(o) = 27*o - 45. Let h(r) = -15*s(r) + 4*v(r). Let y be h(2). Is y at most -7?
True
Let q = -1191 - -1129. Which is smaller: q or -65?
-65
Let k = 16 + -17. Let f(y) = -6*y**2 + 3*y + 3. Let u be f(k). Let g be 4/14 - 44/7. Is u greater than or equal to g?
True
Let k(g) be the first derivative of g**4/4 - 14*g**3/3 + g**2/2 - 14*g - 8. Let w be k(14). Is -2/41 greater than w?
False
Let s = -934 - -935. Which is smaller: s or 80/51?
s
Let g be -35 + 1 - 1 - 2. Let b = g + 46. Suppose 8 - b = -l. Is l less than or equal to -4/27?
False
Let i(g) = g**3 - 8*g**2 - g + 8. Let z be i(8). Suppose 3*t - 2*u = 13, -2*u + 6 = -5*u. Suppose j - 16 = t*j. Is z != j?
True
Let b = 53 - 53.09. Let k = -0.19 + 0.32. Let x = k - 0.13. Which is bigger: b or x?
x
Let o be 2/((0 - 0) + -27). Let g = -60 + 41. Let n = 19 + g. Is o greater than n?
False
Suppose -3*g = -9*g - 8*g. Suppose 78*k - 72*k + 462 = g. Does -77 = k?
True
Let z = 134 + -134.57. Let j = z + 3.17. Which is smaller: j or -1?
-1
Let r be (391/(-119))/(2/(-114)). Let u = r + -375/2. Is u smaller than 1?
True
Let y = -546 - -546.084. Do 1 and y have the same value?
False
Let s = -1.7 - 0.3. Let c = -8 + 8.16. Let r = c - 0.26. Is s at most as big as r?
True
Let d be (-9 + 7 - (1 + -3))/(-1). Which is greater: -9/19 or d?
d
Let m = 2232 + -2271. Suppose 0 = -3*d - 5*u - 111, 0*u = -4*u. Is d at most m?
False
Let n be ((-16)/6)/((-28)/12). Suppose -3*k - 9 = 9. Let d = k + 6. Which is bigger: n or d?
n
Let u = 450 + -358. Is u greater than or equal to -3?
True
Let n(d) = d**3 - 3*d + 1. Let h be n(2). Let p(u) = -u**3 - u**2 + 2*u + 1. Let q be p(-2). Let y(v) = v**3 + v. Let x be y(q). Which is smaller: h or x?
x
Suppose 18*o - 17*o = 0. Is 0 > o?
False
Let c(p) = 140*p + 980. Let l be c(-7). Suppose -5*g + 0*g - 20 = 0, 2*w + 4*g + 38 = 0. Let u be 2*(1 - (-12)/w). Are l and u non-equal?
True
Let l be (-16)/(-5) - 2/10. Suppose 0 = l*q + 3 - 9. Are 11/5 and q non-equal?
True
Let r be 5508/((-85)/5) + 3*1. Which is bigger: -318 or r?
-318
Let k be (-2)/(-10) + 48/10. Suppose -k - 13 = 3*s. Let x be (-32)/(-24)*s/(-16). Is x smaller than -2/55?
False
Let t = 1 + -18. Suppose -5*v - 3*k + 84 = -k, -45 = -2*v + 3*k. Let f = v + t. Is -3/10 != f?
True
Suppose -11*m = 16*m - 135. Let v = 5 + 4. Suppose 5*z = -x - 2, -4*x = z - v - 2. Is x greater than or equal to m?
False
Suppose -z = -4*m + 4*z - 19, 3*z = -3*m + 6. Let o be (22/(-1))/(m/(3/6)). Is 11 at most as big as o?
True
Let g = 0.72 + -0.51. Let s = -4.79 - g. Which is smaller: s or -3?
s
Let s = 1 - -9. Suppose 0 = -2*x + 5*j - 34, 3*x - 42*j = -44*j + 6. Which is smaller: x or s?
x
Let u(q) = -7*q + 63. Let v be u(9). Which is smaller: -2/717 or v?
-2/717
Let j(i) = -i**2 + 8*i. Let l be j(8). Suppose 5*k + l*k = -15. Is -13/5 smaller than k?
False
Let p be 76320/(-2240) - (26/28 - 1). Which is bigger: p or -5?
-5
Let y = -98 - -54. Let u = y - -63. Which is bigger: 20 or u?
20
Suppose 4*h - 4 = j, j + 0*j + 3*h + 25 = 0. Let i be (1 + j)*(-6)/(-9). Let k be ((-4)/i)/((-2)/(-10)). Is k smaller than 3?
True
Suppose 5*a = 5*u + 20, 3*a - 8 = 6*u - 4*u. Let i(d) = -29*d**2 - d - 12. Let m be i(4). Let b be (1/(-12))/((-36)/m). Is a less than b?
False
Let s = 19 - 13. Suppose -2 - 10 = -s*c. Let n be c/(2/1)*1. Which is bigger: n or -2/25?
n
Let v(w) = -110*w**2 - 13*w + 25. Let d be v(2). Is d less than -441?
False
Suppose -3*u = -3*w + 2*w - 8, -12 = -3*w - 3*u. Let o(v) = 2*v**2 + 4*v - v**3 + 13*v**3 - 2*v - 2*v**3 + w. Let t be o(-1). Is -8 > t?
True
Let f = -849/5 + 169. Are -46 and f unequal?
True
Let x(h) = 2*h - 7. Suppose -5*p = 2*z - 30, 6*p = 4*p + 5*z + 12. Let b be x(p). Suppose -b + 0 = a. Are -3 and a non-equal?
True
Suppose -62 = 2*s + r + 166, 5*r = -s - 114. Let n = s - -114. Is n greater than 1/7?
False
Let x = -3887/2781 + 38/27. Does 1 = x?
False
Let a = -8/65 - 1/13. Let k = -0.421 + 0.301. Are a and k equal?
False
Suppose q + x + 2*x + 18 = 0, -3*x - 24 = 2*q. Let b(d) = -d**3 - 7*d**2 - 11*d + 3. Let w be b(q). Is w <= 34?
True
Let d(j) = 20*j + 221. Let u be d(-11). Is u less than or equal to 1/265?
False
Let k = 4.6 + -0.6. Let l be (-8)/(-3)*63/42. Suppose 4*n + 4*w - l = 0, -2*n - w + 10 = 3*w. Is n bigger than k?
False
Let h = 373 - 493. Which is smaller: -121 or h?
-121
Let t(z) = 2*z + 52. Let u be t(-24). Let s be 26/u - (1 + -1)/3. Which is smaller: s or 7?
s
Suppose 35*x + 44 = -9*x. Let i = 10/283673 + 5998265055/15034669. Let d = i + -399. Which is smaller: d or x?
x
Suppose 3*b + 1 = -5. Let c be -1*(0/b)/(-2). Suppose 0 = 2*k + 2, -3*h + 2*k - 7 = c. Are h and -4 equal?
False
Let j = 1263 - 1262.29. Which is smaller: j or 1.4?
j
Let w = -142 + 64. Let c = 78.1 + w. Which is smaller: 40 or c?
c
Let z be 4*(-1 - 678/4). Let c = z + 17052/25. Let u(q) = q**2 + 3*q + 1. Let m be u(-3). Are c and m nonequal?
True
Let t be 4/12 - (-8)/3. Suppose -2*s + 8*a - t*a + 124 = 0, 4*s + 4*a = 304. Let z be (9/s)/(2/(-52)). Which is greater: -2 or z?
-2
Suppose -7*f + 256 = 242. Let n(o) = -o**2 + 6*o + 4. Let i be n(6). Which is smaller: f or i?
f
Let t = -1.6 + 2.8. Let j = t - 1.25. Let c = 0.95 - j. Which is bigger: c or 3?
3
Let q be 48/(-40) + (-2061)/(-5). Is 414 equal to q?
False
Let k = 1402 - 1350. Which is greater: 54 or k?
54
Let o = -2783/123 + 12/41. Let n = o - -22. Which is smaller: n or 1?
n
Let i = 26 + -26.38. Let q = -0.48 - i. Which is smaller: -8 or q?
-8
Let b(p) = p**2 + 1. Let k(s) = 5*s**2 + 2*s + 9. Let r(m) = -6*b(m) + k(m). Let d be r(3). Which is greater: d or 5/47?
5/47
Let f be (-1)/(-2)*0 - -1. Suppose 0*v - 5 = -v + 4*p, -5*p = 4*v - 20. Suppose v*s - 12 = -s. Is s < f?
False
Let s = -1.8 - -16.3. Let k = -2.5 + s. Let p = -9 + k. Are 3 and p unequal?
False
Let i = -6 + 9. Let a = 1.62 + -1.52. Which is bigger: i or a?
i
Suppose -2*g + q = 255, -8*g + 5*q + 122 = -9*g. Let f = g - -385/3. Is 1 >= f?
False
Let f be (130/(-156))/((-2)/4). Is -1 less than f?
True
Let b = 93 + -103. Let x be (-134)/(-190) - (18/b)/(-3). Suppose 0 = 5*s - 5. Is x at most s?
True
Let r be 637/(-28)*(-2 - (-14)/(-3)). Is 152 at least r?
True
Suppose -2*f + 12 = -q, f = -2*f - 2*q + 4. Suppose -38 - f = -2*u. Which is smaller: u or 18?
18
Let v(s) = -2*s - 12. Let p be -1*3 + 3 + -3 + -2. Let y be v(p). Which is greater: y or 0?
0
Let n = 184 - 182. Let g = 5310 - 27177/5. Let m = 125 + g. Is m at most as big as n?
True
Let f = -32 + 26. Let o = 1 + f. Which is greater: o or 2?
2
Suppose 13*x = 8*x + 95. Is 19 at least x?
True
Let q = 142.9 + -143. Is q >= 343?
False
Let u be (-5)/5*-11 - -3. Let o be (-36)/u*84/(-9). Is 23 less than o?
True
Let z = 556 - 6103/11. Which is bigger: 2 or z?
2
Let l = 541 - 466. Is 72 equal to l?
False
Let k(j) = -j**2 - 4*j - 4. Let n be k(-3). Let o = -1321/42714 - -5/378. Which is smaller: o or n?
n
Let j = 77 - 75. Is -4/7 greater than j?
False
Suppose -4*f - 6 = 38. Let b(g) = g**2 + 12*g + 12. Let m be b(f). Let w = -379 - -5687/15. Which is bigger: w or m?
m
Let p(v) = -4*v + 106. Let d be p(27). Suppose -2*k = h + 2, 2 = -5*k - 7*h + 3*h. Are d and k equal?
True
Let c = -44.5 - 15. Is 0 greater than c?
True
Let u(t) = 2*t - 81. Let k be u(31). Which is greater: k or -20?
k
Suppose o + 5*l + 7 + 7 = 0, o - 13 = 4*l. Let a be 3/12 - (-30)/8. Let v be (a/(-147))/((-6)/(-9)). Do o and v have the same value?
False
Let q = -26.98 - 0.02. Let i = -26.72 - q. Let p = 