. Let p = h + 12964/49519. Is p less than d?
False
Let l be 4 + -1*(2 - -2). Suppose 3*u + 0*u + 6 = l. Is u at least -2?
True
Let t = -19 + 23. Let b be 4/144*-2*t*-3. Is 59 bigger than b?
True
Suppose -5*j - 2*w + 37 = 0, 42*j - 46*j + 4*w - 4 = 0. Let l = -2 - -1. Let x be (-1)/(l/1) + 5. Is x != j?
True
Suppose 12167*h = 12165*h - 66. Let a be (-1 + -34 - -1) + 0. Is a not equal to h?
True
Let k(m) = 2*m**2 - 2*m - 205. Let a be k(0). Let i be -4 + 2*a/(-100). Which is greater: i or 0?
i
Let m = -1 + -3. Let n(t) = -2*t**2 - 24*t - 17. Let w be n(-11). Suppose x + 2*a = -6, -4*x + w*a + 2 = -0*x. Which is smaller: x or m?
m
Suppose 8*j - 9 = 79. Let y = j - 11. Is y greater than -2/17?
True
Let x(i) = -2*i**2 + 7*i + 7. Let m be x(-2). Is m at most as big as -21?
False
Let a be (8/(-6))/(2/(-3)). Suppose -5*i = -8 - a. Suppose 6*v - i*v = 4. Are -1/5 and v equal?
False
Suppose 4*f + 2*i - 146 = 0, -5*i + 3*i = 6. Do 41 and f have different values?
True
Let d = 0.27 + -1.02. Let y = -0.65 - d. Which is greater: -2/11 or y?
y
Let x(t) = -t**2 + 5*t. Let d be x(5). Suppose -2*o + 4 = 2*j, 3*j - 18 = -0*j + 3*o. Suppose g + j*g = d. Which is smaller: 1 or g?
g
Let a = -41 + 26. Suppose -3*m + 3 = -9. Suppose -d = 3*f + 2*d + 63, 74 = -m*f - 2*d. Which is smaller: a or f?
f
Let r be (14/69)/((-1)/6). Let v = 11/161 - r. Which is smaller: 2 or v?
v
Suppose -2*s - 1097 + 1095 = 0. Is s less than -15?
False
Let k(x) = x**2 + x - 1. Let y be k(0). Suppose 5*f + 6 = -4*m, 3*m + 2*m = f - 22. Let v = y + f. Is v != 1?
False
Let d = -125 - -95. Let m be (0 + 1)/(d/(-4) - 4). Are 14 and m unequal?
True
Let t = 10 + -10.45. Which is smaller: t or 2?
t
Suppose 3*s = 2*z - 11, -4*s + 5 = -z + 28. Let j = s - -10. Suppose j*b = -2*q - 3 + 7, 6 = -3*b + 3*q. Do b and -2/21 have different values?
True
Suppose 3*q = -i - 21, 0 = -5*i - 0*q + q - 25. Let o = i + 22. Let h = o - 12. Is 5 at most h?
False
Let y = -6 + 9. Suppose -5*a = -5*m - 45, -5*a + 4*m + 6 = -35. Suppose -71*z = -66*z - a. Which is smaller: y or z?
z
Suppose 0 = 13*y + 868 - 1232. Suppose -5*j + 73 = 3*v, 4*v - 8*v + 2*j + 106 = 0. Is y smaller than v?
False
Let f = 0.0368 + 41.9632. Are -0.9 and f non-equal?
True
Let b = 7/20 + 263/20. Let p(f) = f**2 + 14*f + 14. Let n be p(-14). Is n <= b?
False
Let j = -19 - -24. Are j and 2/9 nonequal?
True
Let g be (-12)/(-9)*(-18)/(-12). Let u be 2*3/12*g. Let x be (-39)/(-99) - 2/3. Is u greater than x?
True
Let n(w) = 8*w - 33. Let a be n(4). Let u(l) = l**2 + 5*l + 4. Let z be u(a). Is z less than 1/175?
True
Suppose -5*v = w - 36, 7*v = 5*v - w + 15. Which is smaller: 2 or v?
2
Let f be (-240)/(-34) - (-155)/(-2635). Suppose 19 = d + 3*a, 0 = -3*d + d + 2*a - 2. Suppose d*s + 8 = -5*q + 2, -3*q = -5*s - 26. Is f != q?
True
Let g = 8.3 + -8. Let n = 2.05966 + -0.05966. Which is greater: n or g?
n
Let k = -304 + 372. Is 63 at least as big as k?
False
Let t = 275 + -305. Is t at least -26?
False
Let l = -97/3 - -179/6. Let s(r) = r**3 - 3*r**2 + 6. Let d(k) = 4*k**3 - 8*k**2 + k + 19. Let f(x) = -2*d(x) + 7*s(x). Let m be f(-4). Which is bigger: m or l?
l
Let w = 17 - 14. Suppose -s - 3*n + 912 = -w*s, 0 = 3*n. Let v be s/16 - 3/(-6). Is -27 at least as big as v?
True
Let q be 265/318 + 140/(-3). Which is smaller: q or -46?
-46
Let p(v) = v**3 - 5*v**2 + 1. Let u be p(4). Let o be u/(-6)*32/(-20). Let j be 1 + o - (-147)/39. Which is greater: j or 1?
1
Suppose 5*h = 3*h + 6. Suppose 8*c - h*c = -y + 22, -c + 3*y + 14 = 0. Suppose -c*o + 7 + 3 = 0. Which is bigger: 1 or o?
o
Let f be (2 + 7/((-1484)/428))*-12. Is f > -1?
True
Let z = 37 - 36.9. Let f be 39 + -1 + -6 + 8. Let x be 5 - 2 - f/14. Is z at most x?
True
Let q = 0.5 + 0.5. Let t = 3.969 - -0.031. Let f = t - 5. Which is bigger: f or q?
q
Suppose 0 = 2*u + 17 - 9. Is -3 < u?
False
Let s = 15.22 - -32.78. Which is smaller: -0.4 or s?
-0.4
Let w = 0.04 - -0.13. Let d = 2.17 - w. Which is bigger: d or 1?
d
Let y(j) = j**2 + 20*j + 32. Let o be y(-18). Let s be o/(-1) + (-640)/150. Let w(f) = f**2 + 4*f - 4. Let l be w(-5). Which is smaller: l or s?
s
Let q = 87634/5615 + -8/1123. Is 15 smaller than q?
True
Suppose -3*q + 2*g - 12 = 0, 0 = -q - 2*q - 2*g. Let x = -2327 - -2319. Which is smaller: x or q?
x
Let n = -749 + 782. Which is greater: 30 or n?
n
Let q = 1465 - 2705. Is -1240 > q?
False
Let x(t) = t**2 - 19*t + 37. Let f be x(11). Let d = 52 + f. Which is bigger: 31 or d?
31
Let v = -8 - -7.4. Let k = 4.3 - 3.35. Let p = -0.05 - k. Is p greater than or equal to v?
False
Suppose 0 = -4*h + 5*k + 13 + 3, 2*h = 4*k + 14. Which is smaller: h or -3/4?
h
Let b = -31 + 28.2. Let m = -58.9 + 59. Which is bigger: b or m?
m
Let g be 1*-5*4/(-30). Which is smaller: g or 27/7?
g
Let f(p) = -p + 5. Suppose o = 6*o + 50. Let l be f(o). Which is smaller: l or 16?
l
Let t = 0.126 + -0.186. Let a = -0.4 + 0.1. Which is greater: t or a?
t
Let o = 1245 + -818. Which is smaller: o or 428?
o
Let o = 0.67 - 0.07. Let r = 0.4 + o. Let y = 0.198 - 0.198. Is y smaller than r?
True
Suppose -3*t = 2*j - 6*t - 16, -5*j + 26 = -4*t. Suppose f - 5 = -4*v + 4*f, -3*v + 9 = 3*f. Suppose v*x + 0*x = -j. Is 1/20 >= x?
True
Let t be 3424/(-1408) - (-2)/11. Let r = -4 + 1. Let p be (-6)/9 + 7/r. Which is greater: t or p?
t
Suppose 0*z - 20 = -5*z. Suppose 2*w = 3*y - 22, -z*y + y + 26 = -4*w. Let p = 12 + -5. Which is greater: y or p?
p
Let p be 1 + 0 - 8/((-56)/(-33)). Suppose 9 = -4*x - s, 5*s = -0*x + 5*x + 30. Which is bigger: p or x?
x
Let n = 12.07 + -12. Let z = 12 + -12.37. Let y = n + z. Is 0.3 equal to y?
False
Suppose 4*z = 3*p + 3, 82*p - 79*p + 3 = 0. Which is greater: z or -2/3015?
z
Let q = 3318 + -3280. Let m be -2*1/(2/(-37)). Which is greater: m or q?
q
Suppose y - 2*i + 1 = 0, -3*i = -4*y - 109 + 105. Which is smaller: -1/1740 or y?
y
Let a be 18/4*(-24)/9. Let g be 3*(1/3 + 0) - 15. Is a greater than or equal to g?
True
Let z = 2 - -2. Suppose -z*k = -k - 3. Are k and -2/43 unequal?
True
Let t be 16/(-36)*-3 - (-44)/(-33). Does -2/441 = t?
False
Let s(m) = -m**3 - 5*m**2 + 2*m - 5. Let q be s(-5). Let z = 81 - 95. Is z smaller than q?
False
Let r = -2976/5 + 592. Is r less than 0.02?
True
Let l be (39551/(-96))/((-6)/(-9)*1). Let j = -618 - l. Which is smaller: j or -1?
-1
Let h = -2 + 1. Let r = -11611/3 - -3871. Which is bigger: r or h?
r
Let u = 759 + -844. Is u not equal to 0?
True
Suppose 28*p = 31*p + 162. Which is smaller: -53 or p?
p
Let i(b) = -b**3 + 2*b**2 + 3*b - 3. Let j be i(2). Suppose -j*w + 5*w - 4 = 0. Let k be (w/(-7))/(3/7). Is -1 at least k?
False
Let j be (162/12)/(-9) - 3228/72. Which is bigger: j or -47?
j
Let j = -0.152 - -0.156. Which is greater: j or -0.1?
j
Let t(s) = -s**2 - 2*s + 8. Let w be t(0). Suppose 0 = 3*d + 3*f + 18, -w*d + 3*f = -4*d + 10. Which is smaller: -1 or d?
d
Let v = -137/2 - -54. Suppose -3*p + 3*t = -2*p - 2, -12 = -3*t. Let j = p + v. Are -1/4 and j unequal?
True
Let a be ((-6)/(-2))/((-3)/(-2))*1. Let w = 2 - a. Do -2/3 and w have the same value?
False
Let n(g) = g**3 + g**2 - 3. Let s be n(0). Let t(x) = 1 + 19*x - 34*x + 14*x. Let f be t(1). Which is smaller: s or f?
s
Let u(x) = -x**2 + 7*x - 3. Let f be u(7). Let t be -5*(1 + -1 + f). Let w be t/(-6) + 3/2. Which is bigger: -2/25 or w?
-2/25
Let w(d) = 5*d**3 + d - 1. Let o be w(1). Let f = 6 + 43. Suppose o*q = 19 - f. Which is smaller: -5 or q?
q
Suppose 0 = -3*z - 2*u - 74, 4*z + 4*u = 2*z - 44. Which is bigger: z or -22?
-22
Suppose r - 272 = -3*r. Let b = 65 - r. Which is smaller: b or 2/3?
b
Let l(s) = 4*s - 73. Let z be l(18). Let q = 20437/223 + 14/669. Let f = q - 94. Which is greater: f or z?
z
Let u be (-6 - 0)*(-575)/(-3). Let k = u + 148354/129. Let w = k - 661/516. Is -2 > w?
False
Let f = -6.88 + 7. Let i = 1436.2 + -1436. Which is smaller: f or i?
f
Let z = -517 + 571. Is 2/5 greater than z?
False
Let r = 9 + -8. Let b = 1.1 - r. Which is bigger: b or -9?
b
Suppose -87 = -3*m - 12. Let g = m - 23. Which is bigger: 5 or g?
5
Suppose 3*h = 5 - 2. Let q = -623 + 633. Which is smaller: h or q?
h
Suppose 4*w = 5*g - 292, -4*w - 464 = g - 148. Do -78 and w have different values?
False
Let p = -10 - -8. Let h be 1 + 3 + p + -2. Which is smaller: -2/13 or h?
-2/13
Suppose 12 = -4*x - 4.