 + 12138. Let i = b - a. Which is greater: 3 or i?
i
Let x = -44013 - -572457/13. Let s = x - -503/26. Let l = s + -44. Is -4 < l?
True
Let u = -31 + 48. Suppose 0 = -2*o - 3*t - 43 - u, -4*t - 16 = 0. Let n be (-23)/(1 - 1 - -1). Are o and n equal?
False
Let j(w) = 6*w - 19. Let a(r) = -7*r + 20. Let y(k) = 3*a(k) + 4*j(k). Let i be y(5). Is -1/9 <= i?
False
Let u = 7 + -7. Suppose h = -u*h + 4. Which is smaller: -2 or h?
-2
Suppose -g - 2*z + 9 = 0, 8 = -4*g - 6*z + 9*z. Let l be (-7)/28 + (-237)/(-756). Do l and g have different values?
True
Let t = -759 - -760. Is t > -17/2?
True
Let w = 7 - 5. Suppose -5*y = o - 24, 3*o + w*y - 6 = -o. Which is smaller: o or 4?
o
Suppose -497 = -4*k - 57. Let p = k - 198. Let x be (-2)/16 + (-11)/p. Is x at most 4/3?
True
Let u be -10 + 8 + 9 + 0. Let q = u - 3. Suppose q*n - 1 = 3*n. Which is smaller: n or -1/10?
-1/10
Let c = 94 + -93.9. Which is bigger: 72 or c?
72
Suppose 5*f + 11 = 6*f. Suppose -6*u = -f*u. Suppose u = -4*y + 5*k - 4 - 6, -5*k = -3*y - 10. Is y <= 1/14?
True
Let a(d) = 2*d**2 + 4*d + 3. Let x be a(-2). Suppose x*q + 2*c - 10 = q, -3*c = -3*q + 33. Suppose 0*b - q = 4*b. Is b <= -2/7?
True
Suppose -5*y + 3*l + 204 = 0, -6*y = -y + 4*l - 218. Let r = 43 - y. Which is bigger: 0.5 or r?
r
Let m = 0.61 - 0.741. Let d = -0.031 - m. Which is greater: -16 or d?
d
Let l = -49 + 49.01. Which is bigger: -71 or l?
l
Let w(b) = -2*b**3 + b**2 + 2*b + 2. Let g be w(-1). Suppose -g*p - 4 = -3*r + 2, -4*r - 2*p = 10. Which is smaller: r or -3/7?
r
Let d = 1.7 + -2. Let r = -119/2 - -60. Which is greater: r or d?
r
Let q(t) = 54*t + 300. Let h be q(-6). Is -31 at least as big as h?
False
Let c be (2/(-3))/((-12)/(-54)). Let g be (-4)/c*54/33. Let v = g - 2. Is -1 at most v?
True
Let x = 829/8 - 801/8. Are -7 and x equal?
False
Let m = 17346/5 + -3455. Is 14 at least as big as m?
False
Suppose 5*d = 4*m + 2, -3*m = 3*d - 5 - 7. Let h = 1.92 - 0.12. Which is smaller: h or m?
h
Let j(y) = 88*y + 440. Let l be j(-5). Is -2/211 > l?
False
Let k = 2 + 5. Let o be k/(-14)*7/4. Is o at most as big as -1?
False
Suppose 7*q + q + 48 = 0. Let k be (-299)/91 - q/2. Which is bigger: k or 22/9?
22/9
Let z = 8.7 - 41.7. Let j = 33.1 + z. Which is bigger: j or 3.8?
3.8
Let r = 61 + -46. Let u = 37 - r. Which is smaller: 21 or u?
21
Let b be 78936/150 - (-3 - (0 + 0)). Let v = b + -529. Which is bigger: v or 0?
v
Let a be ((-25)/(-240)*-2)/((-4)/(-16)). Is 2/143 >= a?
True
Let c be 11*4*(714/56 + -3). Which is smaller: 428 or c?
428
Let d be (3043/2)/(-17)*-1. Does d = 90?
False
Let u(g) be the second derivative of -g**4/12 + 17*g**3/6 - 31*g**2/2 + 16*g - 2. Let f be u(15). Do f and 1/62 have different values?
True
Let x be -57 + -9 - (-28)/(-7). Which is greater: -71 or x?
x
Let r be (-36 + 0)*(-2)/3. Suppose r = -17*j + 20*j. Let b = j - 10. Is -4 bigger than b?
False
Suppose 6*d - 6 = 3*d. Let y = 4/599567 + 279995529/338755355. Let h = y - 3/113. Is d != h?
True
Suppose m = -2*x + 2 - 12, 4*x + 4*m + 20 = 0. Is -38/9 greater than or equal to x?
True
Let q = -773886 + 16261247/21. Let o = q - 459. Which is bigger: o or 0?
o
Suppose 3*v - 363 = 3*i, -5*v - 3*i + 512 = -v. Suppose -9*w + v + 127 = 0. Does w = 29?
False
Let b = 1717/5 + -342. Let h = b + -87/55. Do -0.1 and h have the same value?
False
Let q = 2 - -2. Let o = 824 + -2474/3. Which is greater: o or q?
q
Let c be 3/4 + (-6)/8. Which is bigger: c or 7/17?
7/17
Suppose 0 = 2*x - 13*x - 1639. Is -147 greater than x?
True
Let p be 7/((-140)/15) - (-1731)/4. Is 431 > p?
False
Let k = -8 + 12. Let j = -19 - -13. Let p = k + j. Which is smaller: 0 or p?
p
Let w be ((-12)/296)/((-11)/(-33)). Are 0 and w equal?
False
Suppose -3*o = o + 8. Let g be (-1304)/10 + (-2)/(-5). Let n = 128 + g. Is o smaller than n?
False
Let g = -6 - -6.1. Which is smaller: g or 1.7?
g
Let u = -894.9 - -895. Which is greater: u or -118/11?
u
Let f = -354 - -354. Which is smaller: f or 2/969?
f
Let p = 640279/86 - 7445. Which is smaller: p or 1?
p
Let y be 1240/(-12) + 2/6. Let c = y - -63. Let d be c/9 - (-4 - 0). Which is smaller: -1 or d?
-1
Suppose 3*d + 15 = n + 4, 0 = 2*n - 2*d - 6. Let b = 34 - 713/21. Is n <= b?
True
Let g = 3.46 + -3.06. Let j = 6458/19 + -340. Which is smaller: j or g?
j
Let o(s) = s**3 + 11*s**2 - 13*s - 10. Let r be o(-12). Suppose 6 = -z + 3*z. Suppose 8 = b + z*b. Are r and b equal?
True
Let k = 5385 + -27222/5. Suppose 5*x + 212 = 512. Let f = x + k. Which is bigger: 0 or f?
f
Let o = -581 - -76112/131. Is -1 <= o?
True
Let x = 8 - 39.7. Let u = 27 + x. Let r = u + -0.3. Is r <= 1/2?
True
Let o = -1 + 0. Let t be (-2)/(o + 6/4). Let a be (-2)/(-2)*-1 - 4. Which is greater: a or t?
t
Suppose 6*l - 5*l - 2 = 0. Suppose -23 + 9 = -l*b. Which is smaller: b or 6?
6
Suppose 0 = 5*j - 0*j - 50. Suppose 3*g + 14 = -4*d, -5*g - 4*d = -4*g + j. Is -13/7 at most g?
False
Suppose 1 = 2*c + 15. Let u = -9 - c. Let w(n) = 3*n**2 + n. Let s be w(u). Are 11 and s nonequal?
True
Suppose -s + 5*s + 64 = 5*c, -5*s = -4*c + 89. Let a(q) = 2*q + 36. Let t be a(s). Let i(r) = r - 1. Let l be i(-5). Is l greater than t?
False
Let b = -79.5 + 72.8. Which is bigger: b or 1?
1
Let k = 175 - 1571/9. Which is greater: 0.4 or k?
k
Let g = 457/45 - 43/5. Suppose -5*r = 18 + 82. Let t be (-8)/(-10) + (-4)/r. Which is smaller: t or g?
t
Suppose 3*y - 7*y - 4*v - 88 = 0, 32 = -2*y + v. Suppose -4*s = -2*s + m - 85, -140 = -3*s - 4*m. Let f be y/4*s/30. Which is smaller: -0.1 or f?
f
Suppose 5*u + 42 = -48. Let y be (-378)/8 - u/(-24). Let z = y + 241/5. Is z less than 2/7?
True
Suppose 0*x = -3*x + 216. Let d be (924/x)/((-2)/9). Let u = d + 58. Is u <= 7?
True
Let s = 3.95 + -4. Let j = -0.15 - s. Let c = j - 0.9. Which is smaller: c or -2?
-2
Suppose 24*x + 4*i - 142 = 25*x, -3*x + i = 393. Which is bigger: -131 or x?
x
Let x(l) = l - 19. Let h be 18/12 + (-66)/(-4). Let f be x(h). Which is bigger: -2/9 or f?
-2/9
Let l = 0.01 - -5.99. Let b = -65.17 - -64. Let z = b - -0.17. Which is greater: z or l?
l
Suppose 6*b = b - 5. Let c = -22 + 21. Let x be (-6 - -5)*(c - b). Is 2 at least x?
True
Let j = -63 - -73. Suppose -3*g + 4*g - 4 = -l, -3*g = 2*l - j. Which is greater: g or -13?
g
Let o(h) = h**2 + 3*h - 55. Let y be o(-16). Let i = y + -149. Is i less than 4?
False
Let h(y) = -y**3 - 12*y**2 - 20*y + 1. Let a be h(-10). Let z be 44/(-2)*(1/a)/2. Which is smaller: z or -12?
-12
Let w = 20 + 12. Suppose 0 = 31*y - w*y + 6. Let s be (-8)/y + 936/378. Which is bigger: s or 1/3?
s
Suppose -19*y - 594 = -17*y. Let d be (-12)/(-21) - y/(-630). Is d bigger than 2?
False
Suppose 2*h = 3*h - 9. Let k be (-14)/(-6) - (12 - h). Is k smaller than 58?
True
Let d(b) = b - 4. Let u be 1/(-2)*8/2. Let z be d(u). Suppose 7*q = -5 - 30. Do z and q have the same value?
False
Let s = 15.65 + 6.56. Let r = s - 22. Is r at most 1?
True
Let o = -3.1 + -52.9. Let q = -56.05 - o. Which is greater: q or -1/5?
q
Suppose 5*d = -3*t - 12, -3*t - 16 + 7 = 4*d. Which is smaller: -41 or d?
-41
Let q be ((-196)/(-35))/(3/10). Let w = -956/51 + q. Is 0 not equal to w?
True
Let n = -524/3003 + -2/273. Let q(a) = -a**2 + 4*a. Let m be q(4). Which is smaller: n or m?
n
Let l = -1 + -2. Let y = 20 + -22. Let n = y - l. Is -2/5 at most n?
True
Let l(f) = -f**2 - 8*f - 4. Let g be l(-7). Suppose g*d - 6 + 3 = 0. Let h(q) = q**2 + 4*q - 20. Let c be h(-7). Is d less than or equal to c?
True
Let g = 347274/5 - 103139623/1485. Let u = g - 6/11. Suppose 0*l = -l + 1. Is l less than u?
False
Let p = 23 - 30. Let m be 340/70 - 1/p. Suppose -2*t + m*t = 3*q - 15, 19 = 4*q - 3*t. Do 4 and q have the same value?
True
Let w = 7 - -4. Suppose -8*z = 347 - 443. Is z <= w?
False
Let n be ((-9)/6)/((-8)/((-4416)/9)). Which is smaller: n or -93?
-93
Suppose 0 = -7*m - 286 + 41. Which is greater: -205/6 or m?
-205/6
Let m be 15/132*-127 - -3. Let f = m - -45/4. Let n be 2/(-16)*(1 + 1). Which is greater: n or f?
f
Let k be (4/18)/(2/(-3)). Let q be (-1)/(-2) + 169/26. Suppose -3*f + q*f - 4 = 0. Are f and k nonequal?
True
Suppose -2*f + 3*b = 7 + 5, 2*f + 20 = 5*b. Suppose -4 = -z - f. Is 4 > z?
False
Let w = 668 + -667.9. Does w = 69/7?
False
Let h(c) = -8*c - 80. Let j be h(-10). Which is bigger: -13 or j?
j
Suppose -8 = 2*l + 2*k