*z - 1. Let j = -8 + 3. Let b be d(j). Are u and b unequal?
True
Suppose -q + g - 9 = 0, -3*q = -4*g + 41 - 10. Which is smaller: q or -4?
q
Suppose -3*v = -0*v. Let p(i) = -i + 303*i**2 - 3*i - 4 - 304*i**2. Let g be p(-3). Which is smaller: v or g?
g
Suppose 14*d = -1863 - 727. Does -1/4 = d?
False
Let w(g) = -g**3 + 3*g**2 + 3*g - 7. Let y be w(3). Suppose 4*a = -10 - y. Let h be a + (-3 - 92/(-15)). Which is bigger: h or -1?
h
Suppose -10*c = -6*c - 32. Suppose c = 5*a - 2. Let j = 659/3 + -217. Which is smaller: j or a?
a
Suppose -2*k + 40 = -6*k. Let m = 48 + -53. Let p be (-16)/(9 + m) - -1. Is k at most p?
True
Let m = 152 + -108. Let v = 48 - m. Is v less than or equal to -1/2?
False
Let u be ((-4)/(-20))/(6/15)*0. Is u not equal to 2/2047?
True
Let q(i) = i**2 - 2*i - 8. Let z be q(6). Suppose -k - 6 = -z. Let a be -1*11/(-2 + 1). Do k and a have the same value?
False
Suppose -5*g = -3*l + 92, 3*g = 7*g + 16. Suppose -3 = 3*m + l. Is 1 != m?
True
Let g = -0.22 + 0.32. Is 3/128 <= g?
True
Let r = -0.0006 - -0.0006. Is r != 13/3?
True
Let l(p) = p**3 - 7*p**2 + 8*p - 7. Let b be l(6). Suppose 3*s + 3*d = 3, d + 1 = -b*s + 2*d. Which is greater: 1/11 or s?
1/11
Let c be ((-16)/(-80))/(1/5). Which is bigger: 1/236 or c?
c
Suppose 0 = -5*o - 3*m - 0 - 14, -5*o - m = 8. Is 4/29 smaller than o?
False
Let b be 73 + (2 - 1) + -2. Suppose 0*t + 2*t - b = 2*z, 2*t - 87 = -3*z. Let d = t - 198/5. Which is greater: d or -2?
d
Let w be (2/(-18))/(3/(-18)). Suppose -3*m - 20 = -5*c, -3*c + 5*c = -5*m + 8. Is w at most c?
True
Let v(y) = y - 2. Let b be v(5). Let u = b - 11. Let m(i) = i**3 + 7*i**2 - 9*i - 8. Let l be m(u). Which is bigger: l or 6/7?
6/7
Suppose -7*s = -5*s + 56. Which is smaller: -27 or s?
s
Let v = 6.8 - 2.2. Let j = -4.8 + v. Which is bigger: 3 or j?
3
Let b be 13/(-70) + (-12)/(-42). Let f(a) = -14*a - 155. Let n be f(-11). Which is bigger: b or n?
b
Let h be (5/(-7))/(5 - 7). Is -1 less than or equal to h?
True
Let r(q) = -14 + 6*q**2 - 12*q + 3*q + 16 + q**3 - 15. Let x be r(-7). Let l be (16/10)/((-2)/x). Is l smaller than -2?
False
Let o = -1912 - -1912. Let d = -717/7 - 6/35. Let u = 103 + d. Which is smaller: o or u?
o
Let g be (6 - (3 + 2))*-55. Does -1 = g?
False
Let r = 507 + -505. Is 30/43 not equal to r?
True
Suppose 3*c + 2*k - 466 = 0, 17*c + 4*k + 300 = 19*c. Which is bigger: c or 153?
c
Let h = -89 + 91. Is h > 20/31?
True
Let i = -1.25 - -1.5. Let n = 506.8 - 507. Which is smaller: i or n?
n
Let n(z) = -2*z**2 - 16*z + 296. Let m be n(12). Are m and -369/2 unequal?
True
Let s = -25 + 24. Let r = -15400/59 - -261. Let p = r + 123/295. Which is bigger: s or p?
p
Let m = 99 + -198. Let z = m + 67. Which is bigger: 0 or z?
0
Let i be 1/(9 - 10)*40/3. Is i > -13?
False
Let o be ((-136)/(-16))/(1/54). Let s = 243 - o. Let m be 1/(-7) - s/42. Are m and 3 equal?
False
Let u = 57997450109/483342154 + 10/3607031. Let q = u - 120. Which is bigger: q or 1?
1
Suppose 413 - 2803 = 10*h. Which is greater: h or -241?
h
Let j be (-10 + 8)*(-10)/4. Suppose 0*f - 6 = f + 3*p, -3*f + 10 = -j*p. Is -4/11 less than or equal to f?
True
Let k = 402 - 401.9. Which is bigger: k or 1/52?
k
Let s be -3*(-5 - (-6)/3). Let y = s - 8. Let c be (-6)/(-5) + 2/(-5). Is c less than y?
True
Suppose 2*t - 9 = 5*g - 2*g, 0 = -t. Suppose 4*c - 9 = 5*f, 3*c + 4*f - 1 = -2*c. Let b = c - g. Do 11/3 and b have different values?
True
Let u = 1.14 - 0.44. Is -40 < u?
True
Let j = -60 + 41. Let p = j - -19.6. Is 2 greater than p?
True
Suppose 16*x = -185 - 23. Which is smaller: -1 or x?
x
Suppose b = d + 2*b - 3, -3*b = d - 13. Let f be (-4 - (d - 1)) + -2. Let h be -4 + (-4 - 5)/(-3). Which is bigger: h or f?
h
Suppose 0 = 71*t - 68*t. Which is greater: t or 2/167?
2/167
Let r be (-182)/63 + 3 - 35/(-9). Suppose u - 2 = -i, 0 = -u - 5*i + i + 2. Let d be ((-1)/2)/((-1)/u). Is d != r?
True
Let j be 2*(32/(-48) + 1/6). Is j greater than or equal to 4/79?
False
Let v = -6 + 8. Let d = 0 + v. Let x = d - 2.2. Which is smaller: x or 3?
x
Let m(w) = -13*w + 8. Let t(u) = -u**2 - 7*u - 10. Let p be t(-4). Let y be m(p). Suppose -2*o = -2*c - 40, 4*c + 3*o + 0*o + 66 = 0. Is y not equal to c?
False
Let y be 1/(-5) - 46/(-5). Suppose -4*q = 1 - y. Suppose -14 = -2*o - q. Is o < 5?
False
Let o(c) = -7 + 10*c**2 + c + 4*c**3 + 0*c - 15*c - 3*c**3. Let l be o(-11). Which is smaller: l or -1/4?
-1/4
Suppose 612 = -2*a + 4*a - 4*m, 4*a = -4*m + 1212. Are a and 302 non-equal?
True
Suppose q - 2254 = -6*q. Suppose o - 74 = -3*b, 4*o - 2*b - q = -b. Are 80 and o non-equal?
False
Suppose 0 = -0*y + 5*y - 50. Let r(l) = -l + 3*l + 6*l - y*l - 9. Let f be r(-5). Which is greater: f or -3?
f
Let t = -15 - -7. Let w(g) = 9*g - 4. Let d be w(t). Let s be ((-40)/d)/5*1. Is 1 equal to s?
False
Let c = 75/157 + -30055/471. Which is smaller: -64 or c?
-64
Suppose -g = -2, 5*v + 6 - 1 = 5*g. Is v > -9/92?
True
Suppose -2*j + 7*j + 3*u + 8 = 0, -3*u = 3. Which is greater: j or 2/321?
2/321
Suppose -5*o = -4*o - 3*l - 7, 0 = -o - 3*l + 1. Suppose -4*v + o = 0, 0 = -3*t + 4*v - 3 - 16. Let a be 0/(t/(10/4)). Which is greater: -4/13 or a?
a
Suppose 3*x - 47 = -6*u + 4*u, 5*x = -5*u + 85. Which is smaller: 3 or x?
3
Let b = -240.1 + 248.1. Which is greater: 0.6 or b?
b
Let m = -491 + 488. Which is bigger: -93 or m?
m
Let n = 823 + -798. Is -0.3 less than n?
True
Suppose 4*s + 7 - 23 = -k, -s + 4 = -5*k. Suppose -w - s = 3*i + 15, 5*w = 4*i + 19. Is -6 less than or equal to i?
True
Let n = -17 + 15. Let m be n + (-5)/(35/1179). Let c = m + 170. Which is bigger: -1 or c?
c
Let h be -1*5 + (-231)/(-47). Is 1 greater than or equal to h?
True
Let s = -288 - -294. Let g be 0 + -1*(-4)/(-6). Is s <= g?
False
Suppose -15*b + 25 = 5*h - 10*b, -2*h - 10 = -2*b. Does 2/2413 = h?
False
Let k = 16 - -11. Suppose 3*j + 5*x = -k, 0 = -0*j - j - 5*x - 19. Is -5 less than j?
True
Suppose -10*k - 18 = -28*k. Which is bigger: 6/547 or k?
k
Let d = 8.383 + -0.423. Let p = d - -0.04. Let t = p + -6. Is 2 at most t?
True
Let x = 134 + -169. Is 1/4 at least x?
True
Let q = 25 + -22. Which is smaller: q or 1/7?
1/7
Let h(q) = -q**3 - 8*q**2 - 12*q. Let o be h(-6). Suppose o = -5*a - 0 + 5. Suppose -5 = -3*m + a. Is 2 greater than or equal to m?
True
Suppose -4*h + 144 = -4*m, 2*h = 3*m + m + 64. Let j be 4*5/(h/(-52)). Let y = j + 26. Which is bigger: y or -2/57?
y
Let w be (-1 + -2)/((-33)/(-352)). Let y = w + 34. Let u(b) = b**3 - b + 4. Let g be u(0). Is g at least y?
True
Let v(p) = -p**3 - 8*p**2 - 7*p + 4. Let w be v(-7). Suppose 3*q + 2*s = 6*q + w, -4*s = 4. Let m = -9 + 8.3. Which is greater: q or m?
m
Suppose -2*q + 3*n = -14, 0 = -3*q - 2*q - 2*n + 54. Suppose q*v = 12*v. Is v bigger than -4/37?
True
Let z be -10*((-2)/10)/(2/224). Which is greater: 223 or z?
z
Let u = -1.68 - -0.08. Let v = -6.4 + u. Let i = v + 7.9. Do 0.08 and i have different values?
True
Suppose -3*f = -37 + 25. Suppose q - 4*s = -61, -2*s - 123 - 157 = f*q. Which is smaller: q or 0?
q
Let c = -7.61 - -0.31. Let a = 7.1 + c. Is -1/13 < a?
False
Let u = -842/7 + 120. Let i = -34 + 36. Suppose 5*d - 2 = -3*o, 0*o - 1 = i*d + 3*o. Is d less than u?
False
Let d = -349 + 77. Which is bigger: -273 or d?
d
Suppose 31*u - 206 = -2407. Suppose 0 = 3*m - c + 207, c - 57 = 2*m + 80. Which is smaller: m or u?
u
Suppose 3*v - 2*v = 5. Suppose 50 = v*q - 10*q. Which is greater: -9 or q?
-9
Let z = 12.6 + -14.5. Let k = -3.6 - 1.1. Let y = k - z. Is 0.1 smaller than y?
False
Suppose 932 = 11*l - 5569. Which is bigger: l or 592?
592
Let c(r) = -r - 7. Let u(i) = -5 - 3*i**2 - 31*i + i**3 - 2*i**2 + 25*i. Let m be u(6). Let j be c(m). Is -3/7 at least as big as j?
True
Let w = 33 - 23. Suppose -5*r - 8 = 2*d - 4*r, 4*r - 4 = 4*d. Which is smaller: d or w?
d
Let l(x) = -13*x**2 - 13*x - 9. Let j(c) = 7*c**2 + 7*c + 5. Let a(i) = 11*j(i) + 6*l(i). Let o = -5 + 2. Let h be a(o). Are -6 and h nonequal?
True
Let i(u) = -3 + 27*u - 5 - 20*u. Let a be i(1). Which is smaller: a or -3/40?
a
Suppose 6*j + 4 = 5*j. Let u = -77 + 64. Let d(t) = -4*t - 56. Let q be d(u). Is j at most as big as q?
True
Suppose 0 = 4*c + 2*v - 3*v + 330, -5*c = v + 417. Let o = c - -129. Is o smaller than 46?
False
Let s(g) = 1 + 12*g + 15*g - 42*g + 16*g. Let c be s(-2).