161.8 + -162. Is g > 0.5?
False
Suppose 5*i - m - 6 = 0, -2*m + 8 = i - 2. Let h = 215 - 211. Suppose i*v + 2*v + h = 0. Which is smaller: -2 or v?
-2
Let i(o) = 53*o**3 - 4*o**2 + o + 2. Let b be i(1). Let z = b - 53. Let y be -1 - (24/(-33) - 0). Which is bigger: z or y?
y
Suppose -13 = -4*l + 35. Let s be l/(-36) + (-6958)/(-66). Let v = s - 105. Which is greater: v or -1?
v
Suppose -4 = -2*s - 2*s + 2*g, -4*g = 8. Which is bigger: -2/161 or s?
s
Suppose 6*s - 20 = -2. Suppose 0 = -c - w + 5*w + 10, -4*w = -s*c + 6. Let b = -13 - c. Is b greater than or equal to -11?
True
Suppose -50*z + 15 = -55*z. Which is bigger: z or -8/3?
-8/3
Let r(z) = 2 - 2*z + 7*z - z. Let b be r(1). Suppose 0 = -3*i - 4*f - b, 2*i + 0*i + 3*f = -4. Are i and -4 equal?
False
Let z(r) = r**3 - 22*r**2 + 16*r - 3. Let a be z(10). Is a greater than or equal to -1042?
False
Suppose 539*v = 546*v. Which is bigger: v or 8?
8
Let o = 190 + -4362/23. Let r = -14750/37513 - -177/233. Let k = o + r. Is 2 > k?
True
Let c = 500 + -10502/21. Let j(z) = z**3 - 10*z**2 - 2*z + 21. Let p be j(10). Which is bigger: c or p?
p
Suppose 15*p = 17*p + 4, -4*p - 10 = 2*i. Which is bigger: 19/48 or i?
19/48
Let m = 102 - 72. Let z = 22 - m. Is -1 at least as big as z?
True
Let g(z) = z**2 - 2*z - 50. Let x be g(7). Suppose -4 = m - 33. Let n = -43 + m. Is x less than n?
True
Suppose -26 = k + 94. Let v = -71 - k. Do 49 and v have the same value?
True
Let y = 18 + -17. Suppose -3*o - 2*s = -2, 0 = -5*o - s - 0*s + y. Do o and 5/13 have different values?
True
Let p(v) = -v**3 - 7*v**2 + 22*v - 12. Let b be p(-10). Is 70 bigger than b?
True
Let l be ((-7)/(-10))/((-20)/8). Suppose -n + 3*t = 5, -2*n - t + 49 = 45. Is n at least as big as l?
True
Suppose -5*y + 87 = -3*g - 133, -203 = -4*y - 3*g. Which is greater: y or 0.4?
y
Let a = 2/3521 + -3555/59857. Which is smaller: a or -1.1?
-1.1
Let o be -4 + 3 + (-1 - -2). Suppose o = l - 5*g + 2, 3*g + 8 = 2*l + 5*g. Suppose -l = z - 5. Which is smaller: -1 or z?
-1
Let v(a) = a**2 + 51*a - 15. Let t be v(-49). Which is greater: t or 4?
4
Let i = -268 - -269. Which is smaller: -3 or i?
-3
Let i = 24/65 + -9/65. Is i < 1?
True
Suppose -p - 3*t = 37 - 4, 0 = 4*t - 20. Is 1/4 at most as big as p?
False
Let j be -3 - (-7)/((-3)/(-3)). Suppose -k - j = -5. Which is smaller: k or -2/5?
-2/5
Let g be -9 + 2 + 215/25. Is g <= -0.106?
False
Let l = -282/17 + 197135/11883. Which is bigger: l or 1?
1
Let k = -75 - -40. Let v = k + 37. Are v and 1 equal?
False
Let j be 16/24 - (-816)/(-9). Let m = j - -90. Does m = 1/3?
False
Suppose -24 = j - 2*n - 0, -j = 2*n + 4. Suppose 2127*f - 56 = 2131*f. Do j and f have the same value?
True
Let s be -3 - (12595/(-2475) + (-2)/18). Which is smaller: -2/7 or s?
-2/7
Suppose 4*b - 1 = -5. Let z(r) = -r**3 + 5*r**2 + 2*r - 6. Let n be z(5). Suppose 44*d - n = 48*d. Is b <= d?
True
Let d be (406/(-77) - -5)/(1 - 0). Is d <= 0.06?
True
Let x = 1 + -6. Suppose 2*z = p - 4, 5*p + 12 + 13 = -5*z. Let k be ((-20)/6)/(p/(-3)). Are k and x equal?
True
Suppose 5*h + 284 = 3*z - 132, 3*h + 4*z = -238. Is -564/7 != h?
True
Let n = -56 + 84. Let t = n - 33. Which is smaller: -7 or t?
-7
Suppose -41 = 3*x - 11. Let k be (-169)/(-5) + 2/x. Let f = k - 172/5. Which is smaller: f or 0?
f
Let w(t) = t**2 - 8*t - 6. Let m be w(-4). Let b be (m/(-4))/(-7)*6. Let g = 9 - b. Which is greater: g or -10?
g
Let b = 151 - -57. Let o = 141 - b. Which is smaller: o or -66?
o
Let y be 2*1/(-2)*-11. Let r(m) = m - 11. Let z be r(y). Do z and -5 have different values?
True
Suppose 9 = j - 3*f, 2*j + 2*f - 8 - 2 = 0. Suppose 3*b - 6 - 6 = 0. Suppose -b*p + 2 = j. Are -0.1 and p non-equal?
True
Let j = -2 - -3. Suppose 6 = -3*d + 4*d. Let h be 14/28 + d/(-13). Are j and h equal?
False
Let m = -390 + 389.9. Which is bigger: m or -67?
m
Suppose -5*k + 15*k - 180 = 0. Are 19 and k non-equal?
True
Let x be (-19)/(-18)*(-81)/54. Is x at least as big as -1?
False
Suppose -4*v - f = -12, -v = -5*f + 2*f + 10. Suppose -5*q = 2*j - 9, -q - v*j = -7 + 2. Let z be 6 - q - 2 - 4. Do -3/7 and z have the same value?
False
Suppose 6*l - 3*l = 63. Let f be (l/15 - 1) + 6/10. Is 1/43 < f?
True
Suppose -17*l + 21*l = 168. Let y be l/(-9)*(-1 - -4). Which is smaller: -13 or y?
y
Let z = -14 + 4. Let h be (0 - (1 + -2 - -63))/7. Which is bigger: z or h?
h
Let w = -24 + -54. Does w = 0.1?
False
Let b = -42.42 + 42. Let c = 38.42 + b. Which is greater: c or 1?
c
Suppose 2*x - 15 = 7*x. Let m = 3 + x. Let u be 2/4 + -5*(-12)/(-240). Is u greater than or equal to m?
True
Suppose -4*v + s = -15, 0 = -5*s - 16 + 1. Is 321 <= v?
False
Let a = 76 + -71. Suppose -a*w + 0 - 17 = -3*t, 4*w + 5*t - 16 = 0. Is -2/19 equal to w?
False
Let r = 2021 - 2026. Let f be (42/(-2))/(60/16). Does f = r?
False
Let t = 22 - 108. Let u = 85 + t. Which is smaller: u or -2/7?
u
Suppose 9 = 4*q + 1. Suppose -4*m - 18 = -q*a, 15 = 3*a - 5*m + 2*m. Which is greater: 5/6 or a?
a
Suppose -4*b = -3*c - 132, -10*b - c - 124 = -14*b. Is 33 >= b?
True
Let j be 4 - 8/(-4) - (-10 - -3). Is j less than or equal to 18?
True
Let z(k) = -6*k**2 + 15*k - 46. Let j be z(3). Is j <= -335/6?
False
Let n be 11 + ((-14)/6 - 10/15). Suppose -13*g = -15*g + n. Which is smaller: g or 3?
3
Let n be ((-10 - -15)/20)/1. Is n at most -54?
False
Suppose 19*z - 336 = 15*z. Suppose -a - b = -2*b + 32, -z = 3*a + 3*b. Which is greater: -31 or a?
a
Suppose -4111*v + 4114*v = 6. Let o = 16 - 11. Are o and v nonequal?
True
Let n(l) = 4*l - 196. Let g be n(48). Is g less than -36/7?
False
Let u be (0 - 1)/((-7)/(-35)). Let l be 0 + -4 - u - 0. Which is bigger: 1/44 or l?
l
Let j = 61 + 4. Let g be 2/j*(-903)/(-14) + -2. Which is smaller: 0 or g?
g
Let x = -3 + 21. Suppose 0 = -2*n + 4*k - 10, -5*k = 2*n - 2*k - x. Let a = -1.7 - -1.8. Which is bigger: a or n?
n
Let p = 41 + -73. Let d = -31.93 - p. Which is bigger: -0.1 or d?
d
Let u be 110 + -101 + (-116)/13. Is 113 <= u?
False
Let i = 3.13 - 0.13. Let h = -16.6 + 18. Let l = h - 1.2. Is l <= i?
True
Let c = 175 + -167. Do c and 10 have different values?
True
Let p = -0.347 + 0.347. Let l = 7/15 + -94/105. Is l at most as big as p?
True
Let l be 1*(-2768)/180*-3. Let h = 83/10 - l. Let z = 38 + h. Are 0.1 and z non-equal?
True
Let q be ((-54)/(-135))/(2/(-913)). Let d = q + 180. Is d equal to -3?
False
Let h = 428 + -209. Is h at most 218?
False
Suppose 0 = -17*w + 22*w - 290. Which is smaller: w or 62?
w
Let o = 26 + -26. Suppose o*j + 14 = 4*j + u, 5*u - 13 = -j. Suppose -g + 23 = -4*s, -j*s - 4*g = -3*g + 12. Are -3 and s unequal?
True
Suppose -4*u + 78 = -2*v, -u - 36 = -25*v + 26*v. Is 0 bigger than v?
True
Let l = -123 - -39. Which is smaller: l or -0.1?
l
Let v(z) = -39*z - 564. Let k be v(-14). Which is greater: -248/15 or k?
-248/15
Let v be (-2)/(-10) - (-84)/(-140). Is v less than or equal to -22?
False
Let q = 609 - 4244/7. Is q not equal to 3?
True
Let w = -4.5 - -2.4. Let s = w - -1.9. Is s smaller than 0.6?
True
Let x be (-8)/18*(-885)/(-10). Let a = -39 - x. Suppose -3*j - 19 - 29 = 0. Is j smaller than a?
True
Let o = -1498 - -1498.6. Suppose -y = 5*j + 1, 6*j - j + 9 = y. Which is bigger: o or j?
o
Suppose 29*k + 2557 - 8009 = 0. Which is smaller: k or 185?
185
Let n be 6/16 + (-27)/(-360). Which is smaller: n or 1?
n
Let v(o) = 3*o**3 - 13*o**2 - 9*o + 5. Let h be v(7). Are 333 and h equal?
False
Let g(s) = s + 4. Let q(n) = n + 3. Let u(o) = -5*g(o) + 6*q(o). Let y be u(6). Is y at most 15/4?
False
Let m be (-32)/(-96)*(1 - -17). Suppose 2*k - 3*o - 4 = 0, k + 2*o = 4*k - m. Is k bigger than 7/6?
True
Let o(t) = t**3 + 7*t**2 + 6*t - 5. Let q be o(-6). Suppose -19 = 2*a + 3*d + 3, -a - 2*d = 10. Which is smaller: q or a?
a
Let o = -1 - -1. Let z = 3 + -9. Let b be (z/15)/(2/10). Is o bigger than b?
True
Suppose 3*x - 5*b = -b + 13, -5*x + 12 = 3*b. Let t = 2 + 1. Let j(i) = -i**2 + 5*i - 4. Let w be j(t). Which is greater: x or w?
x
Let h = -200 + 1802/9. Is h smaller than 7.4?
True
Suppose 2*o - 3*i - 110 = 0, 4*i - 79 = -2*o + 17. Do -2/5 and o have the same value?
False
Let n be (-110 + (-36)/(-9))*1/2. Is -54 greater than n?
False
Suppose 118*c = -4*c - 366. Let x be (-5)/(-3) + 1/3. Is c < x?
True
Suppose 3*o = 2*l - 13, 0 = 3*o - 15. Let h be 35/l + (-2)