e
Let t = 27 + -8. Let q = -19 + t. Is q > -7/5?
True
Let r be ((-128)/(-60))/4 - 10/(-75). Let n = 3.07 + -0.07. Let c = n - 3.2. Are r and c nonequal?
True
Let y(s) = -s**3 - 5*s**2 - 6*s - 2. Suppose 2*b - 4*v = -3*b + 23, -2*v + 5 = 3*b. Suppose -16 = t + b*t. Let p be y(t). Is 6 at least p?
True
Let i be (-75)/(-10)*(-4)/(-6). Is i <= -52?
False
Let g = -61353/11 + 5569. Let x = g + 3412/407. Which is greater: 0 or x?
0
Let n be (-6)/9*(-3)/(-15). Suppose s + 3*g = -10, -2*s + 3*g - 4*g = 20. Let j = 10 + s. Which is greater: n or j?
j
Suppose -11*a - 18 = 7*a. Which is smaller: -2/131 or a?
a
Let j = 1848 - 1892. Which is smaller: -271/6 or j?
-271/6
Let b(o) = -o**3 - 38*o**2 - 53*o + 2. Let s be b(-37). Is s >= 594?
True
Suppose -2*n + 9*n - 7 = 0. Do -1/189 and n have different values?
True
Let l be ((-2471)/(-1232) - 2)/((-12)/(-80)). Do -0.3 and l have different values?
True
Let g = 557/7 + -79. Let i = 27 + -24. Suppose 0 = -i*w + 2*x + x - 12, -8 = 5*w - 2*x. Is w at least g?
False
Let a = 12 + -12. Suppose -3*x + 51 + 21 = a. Is x smaller than 24?
False
Let z(i) = -3*i**3 - 8*i**2 - 19*i + 5. Let x(f) = 2*f**3 + 4*f**2 + 10*f - 2. Let t(y) = -5*x(y) - 3*z(y). Let a = 35 - 30. Let l be t(a). Is l smaller than 5?
False
Let i = 151 - 446/3. Let x = i + -37/16. Which is smaller: x or 0?
0
Let b = -304 - -313. Let k = 5.97 - -0.03. Let c = b - k. Which is bigger: 0.3 or c?
c
Let s = 45 - 43. Let n be 92/3 - (-2)/(-3). Let c be n/(-7)*(-4)/10. Which is smaller: s or c?
c
Let z = 24.944 + 0.056. Let s = z + -27. Is s greater than -11?
True
Let j = 35/401 + -19903/30476. Let d = j - -6/19. Suppose -2*k = -0*k - 2. Is d greater than k?
False
Suppose 0 = 4*v - 14 - 2. Let x be (-1*(-3)/(-3))/(-1)*-1. Let n be x/(-2)*(v - 2). Which is greater: 4/11 or n?
n
Let d be (-7)/(245/21)*-2. Which is smaller: d or 2?
d
Suppose 3*g = -4*k + 79, -2*g - 3*g + 9 = -k. Suppose -6*i - 26 - k = 0. Is i <= -7?
True
Let h be 8 + (63/(-9) - 0). Is h >= 2/39?
True
Suppose 0 = 5*g + 25, 38*g - 34*g = 5*f - 225. Is 50 less than or equal to f?
False
Let t be (-414)/(-10) - (-4)/(-10). Suppose 2652*h - 2648*h = 160. Is t equal to h?
False
Let u be (18 + -21)/(-1 + 0). Is u >= 29?
False
Let n = 4/33 + -122/1551. Let u = n - -201/799. Which is smaller: u or 1?
u
Let x be (-46)/(-4)*-3*4/(-6). Suppose x = 5*j + 8. Let c = 6182/5 - 1232. Are c and j equal?
False
Let q be -5*(2 - 36/15). Suppose q*u - 9 = 7. Suppose 3 = -u*i + 5*i. Is -4 at least as big as i?
False
Let k = 95.8 + -16.8. Let d = k - 79. Suppose -4*t - 3 = h, h + 3*t - 4 + 5 = 0. Is d smaller than h?
True
Let b = 2.036 - 0.036. Let m = b + 5. Do m and 1 have the same value?
False
Let m be (-9)/(20 - -7)*852/(-2). Are m and 1/5 nonequal?
True
Suppose 0 = 3*m - m + 3*r + 250, -3*m - 3*r = 369. Let j be 2/8*56/m. Which is greater: j or 1?
1
Suppose -274 = 2*g + 4*y, 2*y - 658 = 5*g + 63. Which is greater: g or -142?
-142
Let u(x) = -2*x + 1. Suppose 7*o + 10 = 2*o. Let n be (5 - (-8)/o)/1. Let a be u(n). Is -6/5 at least as big as a?
False
Let t = -5.1032 - -0.1032. Is t at most as big as 4/11?
True
Let z be 3/(-290)*148/(-111). Which is bigger: z or 0?
z
Let x(d) = d**3 - 9*d**2 - 33*d - 37. Let s be x(12). Are -1/329 and s unequal?
True
Let t = 14 + -14. Let f = -70/3 - -24. Which is bigger: f or t?
f
Let s = 9 - 7. Let a be (-326)/30 - s/(-3). Let y = 673/65 + a. Which is smaller: y or 1?
y
Suppose -2*p - 3*w = -24, -p - 3*w = -4*p + 6. Let b = -5 + p. Which is smaller: b or -2/57?
-2/57
Let k be 180/(-525)*14/(-9). Is -4 >= k?
False
Let d = 21 - 13. Let o be (-6)/15*35/d. Suppose 6 - 9 = 3*t. Which is greater: o or t?
t
Suppose 2*k - 3*a - 2 = 5, 3*a = -2*k - 11. Let o be (1/(-2))/(k/(-2)). Let j be (-16 + 0/(-1))/(-53 + 51) + -8. Is o greater than or equal to j?
False
Let o(g) = -g**3 + 17*g**2 - 15*g - 30. Let w be o(17). Is w smaller than -285?
False
Let v = 32 - 513/16. Let m be (-11 - -11)/(4/2). Which is smaller: v or m?
v
Suppose 0 = 81*v - 18 + 747. Which is smaller: -41 or v?
-41
Let z(c) = c + 29*c**3 - 5*c**2 + 4*c**2 + c**2 - 2*c**2. Let a be z(1). Suppose d = 5*d - a. Does d = 1/4?
False
Let b(n) = 4 - 2 - n**3 - 6*n**2 + 2*n - 2*n**2 - 13*n. Let s be b(-6). Let t be s/10*10/6. Is t greater than 0.2?
False
Suppose 699*v - 640 = 689*v. Which is bigger: v or 67?
67
Let y(r) = -77*r**2 + 386*r. Let u be y(5). Let j(c) = c**3 - 9*c**2 + 7. Let t be j(9). Is t less than u?
False
Let g = -7 - -5. Suppose 3 = 5*s - 12. Suppose 2*j + 3*j = 2*t - 2, s*t = 2*j + 3. Is t greater than or equal to g?
True
Let g = -71.985 + -0.015. Let h = g - -56.1. Let n = h + 16. Which is smaller: n or 0.2?
n
Let x(y) = -y**2 + 6*y - 6. Let j be x(4). Suppose j*m - 1440 = -14*m. Are m and 90 equal?
True
Let s be (-1212)/(-108)*(-3 + 3/2). Is -16 smaller than s?
False
Let f = -13691330/11 - -1246338. Let d = f + -1670. Which is bigger: 1 or d?
d
Suppose -s = -54 - 48. Let n = s - 72. Let j = n + -89/3. Is 1 smaller than j?
False
Let p = -46.16573 - 0.10427. Let n = p - -46. Are -2/3 and n nonequal?
True
Let b be (-10)/(-4) + 11/(-22). Suppose 0 = -b*y - 61 + 3. Is -27 equal to y?
False
Let r be (-2)/(-3)*-6 + 13. Let p(j) = j**2 + 3*j + 1. Let o be p(-4). Suppose -4 = -o*w + r*w. Which is bigger: w or 2/5?
2/5
Suppose 20 = 2*q - 3*k, 4*k - 14 = 5*q - 57. Suppose 137 = -q*o + 529. Which is smaller: o or 55?
55
Let a = 9.07 - 8.9. Let p = a - 0.77. Is p less than 1?
True
Let v be 2/8 - ((-3)/(-12) - -2). Let r be (-12)/(-80)*-22 - 2. Let l = -34/5 - r. Which is greater: v or l?
l
Let u = -18.8 - -19. Let k = 17.2 - u. Let t = -20 + k. Which is smaller: t or 0?
t
Let p(w) = -9*w - 45. Let r be p(-5). Suppose 4*t - 157 = 5*j, 22 = t - 4*j - 20. Let n be 0 - (t/(-42) - -1). Which is smaller: r or n?
n
Suppose -y - 17 = -5*b + 3, -5*y + 2*b = 54. Suppose 4*r + 32 = -16. Which is smaller: y or r?
r
Let l = 188.7 + -40.7. Is l greater than 1?
True
Suppose 0 = -y + o - 34 + 25, y - 5*o = 7. Let f be 1/(-5) + 207/(-15). Which is smaller: f or y?
f
Let q be (12184*4/240)/(6/(-9)). Which is smaller: -305 or q?
-305
Let q = -1.031 - 5.279. Let m = -6 - q. Is m at most -1?
False
Let i = 7/40 + 3/40. Which is bigger: i or 1/132?
i
Let q be (-3 - (-81)/21)/(2/14). Let n be 4 + -5 - (-94)/(-2). Let a be n/(-4)*(-4)/(-6). Is q bigger than a?
False
Let t = -1 + 1. Let n = 3327/16 - 208. Let q = -5/16 - n. Is q at most t?
True
Let m = 0.36 - 0.16. Let x(b) = b**2 + b + 20. Let s be x(0). Suppose 3*c + s = -2*c. Is c >= m?
False
Let d be 1407/6923 - (-12)/(-138). Which is smaller: d or 1?
d
Let d be -1236 - ((-8)/6 - (-112)/21). Let g = d + 90518/73. Is g greater than 1?
False
Let d(z) = z + 3*z**3 - 24 + 2*z**3 - 20*z**2 - 3*z**2 - 4*z**3. Let l be d(23). Which is smaller: 4/29 or l?
l
Suppose -4*p - 93 = -p. Suppose 14*d + 96 = 11*d. Which is smaller: d or p?
d
Let a be 6 - 10 - (-6)/2. Suppose -10*z - 9 - 11 = 0. Which is bigger: a or z?
a
Suppose 3*d - 32 = -d. Suppose -5*z - d = 7. Let w be -6*z/(-8)*6. Is w >= -14?
True
Let g(v) = -v**3 + 8*v**2 - 4*v + 4. Let j be g(8). Let i be (4/6 + j/42)/(-1). Which is smaller: i or 1/45?
i
Let n(s) = -s**3 - 2*s**2 + 8*s + 17. Let d be n(-2). Is d smaller than -1/84?
False
Let u = -548/215 + -9241/258. Let i = u + 116/3. Are i and -1 non-equal?
True
Let q be ((-3)/(-99))/(1/(-2)). Let n(l) = l**2 + 4*l - 3. Let w be n(-5). Suppose -s = w*s. Is s at least as big as q?
True
Suppose -6*f - 7 + 19 = 0. Let q be 6/(1*-12) - 14/f. Which is greater: -9 or q?
q
Suppose -3*i + 65 = -8*i. Suppose 4 = -2*d - 3*z - 32, 24 = -2*d + 3*z. Is i at least d?
True
Let u(h) = h + 3. Let y be u(-4). Let i be (-9)/(-60)*3*4/288. Let n = -87/1120 + i. Is n != y?
True
Let s = -199 - -407. Are 209 and s nonequal?
True
Let a(h) = h**3 - 6 + 6*h**2 + 2*h + 6*h**3 - 6*h**3 + h. Let i be a(-5). Let f(v) = v**3 - 4*v**2 + v - 4. Let p be f(i). Is p less than 1/10?
True
Let f = -80 - -53. Let a = f + 27. Let n = -0.06 + 2.06. Is n bigger than a?
True
Let j be ((-4)/(-6))/((-2)/3). Let p = -147/4 - -6019/164. Let r = -57/328 - p. Is j > r?
False
Let t(v) = -2*v**2 - 7*v - 2. Let s be t(-3). Let p(u) = -8*u**2 - 1. Let x be p(s). Suppose -50 = 4*n + n. Which is smaller: n or x?
n
Let s be 9 + (-1 - 10) + (-7)/(-3). Is s a