+ t - 2*a. Suppose 0*i = 4*i - t. Let s = 2029/370 + 3/185. Which is smaller: i or s?
s
Let u(g) be the second derivative of -g**4/12 - g**3/2 + 11*g**2/2 - 4*g. Let z be u(-5). Let f be (z + 0 + -1)/(-1). Do f and 1/10 have different values?
True
Suppose 5*j + 5*r = 3*r + 16, 5*r - 7 = 4*j. Let q(b) = -b**3 - 15*b**2 - b - 14. Let y be (1 + 64/(-4))/1. Let d be q(y). Is j <= d?
False
Suppose -2*h = 5*u - 27 - 58, -2*h + 61 = -3*u. Which is smaller: 34 or h?
34
Let n(m) = 3*m**2 + 2. Let s(x) = 5*x**2 + 5. Let w(l) = -5*n(l) + 2*s(l). Let z be w(-1). Which is bigger: -1 or z?
-1
Suppose 0 = -5*b, -65 + 235 = -2*r - 2*b. Let y be (-2074)/r + 4/(-10). Do y and 22 have the same value?
False
Let o = -53.6 + 54.6. Which is smaller: o or -289?
-289
Let k(m) = m**3 - 7*m**2 + 2*m - 5. Let z be k(7). Suppose z*j = 14*j - 5. Is j less than or equal to 0?
False
Let s = 333.7 - 318. Let t = s + -17. Let g = t + -0.7. Is g at most 2?
True
Suppose 0 = -0*d - 2*d - 28. Suppose 3*p + 38 + 1 = 0. Is d >= p?
False
Let j be (-2900)/(-15345) - (-24)/(-132). Which is smaller: j or -1?
-1
Let n = 141 - 136. Suppose 0 = n*o - m - 25, -3*o + 5*m + 7 = -30. Is o != -0.1?
True
Let h = -75 - -91. Suppose -h - 20 = -4*z. Is z < 7?
False
Suppose -7*y + 8*y = 6. Let c = -12 - y. Let s = 14 + c. Which is greater: -5 or s?
s
Let s(v) be the first derivative of v**4/4 - 10*v**3/3 + 2*v + 2. Let q be s(10). Let r be 9/9 - 2*q. Which is smaller: r or -4?
-4
Suppose 13*u - 11 = 12*u. Suppose 227*x + 16 = 229*x. Is u > x?
True
Let u = 68 + -67. Which is bigger: 121 or u?
121
Let s = 16.21 - 16.21. Is s equal to 246/17?
False
Let q = 1560 + -4499/3. Let j be 2145/35 - (-4)/(-14). Let u = q - j. Is u greater than 1?
False
Let w = -11 - -20. Let t = w - 7. Suppose 3*s - t*s = 1. Which is smaller: 8 or s?
s
Let x = 1875/8684 - 20/167. Suppose -2 = -h - 3. Is x smaller than h?
False
Let j be (((-8)/3)/(-4))/(4/12). Suppose -5*b + 2*h - 254 = 0, -5*b + h + j*h - 256 = 0. Is -51 > b?
False
Suppose 0 = -3*p - 2 + 8. Suppose 5*y + l = 46, -2*l + 55 = 4*y + 17. Suppose -p*z = -4*g - 4, -z + 25 - y = 5*g. Which is bigger: 4 or z?
z
Let y be 14 + -8*1/2. Let a be -2 + ((-9)/7 - y/(-35)). Is -26/9 >= a?
True
Suppose t + 13 = 5*k, 2*k - 11 = 2*t + 7*k. Let l be 88/(-836) - 581/76. Is l smaller than t?
False
Let j(p) = p**2 + 4*p + 2. Let v be j(-4). Suppose -2*k - 4*l - 17 = -k, -2*l + 24 = -v*k. Are -13 and k nonequal?
False
Let u = 19 - 3. Let w = 27.9 + -25.9. Which is smaller: w or u?
w
Let s(p) = 4*p - 2. Let a be s(1). Suppose 0 = -5*j - 5, m - 4*j - a = 4. Let w be 16/(-4) + m + 0. Which is smaller: 0 or w?
w
Let u(n) = -7*n - 25. Let m be u(-6). Suppose 3*d - m = -3*x - d, 2*x - 3*d + 17 = 0. Are x and -3/26 equal?
False
Let q = 192 + -200. Let r = -23 + 20. Which is greater: r or q?
r
Let w(b) = b + 3. Let j be w(-3). Let a be (2 + j - 3)*0. Suppose -2*s + 2 + 0 = a. Is 1 equal to s?
True
Let o = -51.066 - -0.066. Let d = o + 49. Is d greater than or equal to 3?
False
Let x = 14349/23 - 624. Which is bigger: x or -1?
x
Let i be (-354)/(-42) - (1 - (-8)/(-14)). Let u be i*2/(-7 - -1). Is -3 greater than u?
False
Let j = -25.3 + 26.9. Is j greater than or equal to -8/3?
True
Let i be 20/100 - 34/(-5). Let t be (-14)/i + (2 - 1). Which is greater: t or -1/32?
-1/32
Let h be ((-84)/(-70))/(1/5). Suppose -4 = p - 5*c, p - 3*c = h*p - 36. Is p less than 6?
False
Let r = -6.36 - -6.3. Let h be 22/6 - 2/3. Suppose 1 + 5 = h*b. Are b and r non-equal?
True
Let a(q) = 38*q. Let d be a(-1). Let g be (4/(-6))/(2/(-117)). Let o = g + d. Which is smaller: o or 5/3?
o
Suppose 0 = m, 4*o + 293 = -5*m + 101. Which is smaller: -242/5 or o?
-242/5
Let j(p) = p**2 - 9*p + 7. Let v be j(8). Let r(f) = f**3 + 3*f**2 + 2*f + 2. Let n be (0 + (-3 - -2 - 1))/1. Let l be r(n). Which is greater: v or l?
l
Let r(v) = 5*v**2 - 31*v + 9. Let m be r(6). Suppose -m*l = 0, 5*k - 4*l - 70 = -6*l. Which is smaller: k or -4?
-4
Let o = 8 - 3. Suppose 0 = o*w - 2*w - 15. Let l = w - 10. Is -5 at least as big as l?
True
Let d be (-2 + 3)*-3 + -3. Let v be -2 + (-21)/d + -1. Which is smaller: v or 2?
v
Suppose -8*f + 4*f = -8. Suppose 0*q = q - f. Suppose -3 = q*j + j. Which is bigger: j or -7/6?
j
Let s be (2/(-4))/((-2)/16). Suppose 0 = -w, -2*w - s = -q + 15. Suppose -3*p + 3*z = -9, -3*p + 10*z + q = 5*z. Is p at least -2?
True
Let d = -698 - -599. Which is bigger: d or -501/5?
d
Let w = 1.3 - -1.5. Let s = w + -3. Let t = -1.36 - -1.3. Which is smaller: s or t?
s
Let g = 93/110 + -1/22. Let k = g + -22/15. Let u = 0.3 + -0.3. Which is bigger: k or u?
u
Let p = -82 + 31. Let s = 307/6 + p. Let a = -107 - -747/7. Which is greater: s or a?
s
Let m = -328.915 + 329. Which is smaller: 3 or m?
m
Let n = -0.2 - -0.1. Let o = -0.1 - n. Suppose 18*v - 17*v - 5*k = -29, -5*v + k - 25 = 0. Are o and v non-equal?
True
Suppose 4*p - 20 = 32. Suppose -z = 3*b - 0*z + 5, -3*b + z = p. Let q be (3 + 0)/(-1) - b. Which is smaller: q or -2/17?
-2/17
Suppose -22*c + 12*c = 410. Is -45 less than or equal to c?
True
Let v = -188/5 - -1311/35. Let f = -5 - -2. Let l = f + 3. Is l greater than v?
True
Let g = 13.5 - -3.5. Let w = 18 - g. Let l = 3.8 + -4. Is w at least l?
True
Let z be ((3 - (-178)/22)/2)/3611. Let u = z + 1/157. Which is smaller: u or -1?
-1
Suppose 4*q + 10 = -5*v - 10, 0 = -3*q + 2*v - 15. Let n = 0.19 + -0.17. Let p = n + -0.02. Which is bigger: p or q?
p
Suppose -5*x - 15 = 5*c, -2*c - 7*x - 5 = -4*x. Is -6 bigger than c?
False
Let g = 1159/41318 + -6/283. Let b be (-6)/(-4)*(-6)/9. Which is smaller: g or b?
b
Let a = -1.4 - 5.6. Let z = 2333 - 2333. Is z greater than or equal to a?
True
Let v = 2675 + -3105. Is v <= -861/2?
False
Let x(o) = -6*o - 21. Let s be x(-8). Which is smaller: s or 28?
s
Suppose 10530 = -34*b + 3968. Is -195 at least b?
False
Let z be (24/(-10) - -2) + (-74)/(-10). Suppose -c - z = -3. Which is smaller: -3 or c?
c
Let q = 333 + -333. Is -4/2199 > q?
False
Let r = -5.312 - -0.012. Let b = -8 + 13. Let g = b + r. Which is bigger: g or 2/3?
2/3
Let m be 0 - 4/30*(-162390)/(-400). Let n = -217/4 - m. Are n and -1 equal?
False
Suppose 2*f = 10*f - 120. Suppose -5*u + 62 = -4*s, -32 = -2*u - 4*s + 2*s. Which is greater: f or u?
f
Suppose -110 = 3*m + 5*i, 12*m = 11*m + 4*i - 14. Is -31 less than or equal to m?
True
Suppose -232 = 4*o + b - 50, -4*b = -2*o - 100. Is -45 at least as big as o?
True
Let i = -2386423303/3792 + 629331. Let l = -3/158 - i. Let c = 61/624 - l. Which is smaller: 1 or c?
c
Let v = 19 - 16. Let f = 11 + -11. Suppose 2*a - 2 - 2 = f. Which is greater: v or a?
v
Let s be -1 + 1827/(-232) + (-1)/8. Are -109/12 and s non-equal?
True
Let n(v) = 9*v**2 - 23*v + 17. Let t be n(7). Are t and -1 equal?
False
Let t(q) = 3 - 1090*q**2 + 1089*q**2 + q + 9*q. Let a be t(11). Are a and -10 equal?
False
Let b be (0 - 0) + -2 + 3. Suppose 29*l = 17*l + 72. Is b equal to l?
False
Let b(c) = 11 + c + 4 - 17. Let i be b(1). Which is smaller: i or -2/149?
i
Suppose -3 = -3*n - z + 1, 0 = -n + 4*z - 3. Let j be (6297/12)/((-207)/372). Let r = j + 943. Is r at least n?
False
Suppose 20*s = -3070 - 110. Which is greater: s or -162?
s
Let t be 42/46 + 4/46. Which is greater: t or 2/4449?
t
Let y = -85 + 3996/47. Is y at least as big as 1?
False
Suppose c - 4*w + 224 + 716 = 0, 0 = 2*c - 2*w + 1892. Is 0.1 not equal to c?
True
Let x(t) = -2*t - 11. Let r(n) = -6*n - 32. Let u(k) = 6*r(k) - 17*x(k). Let a be u(-4). Suppose 5*y + 22 = 4*j - 3*j, 5*y + 10 = -5*j. Is a < j?
False
Suppose 9 = 37*h - 28. Let k = 681/65725 - 4/275. Let c = -489/2629 - k. Is h greater than or equal to c?
True
Let t = 0.0172 + 0.2128. Which is greater: t or -11?
t
Let s = 139 - 139.16. Let z = -0.2 + -0.16. Let j = z - s. Which is greater: -4 or j?
j
Let r = 215 - 1506/7. Are r and -15/2 equal?
False
Let m = -0.53 + 0.63. Are -83/3 and m equal?
False
Let m = -2371440/115423 - -2/10493. Which is smaller: -22 or m?
-22
Let d = 556 - 554. Is d bigger than 33?
False
Let h = -187/477 - -9/53. Is 44 <= h?
False
Let h = 2.4 + -3. Let y = h + 0.48. Let r = -0.32 - y. Is 0.2 greater than r?
True
Let s be ((-24)/10)/((-611)/940). Which is bigger: 3 or s?
s
Suppose 3 = d - 4*a + 17, 0 = 5*a - 20. Suppose 5*n + 33 = -d*o, o = 3*o + 8