23
Suppose -63 = 6*m + 45. Let t = m - -25. Suppose -4*o + t*o = 0. Is o >= 0?
True
Let m = -139 + 145. Is 0.1 <= m?
True
Let v(y) = -y**2 + 4*y + 9. Let i(f) = f**2 - 5*f - 10. Let s(t) = 3*i(t) + 4*v(t). Let c = -90 - -87. Let d be s(c). Is d <= -5?
True
Let w(y) = 8*y + 27. Let c be w(-6). Let o be c/(-28)*(-10 + -2). Is o < -23/3?
True
Let k be 86/(-215) + 37*1/(-170). Which is greater: -2 or k?
k
Let q be -8 + (10 + -6)*1. Is q equal to 5?
False
Suppose 10*p - 4*t = 7*p, 5*p - t = 0. Which is greater: 18/71 or p?
18/71
Let o = -2.09 - 51.91. Is o bigger than 2?
False
Let g = 1519/3 + -507. Does g = 306?
False
Let h = -2145 + 2145.03. Is 0.118 bigger than h?
True
Let y be 8/10 + 6/30. Suppose -7 - 17 = 4*d. Let n be 6/28*(-2)/d. Is n < y?
True
Let u = 0.91 - -4.09. Let i = 57 - u. Is 1/4 <= i?
True
Let a = 348 - 250. Is 97 >= a?
False
Let w be (-8)/(-52) - 93/13. Let a = w + 12. Let b be (-3)/(-1 + -3 + a). Is b > -1?
False
Suppose 4*r + 2*q + 0 = 2, -5*q = 3*r + 16. Suppose 0 = -0*d - r*d + 18. Is d smaller than 6?
False
Let q be 6/(-21) - (-1 - 1396/(-112)). Which is bigger: -13 or q?
q
Suppose 4*a - 2*a = 5*o + 31, 4 = -2*a - 2*o. Suppose -a*r + 35 = 2*r + 5*c, 5*c = 4*r - 10. Suppose 0 = 2*s - r + 9. Does s = -5/6?
False
Let z be 3 - 96/9*-12. Is 132 greater than or equal to z?
True
Let i = 214 + -242. Let p = 51 - 77. Let z = i - p. Which is smaller: -11/5 or z?
-11/5
Let o = 24 + -27. Let t(m) = m**2 + 2*m - 4. Let y be t(o). Which is bigger: y or -2/35?
-2/35
Let i be 9/(-2)*(-7 - 46/(-6)). Suppose -d + 33 = -3*b, 7 = -4*b - 2*d - 47. Let u be (2 + b/9)*-6. Is i < u?
False
Let q = 2061.79 + -2062. Which is smaller: q or 2/15?
q
Let x be -1*4/(-3)*(-666)/(-444). Is x greater than or equal to 32/17?
True
Let w = -28 + 20. Let h(p) = -p**2 - 9*p + 2. Let v be h(w). Suppose -3*r = 11 + v. Is r <= -3?
True
Suppose 8 = -4*j, 0 = -3*a + 6*a + 4*j + 8. Suppose a = 3*s + 2*s + 120. Which is greater: -23 or s?
-23
Let v be 0 - (41 + (2 - -2)). Let l be 3/v*80/(-24). Suppose -2*y = 3*y - 5. Which is bigger: l or y?
y
Let l = 723.92 - 724. Which is bigger: l or -8/5?
l
Let g = -421 - -412. Let f be (86/(-10))/(7/7). Which is greater: f or g?
f
Let b be 3 - 1 - (-7 - 4710/(-25)). Is b bigger than -180?
True
Let k be 360/(-1680)*4/(-3). Is k >= 367?
False
Let c = -1590 - -1572. Let d be (-1)/(-1) + (-2)/6. Which is bigger: c or d?
d
Let j = 19/5 + -219/55. Let p = -9411 + 28232/3. Which is smaller: j or p?
p
Let c be (1/(-30))/(1/(-2)). Let m(a) = a**2 - 4*a - 2. Let f be m(5). Suppose -3*q = g + 15, -2*g - f*g - 10 = 2*q. Which is greater: c or g?
c
Let z = 57 - 90.3. Let q = z + 34. Which is smaller: q or 1?
q
Let t = 307 + -319. Is t < 2/7?
True
Let b be 7/((-14)/(-50))*1. Which is greater: 23 or b?
b
Let r(h) = -h**2 + 7*h - 4. Let s be r(6). Suppose -s*z + 4 = -0*z. Suppose -b = -z*w - 11, -4*w - 2*b - 7 = -b. Is -2 bigger than w?
True
Let k be 1 + 0 + (-3)/6. Let s be (6/(-8))/(-3)*4. Let d be -3 + s - (-4)/(-4). Which is smaller: k or d?
d
Let j be 298/(-6) + 1/(-3). Let p = -6959 + 6909. Do p and j have the same value?
True
Let u = 2515/3 - 867. Is u >= -29?
True
Suppose -73*j + 17 = 90. Is -3/134 at least as big as j?
True
Let d = 0.0341 + 1675.9659. Are -0.1 and d equal?
False
Let a(c) = 17*c - 150. Let b be a(0). Which is smaller: -152 or b?
-152
Let k(q) = -7*q - 19. Let a be k(-4). Suppose a*t = 7*t + 4. Are t and 1 equal?
False
Let m = 0.25 - 3.25. Let v = m - -5. Let o = v + -1.8. Is o bigger than -2/3?
True
Let p = 2 - 0. Let f be p + -1 + 1 + -1. Suppose 2 + f = l. Is l >= 3?
True
Let i(j) = 6*j + 7. Let o be i(-3). Let t(f) = -f - 11. Let k be t(o). Are k and -11 equal?
False
Suppose 2*b - 5*b + 9 = 0. Suppose b*n - 47 = -d, 3*n + 0*n + 5*d = 43. Suppose n = -2*l + l. Which is greater: -15 or l?
-15
Let v = -1168 - -1168.12. Which is smaller: 0.54 or v?
v
Let c(s) = 3*s**2 + 5*s - 7. Let k be c(-3). Suppose k*a + 19 + 26 = 0. Is a less than 1/2?
True
Let t = 6 - 5. Let m = -3179/8 - -398. Does m = t?
False
Let w = -380 - -380. Is w less than or equal to -15/98?
False
Let m = 141 - 162. Which is smaller: m or -3?
m
Let k = -25 - -29. Suppose k*z = 7*z - 21. Let u be (-25)/z - (-14 - -11). Is 0 smaller than u?
False
Suppose -4*x - 4 = -20, 4*d = -3*x - 228. Do d and -59 have the same value?
False
Let n(j) = -j**3 + j**2 + 8*j + 7. Let q be n(4). Which is smaller: -5 or q?
q
Let r(n) = -2*n**3 + 31*n**2 + 58*n - 10. Let k be r(17). Which is smaller: k or 104?
104
Let b = -19 - -6. Let o = -12 - b. Suppose -f + 6 = 8. Which is greater: o or f?
o
Let x = -307 + 346. Which is smaller: 36 or x?
36
Let q = 1/195 - -77/195. Which is bigger: q or 168?
168
Let a be 6/4*(-140)/7. Let r = 26 + a. Which is bigger: -11/3 or r?
-11/3
Suppose -4 = 3*o + 2, -5*q = o - 33. Which is smaller: q or -66?
-66
Let z be -3*(-1)/(6/(-8)). Let n be (2 - 24)/(-2 - z). Let q(i) = 11*i - 55. Let p be q(4). Are p and n non-equal?
False
Suppose 0 = -c + 2*l + 23 + 11, c = -3*l + 9. Let j be ((-2)/c)/((-51)/24). Which is bigger: 1 or j?
1
Let b(x) be the third derivative of -x**4/24 + 4*x**3/3 + 7*x**2. Let s be b(6). Suppose -s*v - 12 = -6*v. Is 7/2 != v?
True
Let w(l) = l**3 + l**2 - 2*l + 2. Let f be (0 - -6)/(-5 - (1 + -4)). Let m be w(f). Which is smaller: -8 or m?
m
Suppose 636 = 3*h + 5*f, -h + 10*f - 6*f = -229. Which is bigger: h or 216?
h
Let a be 1/(-4 - 0 - -5). Suppose -5*i = -i + 3*g - 7, 4*g = -5*i + 9. Let w be i/3*3/(-11). Which is greater: w or a?
a
Suppose -143*s + 138*s = -4*p + 2761, -2*p + s = -1385. Is p less than 695?
True
Suppose 0 = 3*d - 5*d + 22. Let j = d - 10. Let l = -0.24 + 2.24. Is l > j?
True
Let t be 11*9/594*2*219. Is t less than or equal to -1/4?
False
Let n = -1 - -1. Let z = n + -0.1. Let c(m) = -m**2 - 3*m + 4. Let o be c(-4). Is o less than or equal to z?
False
Suppose 0 = z - 3*v - 5, z + 5*v + 1 = 2*v. Suppose r = -n, 0*n + z = 5*r + 4*n. Which is greater: r or -3?
r
Let d be (-1786)/1790 + (-4)/(-1 - 3). Let c = d - 1081/83235. Which is smaller: -0.1 or c?
-0.1
Let x be (-1)/(8/12) - -1. Let a = -333 + 335. Which is smaller: a or x?
x
Suppose 55*n = 16*n. Which is bigger: 2/185 or n?
2/185
Let n = -14 - -2. Let m be (-256)/(-20) + -12 + 296/(-20). Is n at most as big as m?
False
Let m be (128/(-18) + 7)*(2 + 31). Which is smaller: -4 or m?
-4
Let w(p) = p**3 - 12*p**2 + 10*p - 14. Let f be w(11). Let j be (1 - -4)*15/f. Let c be (-2)/((-20)/(-12) + -1). Is j > c?
False
Let v = -4 + 8. Suppose -a + 3 = -0. Suppose 8 = a*m - 1. Is m equal to v?
False
Let t = -3 - -2. Let w = -189 - -157. Which is smaller: w or t?
w
Let s = -5 + 20/3. Let d = -2234 + 2237. Which is bigger: d or s?
d
Let v be (-1)/(13 + (-9)/1). Which is smaller: 4.5 or v?
v
Let f = -361/5 + 3359/45. Let m = 79/36 - f. Is 4 at least as big as m?
True
Let z = -617 + 9259/15. Which is smaller: z or 0?
0
Let m = -0.194 + -0.026. Is m <= 3?
True
Let z be 95/(-7)*2/5. Suppose 30*f + 19 = -161. Which is smaller: f or z?
f
Let d = -204 - -204. Which is bigger: -2/129 or d?
d
Let o be (-4)/14 - 491008/10447. Let c = -1/10447 + o. Let d = c + 47. Which is greater: d or -1/4?
-1/4
Let l(u) = -u**3 - 4*u**2 + 5. Let v be l(4). Which is smaller: -122 or v?
v
Let r(c) = c + 43. Let l be r(-34). Which is greater: 8 or l?
l
Let j be (-78)/(-9)*(-21)/(-14). Suppose 3*g = 4*r + j, 4*g - 2*r - 3 = 3*g. Do g and -3 have the same value?
False
Suppose 2*v + 6 = -5*x, -12 = -5*v + 4*x - 3*x. Suppose a = 5*p - 36, -4*a = -0*p + v*p + 122. Do -30 and a have the same value?
False
Suppose -22*g = 1022 + 1574. Which is smaller: g or -117?
g
Let z(v) = v**3 - 9*v**2 + 6*v - 26. Let s be z(9). Is s at most 4/3?
False
Suppose 3*r = 26 - 2. Let p be 4/r*12 + 0. Let d = p + -5. Which is greater: -1/11 or d?
d
Let c = 470 + -7987/17. Suppose 5*b - 40 + 15 = 0. Suppose 0 = -k + b*k + 4, 4*k + 7 = -3*x. Which is greater: c or x?
c
Let b = -234 - -220. Which is greater: b or -18?
b
Let p(v) = 4*v - 6. Let h be p(5). Let b be 2/2 - (-89 + -1)/(-6). Let m = b + h. Which is smaller: m or -3/8?
-3/8
Let c(m) be the third derivative of -1/120*m**6 + 3*m**2 - 2*m**3 + 0 - 1/12*m**5 - 1/12*m**4 + 0*m. Let a be c(-5). Is a not equal to -3/5?
True
Let k be (((-155)/124)/((-1)/4))/1. Suppose -p -