9 - -421. Are h and 11 non-equal?
True
Suppose -5*x + 4 = -1. Let q be -5*(-3 - -2) - x. Let k = -5 + 7. Which is greater: k or q?
q
Let h = 79 + -75. Let n = h + -47. Which is smaller: n or 1?
n
Let v = -32.15 - -32. Let n = -0.05 - v. Is n at least as big as 3/7?
False
Let k = -23 - -23. Let h = 13 + -12. Let l(b) = -6*b - 2. Let d be l(h). Is d less than or equal to k?
True
Let h(a) = a**2 + 68*a - 206. Let q be h(-71). Which is bigger: q or 55/9?
q
Suppose 7 = 4*j - 1. Suppose a - j*t + 32 = 0, a - 6*t + 3*t = -30. Let f be ((-3)/a)/((-3)/8). Is -1 > f?
False
Suppose -5*o - 5*n = -8*n - 2540, -2*o + 1016 = 5*n. Is 507 greater than o?
False
Suppose x - r + 1 = 5, r + 10 = -5*x. Is x greater than 2/299?
False
Let a(u) = -u**3 + 8*u**2 + 8*u + 10. Let y be a(9). Let n = 17 - 84/5. Is y > n?
True
Let g be ((-2)/(-4))/((-3)/24). Let t(y) = y**2 + 7*y + 7. Let x be t(4). Let o = x - 55. Is g smaller than o?
False
Let s = -1.29 + 1.213. Let i = 0.137 + s. Which is smaller: -3/4 or i?
-3/4
Let z = 8.8 + -14.5. Let w = z + -0.3. Let s = -0.355 + 0.555. Which is greater: s or w?
s
Let w = -2/21139 - 6109161/105695. Let a = w + 58. Is a > 1?
False
Let d = 10 + -23. Let n = 15 + d. Let o be (-2)/10 + (54/30 - 2). Are o and n unequal?
True
Let u(s) = -431*s - 69. Let q be u(-2). Is q less than or equal to 793?
True
Let l = -6 - -3. Let m(r) = r + 2. Let k be m(5). Suppose -5*t + k + 8 = -5*u, 2*u - 5*t = -3. Is l <= u?
False
Suppose 5*h - 21 = -16. Which is smaller: -0.115 or h?
-0.115
Let h(p) = -6*p + 52. Let s(a) = -1. Let g(y) = h(y) + 5*s(y). Let u be g(4). Does u = 24?
False
Let s = -48.4 - -45. Let f = s + 3.1. Which is bigger: f or 5?
5
Let u(l) = -4*l**3 - l**2 - l + 2. Let s be ((-10)/15)/((-21)/(-9) - 2). Let t be u(s). Which is greater: 33 or t?
33
Let w = -27 - -37. Let d be (12/(-40))/(132/w). Is d equal to 0?
False
Let y = -3 - -3.2. Let q = 0.076 + -0.08. Let f = q - 2.996. Is f != y?
True
Let s be (2/(-5))/((-2)/(-20)). Suppose 0 = 4*k + k + 2*w - 22, -3*k + w = -11. Suppose 2*r + 2 = -k. Which is smaller: r or s?
s
Let g = -5.2 - -5. Let x be -6*(-38)/2*-2. Let l = x - -2506/11. Which is smaller: l or g?
g
Let u be 3 - (1 + (-130)/(-117)). Suppose -s = 2*d - 9, -2*s + 4*s - 16 = -3*d. Is d at most u?
False
Let w = 0.07 + 3.53. Let q = w + -5.3. Let n = 1.6 + q. Do n and 0.04 have the same value?
False
Let g = 15.999 + -16. Let v = 2.701 + g. Let y = 2.9 - v. Does 7/5 = y?
False
Suppose -5*b + 13*b - 80 = 0. Which is greater: b or -1/9?
b
Let k = -2033/8 + 251. Is k at least as big as -3?
False
Let k be -3*1/2*-2. Suppose -r + 16 = 2*y, -r + 14 = k*y - 12. Let s = 11 - y. Do s and -7 have different values?
True
Let a be (-7)/(-6) + (-231)/198. Let i = 22/5 + -93/20. Which is bigger: a or i?
a
Let v(z) = -z + 3. Let s be v(12). Let m be (-1)/2 + s*(-2)/12. Is m less than or equal to 1?
True
Let m = -1.893 - -3.856. Which is greater: 1/4 or m?
m
Let q = -15 + 26. Let a = q - 47. Let m be ((-27)/a)/(21/8). Are m and 8 non-equal?
True
Let a be (1 + 8)/(4 - (4 - 1)). Suppose a*m = 6*m + 54. Is m >= 17?
True
Let b be -3*2 + (-368)/24. Do -21 and b have different values?
True
Let v be 36/14 + (-39)/(-91). Suppose v*w - 100 = -w. Is 26 less than or equal to w?
False
Let i = 47746 + -333636/7. Does i = 85?
False
Let l be 0/(-6 + 1 - -2). Let a = l + 3. Suppose -4*s + 2*s = a*d + 5, -5*s - 2*d = -4. Is 6/5 less than s?
True
Let j(v) = -v**3 + 9*v**2 - 9*v + 12. Let h be j(8). Suppose -4*u = 2*z - 72, h - 1 = -u. Let t = z + -60. Is t bigger than -18?
False
Let g(f) = -7*f + 34. Let r be g(-7). Let b = r - 82. Let a be (4 - 3)*(-4)/(-18). Which is smaller: a or b?
a
Let g = 202914203/1718288 - 1/156208. Let x = g + -118. Which is smaller: -1 or x?
-1
Suppose -393 = 3*q + 2*g, 4*g = 4*q - 0*q + 544. Are -133 and q non-equal?
False
Let m = 65 + -68. Let a(z) = -5*z**2 + z + 10. Let s be a(m). Is -38 at most s?
True
Let h = 0.05 + 0.65. Let d = 1 - h. Let o = -0.6 + 0.4. Which is bigger: o or d?
d
Let y = 21.954 + 0.046. Let m = y + -21.8. Which is smaller: m or 18?
m
Let h be 3/(-6)*(-2 - -4). Let s = h - -1. Suppose 3*p + 5 - 2 = s. Which is smaller: p or -9/4?
-9/4
Suppose 2*n - 8*n - 30 = 0. Let c be (-26)/(-104)*(-2 - n - 2). Is c smaller than 0.55?
True
Let l be 0 - (-1 + 8/11). Let n = 67 - 71. Let x(u) = 2*u + 8. Let t be x(n). Which is smaller: t or l?
t
Let d be (2/8)/((-875)/84 - -11). Let y = 1 + -1. Is d less than or equal to y?
False
Suppose 4274 = -26*g + 1414. Is -219/2 != g?
True
Let q be ((-1)/2)/(9519/114). Which is smaller: q or -1?
-1
Let h = 321/2 + -160. Is h <= -0.45?
False
Let s(r) = -r**3 + 6*r**2 + 7*r - 43. Let f be s(6). Which is smaller: 5/161 or f?
f
Suppose -109*f = -2*y - 110*f - 3, 5*y + f + 3 = 0. Let a = -2 - -4. Is a > y?
True
Suppose -s - 1 = 3. Let r be -31 + s + (-4 - -6). Let c = r + 25. Which is greater: c or -9?
c
Let d(o) = 4*o**3 - 2*o**2 + o - 2. Let r be d(2). Let y = -28 + r. Are -5 and y equal?
False
Let v be (-31400)/80*(8/50)/1. Which is smaller: -62 or v?
v
Let q(y) = y - 29. Let x be q(15). Do x and -3 have different values?
True
Let k = -33 + 20. Which is smaller: k or -2/3?
k
Let f be 140/(-336)*(-4)/1750. Are f and 0 nonequal?
True
Suppose q + y + 1 = -0, 4*q - 41 = 5*y. Let f(i) = i**2 - 8*i + 8. Let g be f(q). Is g bigger than -7?
False
Let c = 2132.2 - 2132. Which is greater: 0.759 or c?
0.759
Suppose 2*u - 6 = 4*k, 0 = -2*k + k - 1. Which is smaller: 40/63 or u?
40/63
Let m be (-30)/16 + (-10)/80. Let p be m/5 + (-768)/30. Which is bigger: p or -25?
-25
Suppose 14*p - 219 + 233 = 0. Let n be 10/3*3/(-6). Is n < p?
True
Suppose -r - 2*r + 159 = 0. Suppose 4*n = 5*v - r - 10, -v = -3. Is n > -12?
False
Suppose -26*c + 14329 = 2863. Is 440 at least c?
False
Let y = 130 - 125.61. Let d = 7.55 + y. Let k = d + -12. Which is bigger: k or -2?
k
Let x = 38 - 37.97. Let o = -5.8 - -6. Is x != o?
True
Suppose 10*q - 20 = 6*q. Let b = 7 + q. Suppose -b*t = -8*t + 28. Is t bigger than -7?
False
Let k be (((-66)/12)/11)/(-32). Is -2 != k?
True
Suppose 0*y - 3*q = 5*y + 109, -5*q = 3*y + 75. Is -23 < y?
True
Let c(v) = -v**2 - 2*v + 7. Let y be c(-5). Let n = -28 + 69. Suppose n - 6 = -5*w. Does w = y?
False
Let q = -727/2569 + -1/367. Which is smaller: q or 29.8?
q
Suppose -8 = 5*l - 3*y + 13, 2*l - y = -7. Let v be ((-68)/69 + 1)*2. Are l and v equal?
False
Let q = -24.06 - -24.06. Are 13/4 and q equal?
False
Suppose -2*g = -4*m, -2*g + 90 = -5*m + 91. Let w(k) = k**3 - 7*k**2 + 7*k + 8. Let z be w(6). Let t be (-4)/z + 59/35. Which is greater: t or m?
t
Let h = -283 + 286. Is h < -0.74?
False
Let z = -167 + 166.9. Which is smaller: -330 or z?
-330
Suppose -210 = -2*i + 4*m, 3*i - 5*m = 145 + 173. Suppose 4*q - 32 + 137 = -3*v, 4*q + i = -5*v. Which is bigger: -23 or q?
-23
Suppose -6*p = 8 + 22. Let d(k) = k - 21. Let n(y) = 10. Let m(q) = -3*d(q) - 7*n(q). Let b be m(p). Does b = -0.1?
False
Let z = -0.35 - -0.02. Let p = -6.67 + z. Which is smaller: 0 or p?
p
Suppose -6*p + 36*p = 60. Is 23/17 equal to p?
False
Let n = 97 - 98. Let g(a) = 8*a**3 + a**2 - 1. Let z be g(n). Are z and -14 nonequal?
True
Suppose -4*p - 2*z - 6 = 0, 3*z - z = 3*p - 13. Suppose 5*a - 4 - p = 0. Let l be 3/15 - ((-1341)/345 + 4). Is a greater than or equal to l?
True
Suppose -2*y = y - 15. Suppose 4*r = -r - s + 227, -y*r = -s - 223. Let t be (6/r)/((-3)/(-120)). Is t less than or equal to 6?
True
Let g be -7 - (4 + (-115)/10) - 2. Which is bigger: -3 or g?
g
Let u be 1/(-3) - (-2)/6. Suppose -2*d + 23 = 4*i + 5, -5*d + 5*i - 15 = u. Which is smaller: d or -1/9?
-1/9
Let w = 400 + -405. Is w <= 0.82?
True
Let f be ((-156)/24 + 7)/((-41)/(-2)). Let n be (-1 - 0) + 0 + 2. Which is smaller: n or f?
f
Let d be (-7 - -7) + 58/2. Let m = 29 - d. Which is bigger: m or 3/5?
3/5
Let v = -20 + 23. Let a = 15 + -9. Let o = v - a. Are -3 and o non-equal?
False
Let n = -8 - -11. Let m be 4/(-3) - (2 - n). Which is bigger: 9 or m?
9
Let a = -126 - -138. Suppose -a = -3*y - 6. Which is greater: 1 or y?
y
Let b = -23 + 30. Let h = b - 4. Let d be (-4 + h)*(-2)/(-2). Which is bigger: d or 1/5?
1/5
Let n = 561 - -17. Which is smaller: 577 or n?
577
Suppose 0 = 3*t + 14 + 4. Let c be (24/18)/((-28)/t). Let u(x) = x**2 - x - 1. Let l be 