e x(-6). Suppose 1989*m = 1921*m + 68. Is v greater than m?
True
Let r be (-1)/(-2) - ((-21)/6 + -2). Let d be (r/4)/(2/(-4)). Do -4 and d have the same value?
False
Suppose 5*g - 2*n = 5, 81*n - 82*n + 5 = 5*g. Let l(b) = -2*b - 1. Let a be l(2). Let f = -3 - a. Is f smaller than g?
False
Let i be ((-3)/(-3))/(124/(-93)). Which is smaller: i or 130?
i
Let m = 2/193 - -766/579. Let v(p) be the third derivative of p**4/24 - p**3/6 + 17*p**2. Let f be v(2). Which is greater: m or f?
m
Suppose 57 = 4*j + 229. Let l = -116 + 73. Is j < l?
False
Let s be (-39)/(-117) - 10/12. Which is smaller: -45.3 or s?
-45.3
Suppose 0 = -r - 5 + 1. Let d = 13 - 13. Suppose 4*w + 8 = n, 4*n = -d*n + w - 13. Are n and r non-equal?
False
Let b be ((-6)/114)/(1/4*2). Let q(s) = s**3 - s + 1. Let u be 0/((-1 - -2) + -2). Let p be q(u). Which is bigger: p or b?
p
Suppose -3*d = 4*x + 9, -d = -5*d + x + 7. Let s = -80 - -32. Let k be (-3)/(-9) + s/198. Do d and k have the same value?
False
Let t = -27 - -31. Let k(s) = -s**2 + 2*s + 8. Let x be k(t). Which is greater: x or -4/11?
x
Suppose -2*n = -8*n - 966. Which is bigger: n or -163?
n
Let r = 33 - 48. Let q = r + -41. Is 0 <= q?
False
Let w be (-1 + 4)*(-481)/117. Is w not equal to -12?
True
Let o be -1*((-8825)/(-495) - -3). Let d = 234/11 + o. Which is bigger: 7 or d?
7
Let z(o) = -o**2 + 6*o - 7. Let j(u) = u + 15. Let b be j(-11). Let m be z(b). Suppose -g + m = -0. Which is bigger: g or 6/5?
6/5
Let t be (3 - 0)/((-24)/(-40)). Suppose 6*g = -t + 11. Is g greater than or equal to 12/11?
False
Suppose 1 = d + x, 2*d + 1 = -x + 3. Which is smaller: d or 19/8?
d
Let h = -136/13 - -1457/143. Suppose -2*f + f + 28 = -5*u, 28 = 4*f + u. Suppose -6*p = -2*a - 3*p - f, -2*p = 4*a. Is h <= a?
False
Suppose -p = -j, -7*j + 5*j + 5*p + 3 = 0. Which is greater: j or 1/579?
1/579
Suppose 206 = -2*t + 6*t - 3*y, -t = -2*y - 49. Let r = t + -38. Are r and 15 unequal?
False
Suppose 4*m - 44 = -4*h, 5*m + 0*h = -4*h + 58. Let z be 5760/(-19425) - (-4)/m. Is z not equal to 1?
True
Let k = -65 - -32. Let q = k + 32. Let w = -0.8 + 1. Which is smaller: q or w?
q
Let k = -49 + 52. Suppose k = 6*d - 9. Is d at most 1.1?
False
Let i(q) = q + 3. Let t be i(-7). Let c be ((-126)/(-60))/(7/(-5) - -1). Is c <= t?
True
Let j = 5 + -7. Let n be (1/(-284))/(8 - 260/32). Which is smaller: n or j?
j
Let o = 26579/60 + -443. Which is smaller: 0 or o?
o
Let s(l) = l**3 + 2*l**2 + l + 2. Let x be s(-2). Let m = -37151/847 + 87/121. Let n = m - -6960/161. Which is greater: x or n?
n
Suppose j + 20 = -5*b, 4 = -2*j - 6. Let n be 20/b - 4/12. Let c(z) = -10*z - 66. Let i be c(-6). Is n > i?
False
Suppose 22 = 2*m - 4*k, -5*m - 501*k = -500*k - 77. Let s be 0 + 2 - (-7 - 1). Which is bigger: s or m?
m
Suppose 56*s + 2126 = -9690. Is s smaller than -212?
False
Suppose 2*g = -2*g + 68. Let q = 3841 + -3827. Is q at most g?
True
Let t(z) be the third derivative of z**5/15 + 7*z**4/8 + 5*z**3/6 - 21*z**2. Let o be t(-5). Are 1/24 and o non-equal?
True
Let h(j) = -j**2 - 14*j - 16. Let q be h(-11). Let t = 18 - q. Is -3/7 at most as big as t?
True
Let z(v) = 42*v + 20. Let f be z(6). Is f bigger than 271?
True
Let s = -796 + 868. Does s = 71?
False
Let u = 35 + -89. Do -54 and u have different values?
False
Suppose m + 5*m = 18. Suppose 0 = -c - 5*y + 11, -m*c = -y - 1. Let b = 1/2 + c. Which is smaller: 1 or b?
1
Let u = -23 - -22. Let g be u/(-3) + (-3)/36. Which is bigger: 0.4 or g?
0.4
Suppose -9*f = 5 - 5. Which is bigger: -3/289 or f?
f
Let q = -16 - -64. Let s be (384/20)/(-2)*-5. Is q != s?
False
Suppose 0 = -3*r + 3*z, 3*z - 4 = -5*r + 6*z. Suppose r*t = 4*u - 0*u + 50, 0 = -3*u - 5*t - 18. Is u less than or equal to -13?
False
Let w(v) = -v - 16. Let g be w(-10). Let r be 8/g + (-20)/(-15). Is r at most -5?
False
Let f be (-13 - 603/(-45)) + 4/(-10). Which is bigger: -47/3 or f?
f
Let t = -2/4881 - -12968/7824243. Which is smaller: 1 or t?
t
Let q = -0.0119 + -15.0681. Let g = 15 + q. Let d = g + 1.08. Which is greater: d or -7?
d
Let x = 38433919/1198287 + 1/44381. Let s = x + -32. Are 0 and s non-equal?
True
Let u = 0.08 - -8.92. Which is greater: 17 or u?
17
Suppose c - 28 - 28 = -3*m, -2*c + 4*m + 92 = 0. Which is greater: c or 3?
c
Suppose -4*z + 41 = 20*d - 15*d, 5*d = 2*z + 17. Which is smaller: z or -1.2?
-1.2
Let g = -1793 + 1824. Is g >= 30?
True
Let h(t) = -10*t - 69. Let l be h(-7). Let k be (-25 - l)*1/(-6). Let y = 11 + -6. Which is bigger: k or y?
y
Let p = -4.28 + 4. Let f = 0.62 + p. Let d = f - 0.14. Which is greater: d or -4?
d
Suppose -71*j = -43*j + 1316. Is j equal to -42?
False
Suppose -3*x = -3*t + 1 - 7, -2*x + 3*t + 6 = 0. Suppose x*r = 3*r. Let h = 0.32 + -18.32. Which is bigger: r or h?
r
Let n = 817 - 14689/18. Which is smaller: n or 1?
n
Let n be 3*(-10)/26 + (-16)/(-104). Let m be ((-28)/35)/(11 + -1). Which is greater: m or n?
m
Let p = 0.2 + -0.3. Let q = -29 - 2. Which is smaller: q or p?
q
Let j = 47727/28 - 8209/4. Let t = -347 - j. Do -0.2 and t have the same value?
False
Suppose -17*l = -9*l + 944. Which is bigger: l or -1/2?
-1/2
Let v(j) = 8*j**2 + 97*j + 192. Let q be v(-2). Let a = 17 - -13. Is q at most as big as a?
True
Let y be (-34)/238*7/9. Is y >= 0?
False
Let j be (-1)/(-5) + (-33)/15. Let p be (-3)/(-9)*(137 - j). Let m = -46 + p. Is -10 at least as big as m?
False
Let f = -1.1 + 1.016. Which is smaller: -0.4 or f?
-0.4
Suppose 4*v - 6*v = 2*j - 10, -5*j - 35 = -5*v. Which is greater: v or 2/25?
v
Let u = 2.1 + -1.3. Let y = -0.6 + 0.4. Let z = y - u. Which is smaller: z or 1/6?
z
Let v be ((-81)/(-2376))/((-63)/12). Which is greater: v or 0?
0
Suppose 0*y + 2*y + s = -8, y + s + 6 = 0. Let k = -804/715 - -28/55. Which is smaller: y or k?
y
Let q be (-62)/(-5) - 28/70. Let v be (q/16)/((-99)/(-24)). Let y = 0 - -1. Are v and y equal?
False
Let r be 2*-2 - (-8 + 164/72). Which is bigger: r or 2?
2
Suppose -16 = 4*h, 4*h = 2*a - 0*h - 880. Let l = a - 8206/19. Is l greater than or equal to 0?
True
Let b = 3092 - 80377/26. Which is bigger: b or 2?
2
Let c be 6135/60 - (2/2 - 2). Let d = c + -19403/188. Which is greater: 0 or d?
d
Let w = -111 - -163. Suppose 3*j + 3*z - 31 = 8, 0 = -4*j - 3*z + w. Are j and 12 unequal?
True
Let q = -3071 + 3136. Which is smaller: 38 or q?
38
Let g = 27 + 127. Let r be (14/g)/((-14)/4). Which is bigger: r or -1?
r
Suppose 0 = g - 16 + 9. Let t be (-3)/(-7) + 39/g. Suppose -9 = k + t. Are k and -14 non-equal?
True
Let m(p) = -3*p**3 - 2*p**2 - 3*p + 20. Let s be m(5). Is s at least -421?
True
Let k = 22 + -22. Suppose 0 = -4*z - 4*f - f + 10, k = -5*z - 2*f + 21. Is z at most as big as 44/7?
True
Suppose 2*n + 0 - 11 = -5*f, 4*f - 19 = -5*n. Let w be f + 1 + (2 - 3). Do w and 1 have the same value?
True
Let a(x) = x**2 - x - 3. Let n be a(0). Let b be 14 - n*(-5)/(-15). Which is bigger: b or 14?
b
Let w = 146 - 144. Suppose -3*z + 14 = w. Which is bigger: 28/9 or z?
z
Let v = 185 - 58. Let t = v + -114.6. Let m = t - 12. Is -1 at least m?
False
Let n(s) = -s - 65. Let i be n(-7). Which is smaller: -57 or i?
i
Let z(g) = g**3 - g**2. Suppose 10 = 5*o - 5*c, -2*c + 3*c = 5*o - 10. Let m be z(o). Suppose 3*h = -m*j + 2, 0*j - 3*j = h + 1. Is j >= -2?
True
Let o = -83 + 43. Let m = o + 19. Which is smaller: m or -1?
m
Suppose 3*f = 5*m - 11, 4*m + 26*f - 8 = 28*f. Is 2/2015 greater than or equal to m?
False
Suppose -22 - 17 = -3*l. Suppose 0 = s + 4*p + l, -4*p - 6 = -3*s - p. Which is bigger: -4/19 or s?
-4/19
Let j(r) = 135*r - 17. Let d be j(3). Let k be 3 - (-1 + d/100). Which is smaller: 1 or k?
k
Let q = -409 + 466. Is q >= -3?
True
Let i(q) = 2*q**2 + 24*q + 25. Let z be i(-11). Suppose -13*d = -16*d - z. Is d < -2/281?
True
Suppose 4*n - 5 = q, 0 = 3*q - 21*n + 18*n + 6. Is q not equal to -1/75?
True
Let b = -1355/316 + 3/79. Suppose -12 = f - 8. Which is greater: f or b?
f
Let y = -4 + 3.2. Let c = y - -5.8. Let i = c + -8. Which is bigger: i or -2/9?
-2/9
Let o be 32 - (-3 + 8/(-4)). Let c = o + 16. Does c = 54?
False
Suppose 13*i + 5*y = 10*i - 31, -23 = -i + 5*y. Let a be (-13 - -9)/(2/(-4)). Let l = 8 - a. Which is smaller: l or i?
i
Let y be (-129)/(-2)*(-224)/126. Which is bigger: y or -114?
-114
Suppose o = 25*u - 26*u - 1, 0 = -5*u + 2*o + 2. Which i