-12.7 - -12.5. Let a = o + q. Are a and -1 unequal?
True
Let s(t) = t**3 + 6*t**2 - 7*t - 3. Let x be s(-7). Let u(y) = y**3 + y**2 + 3*y + 2. Let f be u(-1). Let a be -3 + f - (-28)/8. Is x < a?
True
Suppose 0 = -68*i + 74132 + 5156. Are 1167 and i unequal?
True
Let d = 544 + -544.2. Is -1/12 less than d?
False
Suppose 141 = 14*q - 573. Which is greater: q or 50?
q
Let t(b) = -b**2 + 32*b - 233. Let k be t(13). Which is bigger: k or 13?
k
Suppose 4*u + 3*p = -33, p + 4 = -2*u - 3*p. Let w = u + 15. Suppose 3*j + w = -3. Is j less than or equal to -4?
False
Let d = 0.3 + -0.2. Let t(s) = -s**3 - s + 2. Let j(x) = x**2 - 12*x - 12. Let w be j(13). Let k be t(w). Are k and d non-equal?
True
Suppose 19 = 22*t - 3*t. Is t at least -1/148?
True
Let x = 71.8 + -72. Is -0.0153 > x?
True
Let n(l) be the first derivative of -15*l**4/4 - 2*l**3/3 + l + 1. Let p be n(-1). Is 14 smaller than p?
False
Let a be -3 + (-5 - (-26)/4*-4). Is a smaller than -30?
True
Suppose 38 = -4*d + 154. Suppose -d*z + 6 = -27*z. Is -8 < z?
True
Suppose -5*q = -4*r - 29, 4*q + 0 = -r - 2. Let x(l) = l**3 + 2*l**2 - 5*l - 3. Let g be x(-3). Let j be ((-9)/g)/((-2)/(-4)). Is j smaller than r?
False
Let c = 31 - 20. Suppose -2*q + 6 = -2. Suppose -d - q = 2*k, -k - 2*k + d - c = 0. Is -3 equal to k?
True
Let p(q) = -q**2 - 22*q - 30. Let r be p(-21). Let u be 40/(-18) + (-2)/r. Is u > 7?
False
Let p = -432 - -423. Are p and -18 equal?
False
Let t = -2/269 + -4021/1883. Suppose 2*o + 29 = 5*h, -20 = 2*o + 3*o - 2*h. Is t less than o?
True
Let z be (-5*(-6)/5)/2. Suppose 4*l + 25 = 3*d, 2*d + z*d - 27 = 3*l. Let r = d - 6. Which is bigger: r or -2?
-2
Suppose 0 = 4*x - 280 + 348. Is x less than -20?
False
Let f be (-12)/(-20) + (-74)/(-10). Let a(v) = -v**2 - 22*v - 86. Let y be a(-16). Is f < y?
True
Let d(v) = 5*v - 6. Let a be d(11). Suppose 3*o - a = 41. Which is greater: o or 29?
o
Let y = 11/64 + -205/448. Is 184 > y?
True
Let v = 24 - 25. Suppose 0 = -7*d + 30 - 65. Which is greater: v or d?
v
Let y = 460/11 + -42. Let d(o) = o - 2. Let z be d(-6). Let i = -8 - z. Which is bigger: y or i?
i
Suppose 80 = -15*z + 31*z. Which is smaller: -0.03 or z?
-0.03
Let x(a) = 7*a**3 - 4 + 14*a**3 + 3*a - 2*a**2 + 2. Let y be x(1). Let r = 27 - 8. Which is smaller: r or y?
r
Let p = -5903 + 5739. Let s(w) = 53*w - 4. Let g be s(-3). Is g bigger than p?
True
Let k(h) = -h**3 + 10*h**2 + 29*h + 16. Let u be k(15). Which is bigger: u or -675?
u
Let b = -22 + 27. Suppose 6 = -6*z + b*z. Let q be z/9*6/4. Is q >= -5?
True
Suppose -h - 5*v - 2 = -2*h, 0 = 3*v. Suppose -17*m + 32 = -19. Let x be -3 + (m - ((-18)/(-14) + -3)). Which is greater: h or x?
h
Let n be ((-4)/(-10))/((-38)/(-1045)). Suppose -4*a - 2 = -4*j - 3*a, -5*a = j - n. Is j less than -2/101?
False
Suppose -325*x + 313*x = 72. Suppose 0 = -4*l - 2*m - 6 - 0, 2*l = 3*m + 9. Which is smaller: l or x?
x
Suppose 919 = 18*p + 847. Are p and -73 equal?
False
Suppose 21*l - 11 + 32 = 0. Is -2/151 less than l?
False
Suppose p - 12 + 3 = 0. Suppose 5 - 5 = p*i. Is -3/86 > i?
False
Suppose -18 = -y - 6. Let f(a) = -a + 13. Let m be f(y). Let r be 0*(-2)/(-4)*m. Is 2/15 equal to r?
False
Let r = -10.2 + 109.2. Let s = 170 - r. Do -2/5 and s have the same value?
False
Let j = 0.205 + -0.005. Which is smaller: -0.42 or j?
-0.42
Let p = -32 + 35.2. Let x = -15.8 - p. Is x at most 0?
True
Let q be (-3 + (2 - 1))/(-13 + 0). Suppose 5*t + 2*u - 5*u - 1 = 0, -5*u + 21 = 3*t. Is t <= q?
False
Let z = 42 - 61. Let q = 18 - 18.1. Which is greater: q or z?
q
Let o be (-150)/171*(-240)/50. Is o at least as big as 4?
True
Suppose -4*h - 191 = 4*k - 891, 3*h + 2*k - 528 = 0. Which is greater: 179 or h?
179
Let y be 4/(-6)*(-5 - -2). Suppose q = 2*q - y. Suppose 0 = -2*k - q - 2. Is k at least as big as -7/4?
False
Suppose 13*r = 9*r + p + 10, -p = -r + 1. Let d = 0 + 0. Which is smaller: r or d?
d
Let n = -137 + 93. Let m = -70 - n. Which is bigger: m or -25?
-25
Suppose 1 = -2*h - u, 3*h = 3*u - 0*u - 6. Let f = -6 - -5.95. Do h and f have the same value?
False
Let n = 1.486 - 1.5. Let c = 617/4 + -1859/12. Which is smaller: c or n?
c
Let o = -2 + 4. Let v = 48946/5 - 9860. Let x = -71 - v. Is x != o?
True
Let k = -80 - -87. Let w = k - 10. Which is smaller: 2/7 or w?
w
Suppose -85*t + 80 = -75*t. Is 7 at least as big as t?
False
Let p be 20/35 - (-231334)/322. Is 719 smaller than p?
False
Let s = 20 + -13.5. Let n = -11 - -4. Let r = n + s. Which is smaller: r or 1?
r
Let l = -3 - -2. Let h = -1749.67 + 1750. Which is smaller: l or h?
l
Let k = -2078194/285 - -36527/5. Let j be (2/(-456))/((-3)/(-6)). Let y = k - j. Which is greater: 14 or y?
14
Let c = 215 + -122. Suppose c = 18*b - 21*b. Is -33 greater than b?
False
Let a = -759 + 748. Are a and -8 nonequal?
True
Let x be (6/183)/(110/(-445)). Let v = -3/61 + x. Is v != 0?
True
Suppose -3*l - 12 = 3*z - l, -25 = 5*z + 5*l. Let h be 7 - (-4 + 15) - -1. Which is smaller: z or h?
h
Let o = -44.085 - -0.085. Let s = -43.5 - o. Which is bigger: 0.04 or s?
s
Let t = -1023/5 + 205. Which is bigger: t or 125?
125
Suppose -51 = -3*r + 3*o, -143 + 34 = -5*r - 3*o. Let h be (48/10)/(4/r). Suppose -h = 6*k - 2*k. Is -6 less than or equal to k?
True
Suppose -6*b + b = g + 30, -54 = 3*g - 3*b. Which is smaller: -25 or g?
-25
Let m be 26/8 + 9 + -9. Let x = m + -251/76. Which is greater: -1 or x?
x
Let p be 1/1 - 3 - -4. Let y(x) = x**3 - 2*x**2 + 2*x - 3. Let l be y(p). Let n = 245 + -1221/5. Do n and l have the same value?
False
Let y be 0*(-4 + 36/8). Suppose 3*o + 10 = -y*h - h, -h - 4*o - 12 = 0. Which is smaller: -9 or h?
-9
Let l = 54 - 29. Suppose 4*q + 104 + 0 = 0. Let z = q + l. Are z and 2 unequal?
True
Suppose 0*b + s + 12 = 2*b, 0 = -b + 4*s + 20. Suppose -2*x = 5*n - 6 - 9, 12 = x + b*n. Let m be 366/63 - (-5 - -11). Which is smaller: m or x?
m
Let y = 543274/81 - 6707. Which is smaller: y or -1/4?
-1/4
Let p = 0.69 + -0.99. Which is greater: p or -0.133?
-0.133
Let w(d) = d - 3 + 7 + 8 + 0*d. Let c be w(-15). Which is greater: -3/2 or c?
-3/2
Suppose 4*q + 4*l = -556, -4*l = 14*q - 15*q - 159. Is -144 <= q?
True
Let i(t) = -4*t + 33. Let m be i(8). Which is smaller: m or 1/32?
1/32
Let l = 29040 - 202836/7. Let k = 63 - l. Are k and -1 nonequal?
True
Let w be (-121)/(-44) + 1*-3. Let k = -66 - -39. Which is smaller: w or k?
k
Let r be 0 - 0 - (-2 - -1). Let n = r + -1. Suppose -17*d = -6*d - 11. Is d less than or equal to n?
False
Let v = -1100 - -3293/3. Which is greater: -0.05 or v?
-0.05
Let c be 15/(-6)*(-132)/1860. Which is smaller: c or -1?
-1
Let h = 338 + -328. Let b be (-1)/(3 - (-28)/(-10)). Let r = b + 13. Which is greater: h or r?
h
Let t = 87 + -87.956. Let d = -0.044 + t. Is d >= -3/4?
False
Suppose 56 = 12*b - 472. Let t = b - 50. Are t and -2 equal?
False
Let z(i) = i - 2. Let r be z(7). Suppose 0*f - f - 69 = -2*u, 0 = r*f + 5. Does 34 = u?
True
Let m = 170983/9960 + -1/3320. Which is smaller: m or 18?
m
Suppose 0 = 4*m + 12, 0*k = 2*k + 2*m - 26. Suppose -2*h + t = -4*h - k, -2*h + t - 12 = 0. Which is smaller: -3 or h?
h
Let b = 52.336 + -5.276. Let w = b + -47. Which is smaller: 0.1 or w?
w
Let h = -1626 + 1629.766. Let w = h - 0.066. Let o = 1.7 - w. Which is smaller: 0.2 or o?
o
Suppose -3 = 3*s - 0*o - o, 4*s - o + 3 = 0. Let j be -12 + (s - (-3 - (-4 + 4))). Which is smaller: j or 3?
j
Let w be ((-8)/16)/((-1)/4). Let q be ((-9)/2 + -2)*w. Let r = q + 12. Which is smaller: -2/5 or r?
r
Let k = -0.19 + 7.19. Let o = -101/35 + 23/7. Is k < o?
False
Let k be (-1)/(-6)*8*15. Let y = k - 16. Suppose 2*i - y = 0, -5*i = -0*t + 5*t - 65. Which is greater: t or 12?
12
Let u = -1697 - -1700. Which is greater: 9/17 or u?
u
Let l(g) = -5*g. Let v(b) = -6*b + 1. Let r(f) = -5*l(f) + 4*v(f). Let n be r(-22). Is n less than -58/3?
False
Let m = -181 + 114. Which is smaller: m or 2/7?
m
Let x = -138.296 + 138.2. Is 0.1 at least x?
True
Let l be (-4 - 29)/(0 - -1). Let r = 197/6 + l. Let j(f) = -12*f**2 + 251*f + 22. Let s be j(21). Which is smaller: r or s?
r
Let m(n) = 6*n - 33. Let s be m(0). Let c be (s/30 + 1)*-4. Let g = 2 - 2.3. Is c > g?
True
Suppose -2*o - 54 = 4*m - 0*o, 0 = -3*m - 2*o - 42. Which is smaller: 24 or m?
m
Suppose 4*a + 3*u - 19 = 0, 0*u - 8 = -2*a - 2*u. Suppos