a or -17?
a
Let a = 49 + -40. Suppose -a = 4*f - 13. Are -3 and f equal?
False
Let b = 1413/16 + 12887/80. Let d = 282 + -533. Let f = d + b. Is f at least as big as -1?
False
Let j = 37/2 + -20. Let h = -9.46 - -10.46. Is j equal to h?
False
Suppose 5*r = 2*b + 431, 0 = 5*r + 5. Which is smaller: -217 or b?
b
Let u = 1.572 - -0.068. Let z = -1.4 + u. Let x = 0.14 - z. Which is greater: x or -1/2?
x
Let x = 41025/14 + -2932. Which is bigger: x or -2?
x
Let i = 4846 - 4848.037. Let u = i - -0.037. Is -2 greater than u?
False
Let r be ((-3)/(-15))/((-2)/(-1286)). Let s = -129 + r. Let l = -107 + 108. Is s at most l?
True
Let q = -0.7 + 0.5. Let n = -31.4 - -5.4. Let i = 26 + n. Which is smaller: i or q?
q
Let g = -2 - 0. Let t = 6.4 + -6.5. Which is smaller: g or t?
g
Let b = 34.42 - 34.3. Let w = -1.1 + 0.9. Is w greater than b?
False
Let s be (2 + -2)*1/(-2). Let r(f) = -f**3 + 8*f**2 - 4*f - 4. Let k be r(8). Let m be ((-2)/(-8))/(k/32). Is m smaller than s?
True
Let m = -8 + 7.4. Let k = 5.3 + -4.8. Let b = m + k. Which is greater: b or -0.07?
-0.07
Let x = -14632/7 - -2087. Is x equal to -2?
False
Let g be 54/(-135)*5/(-2). Does g = -3/344?
False
Suppose 4*i + 51 - 139 = 0. Let h = i + -58. Let d = h - -38. Which is smaller: d or 0?
0
Let r = -59 - -24. Let f be 3/2 - r/(-10). Is f greater than -16/5?
True
Suppose -6*d = -18*d + 24. Suppose k + 0*k - 1 = -x, 2*k - 2 = 0. Suppose d*z = -x*z. Which is bigger: z or 5?
5
Let f(d) = -d**3 + 4*d**2 - 1. Let c be f(3). Let j(o) = 2*o**2 - 11*o + 14. Let u be j(6). Let v be (24/60)/(1/u). Do c and v have the same value?
True
Let w = 22.7 - 23. Do -86 and w have the same value?
False
Suppose -344*v + 85 = -339*v. Do 17 and v have different values?
False
Let t be -5 - 162/12 - -1. Which is smaller: t or -17?
t
Suppose 3*z - 47 = 4*z. Let b(l) = -5*l**2 + 3*l - 12. Let f be b(3). Which is bigger: z or f?
z
Let v = 11 - 10.97. Suppose -2*b + 0*c - 4*c = -28, 5*b + c = 25. Let p be (-9)/6 + (b - 2). Is v at most as big as p?
True
Let w = -81.21 - -79.1. Does 2/15 = w?
False
Suppose 273 = 10*m + 243. Let x = -7 - -15. Let r be (6/8)/(2/x). Is r <= m?
True
Suppose u = q, 3*u - u = -4. Let x be -8*(1/(-2))/(35/(-10)). Which is smaller: q or x?
q
Let h(f) = 2*f**2 + 5*f - 26. Let j be h(-5). Let l = 11447/54 + -212. Which is smaller: j or l?
j
Let x be -2*(166/(-28) + 6). Suppose t = 3*l - 0*t + 174, -2*l = 3*t + 127. Let w = l + 237/4. Does x = w?
False
Suppose 5*o + 5 = 2*y + 3*y, 0 = -4*y - 2*o + 10. Let d be 3/4*-2*y. Suppose 9*s = 9, -s = 4*l - 39 + 38. Is d greater than l?
False
Suppose -5*c - 15 - 5 = 0. Let t(w) = 1. Let u(d) = -7*d + 5. Let m(y) = c*t(y) + u(y). Let v be m(1). Is v less than -7?
False
Let l = -890 + 8000/9. Is 0 at least l?
True
Let q(d) = -3*d**2 - 3 - 36*d**3 + 0*d + 35*d**3 - 5*d - d**2. Let l be q(-4). Which is bigger: 16 or l?
l
Suppose 17*l = 114 - 29. Suppose v + 0*v = 0. Let x = 4 - v. Is x > l?
False
Let a = 13 + -9.5. Let r = a + -2. Let p = r + -0.5. Which is smaller: p or 11/3?
p
Let u(j) = -j**3 - 11*j**2 + 6*j - 12. Let d be u(-12). Let o = -59 + d. Which is smaller: -1/35 or o?
-1/35
Let i(a) = a**3 + a**2 - a - 24. Let o be i(0). Let d = o - -10. Let f = -15 - -14.9. Is d less than f?
True
Suppose u + 5*j = -u - 48, 0 = -5*u - 5*j - 90. Let b = -1211/2 - -592. Is u < b?
True
Let n(q) = -4*q**2 - 6*q - 7. Suppose -14*m = 29 + 13. Let d be n(m). Which is greater: -23 or d?
-23
Let h = -9272 - -9037.95. Let o = 228 + h. Let w = 6 + o. Which is smaller: 1/2 or w?
w
Let u be ((-194)/56 - -3) + 255/357. Is -2613 > u?
False
Suppose 13*l = 10*l - v - 441, 0 = 3*v - 9. Which is bigger: -149 or l?
l
Let u be -1 - (23 + (-9)/3). Let y = 23 + u. Let r be y - ((-335)/(-111) + -1). Is r >= -1?
True
Let s be ((-22)/33)/((-4)/(-6))*4. Let v be 260/(-68) + 7 + s. Which is smaller: v or -1?
-1
Let t(k) = 5*k**2 - 79*k - 3. Let y be t(9). Is y bigger than -309?
False
Let o = -242 + 243. Which is bigger: o or 2/63?
o
Let z(o) = -o**2 + 6*o + 24. Let g be z(11). Suppose 4*b + 77 = -3*n, 0 = 4*n - b + 64 + 64. Do n and g have the same value?
True
Let y be 176/(-40) + (-2)/(-5). Let p be -6*2/(-3) + y. Let x = 1265 - 69577/55. Is x equal to p?
False
Let p = -619382 + 16704796/27. Let l = 686 + p. Which is smaller: 1 or l?
l
Let i be 16/21 + (-56)/(-98). Let n(p) = -p**2 - 3*p + 6. Let g be n(-4). Which is smaller: g or i?
i
Let w(t) = t**2 + 110*t + 1521. Let f be w(-94). Let u = 27 - 9. Which is smaller: f or u?
f
Let w = -41771/25 + 1671. Let l = -1 + 0. Is l at least w?
False
Let a be ((-4)/14)/((-10)/35). Let y be 60/9*(-27)/(-2). Let d be 28/y + (-2)/10. Which is smaller: a or d?
d
Let v = 3 - -7. Let l(q) = -v*q - 9 - 4*q + 15*q. Let g be l(8). Is 3 smaller than g?
False
Let s(b) = 15*b**2 - 8*b - 3. Let v be s(-2). Let n = 1821/25 - v. Suppose 3 = 3*o - 0*o. Which is bigger: o or n?
o
Let p(q) = q**2 + 6*q - 2. Let t be p(-7). Let k = 316/33 + -54/11. Is k greater than or equal to t?
False
Let g be 0/10 - 5*-5. Let q = 5 + g. Is 31 >= q?
True
Let f(j) = -5*j - 2. Let v be f(-2). Suppose 10*d - 9*d = v. Let m be ((-28)/d + 3)*0. Is -1 greater than m?
False
Suppose -4*f = -9*f + 600. Let d = -151 + f. Do d and -30 have different values?
True
Let x = -475471/63 + 7547. Which is greater: 0 or x?
0
Let a(f) = -f + 4. Let v be a(6). Let j = -3.2 - -2.88. Let k = 2.32 + j. Which is bigger: v or k?
k
Let n = -655 + 647. Is n bigger than -129/16?
True
Suppose -7*m + 47219 = -30*m. Are -2052 and m nonequal?
True
Suppose 6*c - 20 = 2*c. Suppose c*b - 5*v - 20 = 0, 0 = 3*b + 2*v - 3*v - 2. Which is smaller: b or -1/18?
b
Let j = -27 + 42. Suppose 0 = 14*m - 11*m - j. Let s = 2 + m. Is s at least as big as 5?
True
Let r = 0.11 + 5.89. Let s = 3.16 - 1.73. Let g = 0.43 - s. Which is smaller: g or r?
g
Let t = 10281/13 - 792. Let w be 344/208 + 3/4. Let o = t + w. Which is bigger: 1 or o?
o
Let p = -0.47 + 13.6. Let s = 13 - p. Is s at most 0?
True
Let a(y) = -y**3 - 12*y**2 - 19*y + 1. Let o be a(-2). Is o >= -23/13?
True
Let d = -13019 - -28667839/2202. Is 0 at least d?
False
Let l = -0.019 - 1.981. Let z = -0.36 - 1.74. Let k = z - l. Is 1 bigger than k?
True
Let h be (-5 - 4)*1 - -5 - 201. Is -204 smaller than h?
False
Let h(x) = x**3 - 35*x**2 + 53*x - 62. Let p be h(34). Are p and 583 unequal?
True
Suppose -10*j - 141 = 359. Let c = -48 - j. Which is smaller: c or 20/13?
20/13
Let o be (-3)/(-2)*(-62)/(-6). Let z be ((-5)/(-10))/((-1)/(-30)). Which is greater: z or o?
o
Let u(q) be the first derivative of 2*q**2 - 21*q + 7. Let t be u(5). Is t at least as big as -1/52?
False
Let w(x) = x**2 - 1. Let u(a) = -5*a**2 + 8*a + 12. Let k(h) = u(h) + 3*w(h). Let m be k(5). Which is greater: -3/37 or m?
-3/37
Let a(b) = -11*b + 88. Let m be a(8). Is m at most as big as 15/98?
True
Let p(z) = z**3 + 12*z**2 + 6*z - 12. Let y be p(-11). Which is bigger: y or 333/8?
y
Let j = -7 - -5. Let u = 14 - 12. Suppose u*p = -3*p - 5. Is j at least p?
False
Let o = 17 + -19.8. Let d = -6.2 - 5. Let z = d + o. Which is smaller: z or 1?
z
Let l = -1498.03 + 1483. Let w = l + 15. Which is smaller: w or -3?
-3
Let r = 6 + -2. Suppose -2*h - r*b - 32 = -6*h, 0 = -2*h - 5*b - 19. Is h greater than 3?
False
Let y = 55 - 76. Let l be -7 + 6 + 1*(-1 - -2). Is y smaller than l?
True
Let q(a) = -17 + 0*a + 4*a - a + 5. Let x be q(4). Let z = 0.1 - 0.2. Which is greater: z or x?
x
Let f be -2 - (1 - (-6028)/(-2012)). Which is greater: 1 or f?
1
Suppose -9 - 13 = 4*d + 3*y, 5*y = -2*d - 18. Let l be d/(24/66) + 1*-3. Which is greater: -43/3 or l?
l
Let p = 609 + -394. Which is bigger: p or 214?
p
Let m be (-30)/35*(-14)/4. Suppose 18 - m = s. Suppose -5*l + 0*n + s = 4*n, n = 3*l - 9. Is l at most 4?
True
Let g(l) be the second derivative of 11*l**4/12 + l**3/3 - 2*l. Let k be g(2). Suppose 3*i - k = 5*q, 0 = -i + 5*q + 14 + 12. Is -0.1 at most as big as i?
True
Let z(d) = 14*d - 504. Let u be z(36). Is 1/78 > u?
True
Suppose 0 = -9*s + 18 + 9. Suppose -2*h = -h - 3. Let o = 8 - h. Is s bigger than o?
False
Suppose -4*k = -2*k - 76. Suppose 4*f - 164 = -4*y, 3*f - 71 = -65. Which is bigger: k or y?
y
Suppose 3*f - 2*p + 129 = 0, -4*f - 2*p - 2*p - 152 = 0. Suppose -g = t - 0*g + 41, 2*g - 90 = 2*t. Is f equal to t?
Fal