 and h unequal?
True
Suppose 4*g + 15 - 47 = 0. Suppose -94 - 98 = g*c. Are c and -25 nonequal?
True
Suppose 2*n = 2*z + 3*z - 21, 0 = 2*n - 2*z + 6. Suppose -n = 8*s - 7*s. Let b(u) = u**3 + 3*u**2 + u - 2. Let q be b(s). Is q less than or equal to 4?
True
Let p = 193 - 128. Let n = 56 - p. Which is bigger: n or 4/3?
4/3
Suppose 3 = -h, -5*h = -3*b - h + 630. Let l = 1446/7 - b. Let a be (4 + 162/(-42))/(2/14). Is l < a?
True
Let h be ((-546)/(-98) - 9)/((-6)/56). Which is bigger: h or 0?
h
Let t = 140 - 270. Which is smaller: t or 1?
t
Suppose r + 5*b = 6*r - 1615, 5*b = 3*r - 975. Which is smaller: r or 321?
r
Suppose -d + 5*m + 28 = d, 2*d - 10 = -4*m. Let r = d - -6. Suppose -h = 2*h + r. Is -4 at least h?
True
Let k = 86.3 - -18.7. Let l = 104.93 - k. Is 2 > l?
True
Let l be (-69)/9 - -3 - -5. Which is smaller: 27 or l?
l
Let i = 0 + -2. Suppose 10 = -17*b + 15*b. Let u be i/(-5) - 8/b. Is -3 > u?
False
Suppose -10 - 2 = 4*i, -3*i - 13 = -4*a. Let d be -3*(795/195 + (2 - 6)). Which is bigger: d or a?
a
Suppose 0 = 6*y - 7*y. Suppose -4*z + 4*h - 3 = 13, y = 5*z + 5*h + 60. Let x = -15 + 8. Which is smaller: z or x?
z
Let u(p) = 26*p**2 - 12*p + 43. Let d be u(5). Which is smaller: d or 634?
d
Let x = 952 + -662. Which is bigger: 289 or x?
x
Suppose u - 5 = 3*k, -8*u + 11*u = -3*k + 51. Are -7 and u unequal?
True
Let s be -7*2/(-7) - 3. Is 9 >= s?
True
Let m be 376/65 - 3 - (-2)/(-5). Which is smaller: m or -1?
-1
Let f be 142/10 - (-1)/(-5). Let x be 74/14 + (-4)/f. Suppose -2*y = -d - 5, -d - 7 - 10 = -5*y. Which is bigger: y or x?
x
Let q(p) = p**2 + 13*p - 17. Let t be q(-15). Let i = t + -13. Is i <= 1/2?
True
Suppose 0*m + 20 = -5*m. Let t be ((-6)/16)/((-2)/m). Let o be 17/5 - (-4 - (-1 - 6)). Are t and o equal?
False
Let g(f) = -f**3 - 4*f**2 + 5*f - 2. Let m be g(-5). Let a be (-92)/(-40) + 3 + m. Let c = 97/40 - a. Which is smaller: c or -1?
-1
Let z be -2 - (42/(-70) + 54/(-20)). Are z and 0 equal?
False
Let d(k) = 16*k + 64. Let r be d(-10). Is -97 at most as big as r?
True
Let j = 2307 - 23049/10. Let o = j - 71/35. Is o greater than -1?
True
Suppose 0 = -18*j + 742 - 22. Let n be (-3 + (j/(-3))/(-5))*-6. Let c = 64/105 - -2/35. Is n > c?
True
Let w = 0.13 - 0. Let x = -0.02 - 0.01. Let s = w + x. Is s equal to 1?
False
Suppose -9*u + 2020 = -1337. Which is greater: u or 372?
u
Let n = 0.1 - 0. Let p = -108.989 + 109. Let r = p - -0.489. Which is greater: r or n?
r
Suppose 0 = -m - 2*m. Let n be 3/(-3) - (-1491)/18. Let b = n + -82. Which is greater: m or b?
m
Let o be (0/(-1) - 0) + -1. Let y = 107 - 109. Let p be (o + y/(-4))*10. Which is smaller: p or -4?
p
Let g be (-19)/(-3)*3 - 1. Suppose -d + 6*d = 80. Let l be 12/g*(-6)/d. Is -1 smaller than l?
True
Let c = 22 - 22.2. Is c not equal to 46?
True
Suppose 10*s = 11*s - 35. Suppose 0 = -2*m, 5*c - 6*m = -2*m - s. Is -1 at most as big as c?
False
Let f = 144.3 + -24.3. Which is greater: 0 or f?
f
Let r be (-24)/(-10)*96/(-256). Suppose 5 = 4*c - 9*c. Does c = r?
False
Let p = -109.916 - -110. Let q = p + -17.084. Are q and -0.1 nonequal?
True
Let f = -8 + 7.7. Let z = f + -0.7. Let t be ((36/(-3))/(-3))/(1 - -4). Do t and z have the same value?
False
Suppose 5*m - 3*k - 359 - 109 = 0, 488 = 5*m + 2*k. Which is smaller: m or 98?
m
Let j = 313/624 - 5/78. Which is bigger: j or -1?
j
Suppose 2*f - 2*t + 18 = 0, 4*f + 4*t + 0 = -20. Suppose -4*s = -2*s - 16. Let d = s + f. Which is smaller: 1/15 or d?
1/15
Let d(r) = r**2 - 17*r + 7. Let l be d(15). Let x be ((-2)/(-6))/(l/897). Is x not equal to -2/7?
True
Let a be (3/21)/((-1)/(-2)). Let j = 1.1 - -0.7. Let b = -1.8 + j. Which is smaller: a or b?
b
Suppose -2 = 3*z - 2*o - 4, 4*z = 5*o + 5. Suppose 9*v - 3*v = z. Suppose v = -3*x + x. Which is smaller: x or 7/6?
x
Let y = -94153072 - -502306636959/5335. Let q = y - -34/97. Do q and 0 have the same value?
False
Let c be 1*(1 + -2 + -1). Let a be (((-3)/c)/(-3))/(15/120). Is -4 greater than a?
False
Let n = 328 - 300. Which is smaller: -2 or n?
-2
Let q = -135 - -1217/9. Let r = -1/36 - q. Is r <= 15?
True
Let b = 14 + -1. Suppose -9*a + b*a + 136 = 0. Is -35 less than a?
True
Suppose 2*q = 16 - 42. Let g = q + 14. Which is smaller: -2/9 or g?
-2/9
Suppose -91*l + 96*l = -4*n - 200, 0 = 2*n. Is -40 equal to l?
True
Let d be ((-2048)/28)/8 - 0. Is -10 at most as big as d?
True
Let w(x) = 25 + 5*x**3 - 11*x - 13*x**2 - 6*x**3 - 2*x - 3*x**2. Let i be w(-15). Is -8 at least i?
False
Let l = 2.71 - 1.91. Which is smaller: l or 5/3?
l
Let h be (-24146)/(-62)*(-3 + 4)*2. Let j = h + -779. Is 0 less than j?
False
Let c be -3*(-16)/(-12) + -4. Let w be (c/13)/4*(1 + 0). Let f(s) = s**2 + 5*s + 3. Let a be f(-4). Which is smaller: w or a?
a
Let r(x) = x**2 + 7. Suppose -5 = -5*p + 4*i, -3*p + 6*i = 3*i - 6. Let f be r(p). Suppose 0*w = -3*w + 51. Which is bigger: f or w?
w
Let u = -3 + 2. Suppose 6*v + 0*v = -96. Let b be (v/32)/(14/8). Is b equal to u?
False
Let b = -12196/399 - -588/19. Is b greater than or equal to -4?
True
Let j(x) be the first derivative of x**4/4 - 14*x**3/3 + 7*x**2 - 6*x - 17. Let v be j(13). Which is bigger: v or 2?
v
Let k(v) = -20*v - 3. Let z be k(-7). Let p = z - 1234/9. Suppose 3*a - 1 = -4*h, 4*a - 2*a + 4 = 2*h. Which is smaller: p or a?
a
Let u be (-2)/(-2*(-5)/75). Let y = -42 + 28. Is u != y?
True
Suppose 4*s + 8 = -4*j, 3*j + 2*s = -j. Suppose -4*l - 6 = -4*t + 3*t, j*t = -5*l + 38. Suppose 5 = -3*n + t, -3*p + 5*n - 21 = 0. Is -5/4 at least as big as p?
True
Let y be -7*(3 - (-60)/(-28)). Let w = y + 5. Let h(x) = -2*x**3. Let u be h(w). Which is smaller: 13/5 or u?
u
Let m(f) = 7*f**3 - f**2 + f - 15. Let w(h) = -3*h**3 + h**2 - h + 7. Let s(y) = -2*m(y) - 5*w(y). Let d be s(2). Is d less than -3?
False
Let a(g) = -2*g - 167. Let j be a(0). Let r = j - -2506/15. Which is greater: r or 0?
r
Let n(s) = -s + 2. Let a be n(3). Let b be (0 - 3) + (-6 + 7)*3. Let m = -5 + b. Which is greater: a or m?
a
Let n = 5.3 + -6.8. Let g = n - -1.5. Which is bigger: g or 0.27?
0.27
Let x = 1/55 - 61/330. Let t be (-2*(-1)/(-2))/(-1). Which is bigger: t or x?
t
Let i be (-29)/10 + (11 - 9). Let n = -7/5 - i. Suppose -20 = 3*b - 4*t, 4*b + 5*t - 24 = 1. Which is greater: n or b?
b
Let f = -1700 - -1699.9. Do f and 190 have the same value?
False
Let i = -1507 - -1504. Is -48/25 less than or equal to i?
False
Let v be 528/(-484) + 2 + -1. Is -1 smaller than v?
True
Let y(n) = 2*n**2 + 5*n + 3. Let z be y(-6). Let u be 4/10 + (-38)/z. Suppose 6 = -3*a - 3*v, 0 = -3*a + 38*v - 34*v + 15. Which is smaller: u or a?
u
Let h(l) = -l**3 - 3*l**2 + 10*l - 3. Let i be h(-5). Let q = -21.7 + 22. Are q and i equal?
False
Let h = -7 - -9. Suppose d - 6 = -h*d. Suppose 0 = d*t - 4, -s + 2*t + 12 = 7*t. Which is greater: 4 or s?
4
Let l(t) = -t - 1. Let c(a) = a**2 + 11*a + 1. Let u(h) = -c(h) - 4*l(h). Let p be u(-7). Suppose -3*d + 0 + p = 0. Which is smaller: -1/5 or d?
-1/5
Let x(g) = 218*g - 3327. Let c be x(15). Suppose 122 = -2*p + 6. Which is greater: c or p?
c
Let s = -16 - -8. Suppose -5*u - 7 - 3 = 0. Which is smaller: u or s?
s
Suppose -17 = 4*y - 45. Let u = 2.1 - 0.8. Let w = 1.4 - u. Are w and y equal?
False
Let u be -6*(1 - 2)*1. Let c be u/7*(-2)/6. Let f = 97/406 + 11/58. Which is smaller: c or f?
c
Suppose g = 4*g + 27. Let b = -597 + 589. Which is greater: g or b?
b
Let m = -117 + 81. Let c = -148 - m. Which is greater: c or -1?
-1
Let a(c) = -c + 12. Let h be a(10). Let b(u) = 3*u - 9 - 6*u**h - u**3 - 7*u - 4*u + u. Let l be b(-5). Are 1/5 and l non-equal?
True
Let g be -1*((-7)/21)/((-2)/24). Is -20/7 at most as big as g?
False
Let d = 14 + -11. Suppose 0 = d*y - 0 - 3. Suppose 7 - y = 3*g. Which is greater: g or 7/4?
g
Let m be (-2 - (1 + -4))*5. Suppose d + m - 8 = 0. Suppose 0 = 3*r - 4 - 11. Is d at most r?
True
Let j be (((-66)/16)/11)/((-2)/(-216)). Is j less than or equal to -42?
False
Let b(y) = -2*y + y**2 - 4 + 4 - 4 + 3*y**3 + 5. Let f be b(1). Let m = f - 3. Which is smaller: -1 or m?
-1
Let a = -19 + 15. Let b be (-2)/a*-8*38. Let s = -2276/15 - b. Which is greater: -1 or s?
s
Let r(j) = j**3 + 4*j**2 - 7*j + 1. Let y(m) = m**2 - 5. Let u be y(0). Let z be r(u). Which is bigger: z or 10?
z
Let z = 739.09 + -736. Which is greater: z or 0?
z
