e
Let d be (6/(-15))/(8/10)*-4. Let i be (3 - d)/((-3)/33). Is -12 greater than or equal to i?
False
Let a = 1251.1 - 1251. Let s = -39.9 + 43. Let r = a - s. Which is bigger: 0.03 or r?
0.03
Let m = -2.96 + 3. Let u = 508 + 72. Let i = u - 583. Is m at most i?
False
Suppose 11*g - 276 = 10*g - r, 2*g = 5*r + 538. Let f = -276 + g. Is f <= 53?
True
Suppose -6*w + 288 = -2*w. Let d = w - 34. Let y be -2*(-4)/d*(-4)/56. Which is smaller: -1 or y?
-1
Suppose -2*f - 5*u = -0*u - 54, 0 = 2*u + 4. Suppose -220 = -2*n + 7*n. Let g = 75 + n. Which is greater: g or f?
f
Let u(r) = 9*r**2 - r + 1. Let s be u(1). Suppose -5 = -b + l, 2*b - s = -2*l + 5*l. Suppose 6 = 3*z + b. Is z less than 1/2?
True
Let u(v) be the first derivative of -v**4/4 + 8*v**3/3 + 5*v**2 - 11*v + 15. Let f be u(9). Let k = 0.286 - -0.014. Is k less than f?
False
Let l = -65 + 64.7. Let k = -104 + 59. Let x = k + 44.94. Is l > x?
False
Suppose 8 = -5*j - x + 56, 60 = 5*j + 5*x. Let s be (-10 - -8) + (j - -1). Suppose -4*z + 158 = -5*n, -3*n + s*n + 195 = 5*z. Is 73/2 equal to z?
False
Let t = -45549513/374 - -121790. Is 0 > t?
True
Let q = 5093538526/20903 - 243675. Which is greater: 1 or q?
1
Let z be (6/(-20))/((-11)/(-55))*16/(-15846). Is 1 not equal to z?
True
Let f be (-1 - 4) + (11 - -3). Suppose -2*h - f = 5*z - 0*z, -2*h + 12 = -2*z. Let x be 18/10 + z/(-15). Are 8 and x unequal?
True
Let t be (18*32/(-192))/((-18)/(-40)). Let v = -5 + 3. Let f = -2 - v. Which is greater: t or f?
f
Suppose 0 = -5*f - 5, 5*i - 4*f + 21 = -5. Let p be (-2)/i - (-22)/(-132). Which is smaller: 127 or p?
p
Let h be -22*(2 - (-63)/6). Let s = -184 - h. Let z(d) = -29*d + 3. Let n be z(-3). Which is smaller: n or s?
n
Suppose 11*x = -14*x - 11225. Let o = 270 + x. Is o at most -180?
False
Let h = 2194133/841596 - -1/30057. Let p = 10475/28 - 374. Let r = h - p. Do 4 and r have different values?
True
Let o(w) = -w**2 + 10*w - 5. Let b be o(8). Is 13.1 equal to b?
False
Suppose 44 + 64 = 4*a - 3*d, 4*a - 108 = -3*d. Suppose -12*q = -51 + a. Is 2.77 at least q?
True
Suppose 0 = 11*d - 31 - 35. Let q be 14/d + -3 + (-124)/(-294). Which is smaller: 1 or q?
q
Suppose 5*m = -3*q + 7749, -3*m + 9687 = 3*q + 1938. Which is smaller: 2582 or q?
2582
Let s = 16952 + -16952. Suppose -2*i + 12 = -i. Let b be i*1/(-1*22). Is s at least as big as b?
True
Let f = -450 - -442. Let v be f/21*135/(-9). Which is smaller: v or 6?
v
Let u be (8/10)/(1 - 36/(-20)). Let r = -16 + 0. Let q = 16.02 + r. Which is bigger: u or q?
u
Let h = -50 - -52. Let a be (h + -4)/(25/70). Let p = -881/160 - a. Which is bigger: -1 or p?
p
Let m be (-2 - (-345)/(-10))*(6 - 0). Let u = -39638/181 - m. Let k(z) = z**3 + 7*z**2 + z + 8. Let j be k(-7). Is u greater than j?
False
Suppose 1946*l + 1036 = 1953*l. Which is smaller: l or 147?
147
Let o = -29625/96239 - -1/7403. Is o <= 38/7?
True
Let v = -1595 - -1590. Let s = 6 - 7. Let u = s - v. Is -0.4 greater than or equal to u?
False
Let y be (-7 + 1 + 3)*1*-3. Let w(z) = -z**3 + 10*z**2 - 8*z + 2. Let h be w(y). Let v(i) = -i**2 + 8*i + 3. Let r be v(7). Which is bigger: h or r?
h
Let r be 0/3*(-2)/4. Let l = 50866.2 - 50859.2. Which is greater: l or r?
l
Let w be (-8)/(-5)*(-20)/(-8). Suppose 0 = -w*f - 176 - 16. Suppose 5*b = 18*b. Is b greater than or equal to f?
True
Suppose 646*r - 874*r = 1008*r. Let y = -9.729 - 0.071. Which is smaller: r or y?
y
Let i = -52 + 1715/33. Which is greater: 2 or i?
2
Let x = -31348.84 - -31348. Which is bigger: x or -69?
x
Let x be (1 - 2 - -13)*(2107/(-28) - 14). Which is smaller: -1072 or x?
-1072
Let j = -140 - -118.9. Let p = 0.9 - j. Let m = p - 21.9. Is 6 >= m?
True
Let a = -5 - 23. Let o(l) = -l**3 + 2*l**2 + 11*l - 25. Let x be o(3). Let y be ((-417)/(-15) + 5/25)/x. Is a < y?
False
Let h be 18 + 6 - (0 - -1). Suppose -d - h = -5*b + b, -5*b = 2*d - 19. Suppose -4*p + 176 = -b*n, 148 = -5*n - 5*p + 2*p. Which is smaller: -31 or n?
n
Let r(q) = 6*q**3 + 2*q**2 - q. Let y be r(1). Suppose 0 = -4*c - 4*f + 19 - y, c - 3*f - 23 = 0. Let k be ((-259)/14 + 8)*4/(-6). Which is smaller: c or k?
k
Suppose b + 219 = -2*b. Suppose 0 = u - 32. Let q(v) = -v**3 + 33*v**2 - 36*v + 56. Let l be q(u). Is b bigger than l?
False
Suppose -2542 = k + 11*k + 16850. Is -1618 greater than or equal to k?
False
Let x be (-3)/(3*84/36). Let q = -2050/9 - -228. Does x = q?
False
Suppose 4*j - 5*i + 15 = 3*j, 3*i - 7 = j. Suppose 216 = -4*r + 2*m, -j*r + 4*r = 5*m + 65. Let p = -0.2 - 0.8. Which is smaller: r or p?
r
Let q be (685 + -7)/2 - -6. Let u = q - 2418/7. Which is smaller: u or 4?
u
Let k = 2939 + -3614. Which is bigger: k or -671?
-671
Suppose -24750 = -49*s + 24*s. Is 990 greater than s?
False
Let d(t) = -160*t - 14. Let s(p) = 321*p + 28. Let c(u) = 5*d(u) + 3*s(u). Let l be c(-5). Let k = -8805/11 - l. Are k and 1 non-equal?
True
Suppose 298 = 36*z - 38*z. Which is smaller: -448/3 or z?
-448/3
Let q be (350/(-28) - -5)/(340/(-168) - -2). Which is greater: q or 303?
q
Let n = 86 - 203. Let f = -29736 + 29619. Let u = f - n. Which is bigger: 0.4 or u?
0.4
Let j be 235 + 3 + -8 + 1*-2. Suppose -7*q - j - 178 = 0. Are -55 and q unequal?
True
Let g = -2758 + 2811. Let i = 0.93 - -0.07. Is i at most as big as g?
True
Let x = -88/195 + 10901/390. Which is smaller: x or 28?
x
Let w = 135 - 64. Let g = 75 - w. Suppose l = 3*m - 12, 3*l = 3*m - 0*m - 18. Which is greater: g or m?
g
Let z be (-300)/(-28) + 6/21. Suppose 3*y = -2*p + 32, -16*p = 5*y - z*p - 55. Is y greater than or equal to 11?
False
Let x(w) = 2*w - 6. Let a be x(4). Let m(b) = -3*b**2 + 2*b**2 + 5*b + 0*b - a - 3*b. Let n be m(-3). Is n not equal to -17?
False
Let u(s) = 25*s + 43. Let d be u(-5). Let q be (2/5)/(d/205). Which is greater: 1/204 or q?
1/204
Let z = -20 + 20. Let s(q) = -q**3 - q**2 - q - 2. Let j be s(z). Let i be (1 + (j - -2))*0. Is -3 greater than i?
False
Suppose -16*n - 1084 + 23948 = 0. Which is smaller: n or 1430?
n
Suppose -2*z - 3*c = -85, z - 2*c = -z + 110. Let m = z - 47. Suppose -3*a + 15 - 6 = 0. Is m > a?
False
Let m be ((-3)/(8 + (-16 - -5)))/(2/(-32)). Which is bigger: m or -670/43?
-670/43
Let y be (-6)/((-36)/6) + (-95)/38. Do y and 15 have the same value?
False
Suppose -2*w = -55*g + 60*g - 1474, 0 = g + 2*w - 290. Is 292 > g?
False
Let a = 110 - 107. Suppose 0 = 5*o + a*z - 2, -5*o = z + 1 - 5. Which is bigger: -96 or o?
o
Suppose -2*a - 3 = -3*y, -53*a + 17 = -5*y - 57*a. Is y > 5/321?
False
Let h(v) = v + 10. Let s be h(-7). Let i be s/(-6)*104/(-190) + 0. Let g = 672/95 - i. Are g and 6 equal?
False
Let a be (-3)/(-9) - (-1)/(-3). Suppose -t + 16 = 3*t + 2*r, 0 = 3*t + 3*r - 18. Let b be t + -5 - (-153)/45. Which is bigger: a or b?
b
Suppose -1206 + 1327 = 11*z. Which is smaller: z or 109/10?
109/10
Let y(g) = 23*g**2 - 6*g - 1. Let p be y(-3). Let v be (-2)/(-6) + 2022/9. Which is greater: v or p?
v
Let l = -374 - -373.9311. Let r = -0.6689 - l. Let f = 6.7 - 7. Which is bigger: r or f?
f
Let b = -1.511 + 1.53. Let m = b + 0.181. Which is greater: 4.1 or m?
4.1
Let b(x) = 51*x**2 - 12*x + 7. Let v be b(5). Let s = v - 307. Let i = 41177/45 - s. Which is smaller: -0.1 or i?
-0.1
Suppose -3*v - 2832 = 4*c + v, 733 = -c + 4*v. Let n = -11 + c. Are n and -725 unequal?
True
Suppose 47*r - 41*r = 2988. Suppose -12*k = -6*k - 2988. Are k and r equal?
True
Let b(x) = -15*x**2 + 3*x - 30. Let g(i) = -46*i**2 + 8*i - 88. Let a(u) = 11*b(u) - 4*g(u). Let t be a(-4). Which is bigger: 0 or t?
t
Let z be -2 + 2 - 87/(-54). Let d = 3257/9 + -362. Let m = d + z. Which is smaller: 4 or m?
m
Let p be (-5)/((-50)/21) - 3. Let k = p - -47/30. Let j = -3395 + 3409. Is j > k?
True
Suppose 5*p + 2*l - 238 = 55, 5*p - 298 = 3*l. Which is bigger: 60 or p?
60
Let a = -165115/169 + 977. Suppose 755 + 205 = 8*w. Let i = -120 + w. Which is bigger: a or i?
i
Let s = 3.777 + 77.173. Let v = s + -41.84. Let h = 39 - v. Do 1 and h have different values?
True
Let m = 178751/20 - 17875/2. Is m less than 72?
True
Let c(j) = j**3 - 13*j**2 + 16*j - 215. Let l be c(13). Are -469 and l non-equal?
True
Suppose 5*l + 32 = -2*v, 0 = v - 2*l - 4 + 2. Let w be (4/v)/((-16)/(-2712)). Which is greater: w or -110?
-110
Let n(s) = -21*s**2 - 12*s - 9. Let g be n(-4). Is g smaller than -297?
False
Let w =