t f be 5/n*(-3)/(-4). Let h = -3.18 - 0.82. Is h greater than f?
False
Let x be (-2704)/65*(-3 + 78)/5. Which is bigger: x or -2495/4?
-2495/4
Suppose t = -23*a + 22*a + 4, -4*a = 3*t - 11. Let o be (a*1/3)/((-1155)/(-270)). Which is greater: 0 or o?
0
Suppose 3*p - 5 = 10. Suppose 4*i + 11 = -2*h + 37, -i - 10 = -5*h. Suppose -p*t + 135 = -5*f, 3*f + 130 = i*t - f. Which is smaller: t or 24?
t
Let v be -2*(-2 - -3) - -16. Suppose 5*q + 6 = -v. Let h be (2/q)/((-4)/(-128)). Are h and -16 nonequal?
False
Suppose 6*p + 33 = 27. Let n be (1 - 81797/(-83356)) + -2. Let d = n - 3/916. Is d bigger than p?
True
Let z = -82 + 60. Let s(t) = -t**2 - 26*t - 64. Let x be s(z). Which is smaller: x or 45/2?
45/2
Suppose -42*y + 26939 = -7963. Which is bigger: 833 or y?
833
Let d = -333.7888 + -0.2112. Which is greater: d or 0?
0
Let m = -8 - -2. Let h = m - -7. Let c = -42/13 - -38/13. Is c greater than or equal to h?
False
Let u(d) = d**3 + 4*d**2 - 3*d - 13. Let g be u(-4). Let w(x) = 25*x + 10. Let n be w(-4). Let z be 39/n + (-2)/12. Do g and z have the same value?
False
Suppose -s + 192 = 2*u, 7611*u - 7613*u + 600 = 3*s. Is 269 <= s?
False
Let f = 0.0725 + 0.3875. Let d = 228 + -230. Which is smaller: d or f?
d
Let r(w) = 6*w - 33. Suppose -3*h = -17 - 1. Let u be r(h). Suppose n + 4*t = 3*n - 16, -u*n - 5*t = 20. Do 8 and n have different values?
True
Suppose 10 = 4*k + k. Let w = 2 - k. Let a = 177906/35 - 5083. Are w and a equal?
False
Let t be 0 + (2208/230 - (-3)/(-5)). Suppose -78*y + t = -79*y. Which is smaller: y or -7?
y
Suppose m - 14*m + 52 = 0. Suppose 5*p + 2*z + 35 = -1, 0 = 2*z - m. Which is greater: -35/4 or p?
p
Let z = 7819 + -5709. Does z = 2109?
False
Let z = -349.63 - -352. Let i = -370.63 - z. Which is smaller: i or -1/3?
i
Let f(h) = h**2 - 13*h - 887. Let p be f(37). Is p smaller than 475?
True
Let d be (-280)/350 - (-1192)/(-10). Do d and -119 have the same value?
False
Suppose 4*p + 14 - 11 = -a, a = -p. Is -3/7705 less than p?
False
Let u = 107 - 98. Let a be u/(-21) - (-1243)/(-7). Let g be a/21*-3 + 3/(-7). Is g bigger than 25?
False
Let v be (6/(-4))/(3/12). Suppose -5*y - 5*s = 20, -5*y - 3*s - 23 = -7. Let h be (y - 4) + -6 - -5. Which is greater: v or h?
v
Let r = -3.89 - -0.19. Let p = 2.3 - r. Let x = 1.4 - 1.9. Which is smaller: x or p?
x
Let r be (2/(-4)*-2 + 1)*-4. Let m be (-11)/(165/108) + 2/10. Let n = m + -2. Is n >= r?
False
Let n = -35.8 + 54.9. Let r = -6 + 25. Let z = n - r. Is z less than -2/61?
False
Let i be 2 + (-1)/(-10) + 6993/370. Does 181/9 = i?
False
Let z = -675 - -686. Suppose -z*s = 84 - 271. Is s less than 15?
False
Let u = -217895/1022 - -1492/7. Which is smaller: u or 0?
u
Let h be 0/(4/((-6 + 10)/(-2))). Let k be 749/(-249) + 6/2. Is k at least h?
False
Let u = 478983/13 - 36845. Let k = -31.83 + 32. Which is greater: u or k?
k
Let x = -567 - -147. Let m = x - -418. Which is bigger: m or -192?
m
Suppose 88*r - 273*r + 185 = 0. Is r smaller than 1/34?
False
Suppose -q - 6 = 3*h + 7, q + h = -3. Let o = q - 1. Let u be ((-27)/18)/(490/40 + -7). Is o at least as big as u?
True
Let v be (-4)/(-18) + 5 + 238/63. Suppose -2*y = n - v, -12 = n - 5*n. Suppose 4*j = -5*s + 2*j - 25, 4*s + y*j + 20 = 0. Is s at least as big as -5?
True
Let o be -1 - 27/(-21) - (-1110)/(-210). Let k be ((-80)/(-375))/((-2)/o). Which is smaller: -0.1 or k?
-0.1
Let j be 4/((0 - 3) + 7 + (-54636)/13650). Which is smaller: -1518 or j?
-1518
Let n = -1697 - -1908. Does n = 634/3?
False
Suppose -z + 38 = -5*g - 0*z, 29 = -2*g + 5*z. Let p be ((-7)/5)/(1 + g - -5). Let n = 2.05 + -0.05. Is p at most as big as n?
True
Let f(h) = 78*h**3 - h**2 + 127*h + 374. Let i be f(-3). Which is smaller: 2/3 or i?
i
Suppose -6*y - 276 = 1422. Let f = 1428/5 + y. Are f and 3 equal?
False
Let r(t) = t**3 - 39*t**2 - 2*t + 83. Let w be r(39). Suppose -346*x = -351*x + w. Is 1/516 smaller than x?
True
Let y(d) be the third derivative of 11*d**4/12 + d**3/2 + 60*d**2. Let x(p) = -p + 10. Let q be x(11). Let h be y(q). Is h at least as big as -18?
False
Let l = 3220 + -9664. Is l less than -6445?
False
Suppose -f - 5*c + 30 = -0*c, 4*f = -4*c + 152. Let m be (f/(-16))/(1/(-14)). Suppose m = -4*z - 41. Is -21 greater than z?
False
Let k = 9478 + -9477. Which is bigger: -4.02 or k?
k
Let v = 21131 + -21130.98. Is v equal to -957?
False
Let x = -364562/17 + 21442. Suppose -j + 2 = l, 4*j + 0*j - l + 17 = 0. Which is smaller: x or j?
j
Let n be -3*(70/60)/((-1)/4). Suppose -476 = n*b - 10*b. Is -121 less than b?
True
Let k = -450 + 4978/11. Let z(t) = 16*t**3 + 5*t - 6. Let x be z(1). Suppose -y = q - x + 11, -4*y + 11 = -q. Which is greater: k or y?
y
Let a be (2 - -2)*5770/(-60). Which is bigger: -0.1 or a?
-0.1
Let r = -16 - -23. Suppose -3*a - 10*h + 47 = -11*h, 0 = -2*h + 2. Suppose 4*o - a = -4*k, 27*o - 30*o = 15. Are r and k unequal?
True
Let d = -200.887 - -201. Let z = d - 0.094. Which is smaller: 0.2 or z?
z
Let x = 839 - 560. Let m = 261 - x. Is m greater than or equal to 0?
False
Let d = -46136/9 - -5126. Is -8 equal to d?
False
Suppose -i = d - 1, 2*i = 12*d - 7*d + 23. Let j be 235/((-5)/30 - 2/d). Is 470 less than or equal to j?
True
Let x(h) = h**3 - 25*h**2 + 7*h - 59. Suppose -8*a + 164 = -36. Let c be x(a). Are c and 116 nonequal?
False
Let a = -5454 + 16361/3. Which is smaller: a or 6/935?
a
Suppose -3*z - 2*f = -2*z - 83, 3*z - 259 = 4*f. Suppose -z*m = -89*m - 4. Which is greater: m or -42/31?
m
Suppose 10*h = -275 + 475. Suppose 0 = h*a - 17*a - f + 6, 0 = -2*f + 6. Which is smaller: a or 4/21?
a
Let g be (-1265)/(-1012) + 69/4*-1. Which is smaller: g or -212/13?
-212/13
Let a = 0.175 - -173.825. Let k = -103 + a. Let j = 83 - k. Is j <= -0.4?
False
Let o = -0.1 - 0. Let y be -13 + 0 + (-16)/(144/(-115)). Is y at least o?
False
Let t(v) = 115*v**3 + 26*v**2 - 8. Let b be t(-3). Are b and -2880 equal?
False
Let x(s) = 2*s**3 - 17*s**2 - 15*s + 52. Let d be x(9). Which is bigger: 700 or d?
700
Let n = 1343/15 - 283/3. Let s = -30 + 38. Let x = s + -12. Are x and n nonequal?
True
Let b = 1159601/244 - 19009/4. Is b != -1?
True
Let k be (-1)/3 + 38/24. Suppose -2*w + 202 = -4*r, 0 = -r - 23*w + 19*w - 55. Let h be 6 - 8/(-72)*r. Is k not equal to h?
True
Suppose -2 = -2*n - 0. Let w(q) = -q**2 - 12*q - 8. Let o be w(-11). Let p be (-3)/2 + o + 15/(-10). Which is smaller: n or p?
p
Let l = 0.237 + -0.443. Let f = -0.166 - l. Which is bigger: 2 or f?
2
Let p(u) be the first derivative of -3*u**2/2 - 2*u - 52. Suppose 0 = -0*n - 2*n - 6. Let a be p(n). Is a equal to 8?
False
Let f = 0.75 - 0.62. Let l = f - 1.03. Is l <= 6?
True
Let y = -583/9 + 191/3. Suppose 0 = 3*b + 44 - 23. Let o(i) = i**3 + 7*i**2 - 2*i - 15. Let c be o(b). Which is smaller: y or c?
y
Let r = 0.64 + 51.36. Let u = -50 + r. Let j = 12 - 9. Which is bigger: j or u?
j
Let u(m) = 2*m**3 - 49*m**2 - 29*m + 142. Let b be u(25). Does b = 38?
False
Let z(q) = -27*q + 70 - q + 16*q. Let n be z(15). Is -110 greater than or equal to n?
True
Suppose -2*q + 5707 = 5*a, 3*q - 5163 = -4*a - 603. Which is bigger: a or 5711/5?
a
Let o = -92 - -92. Suppose -c + 4 - 10 = o. Let x(t) = t**3 + 4*t**2 - 13*t + 9. Let r be x(c). Which is bigger: 17 or r?
17
Let h(d) be the second derivative of -d**3/6 + 37*d**2/2 - 10*d. Let j be h(8). Suppose 23 + j = n. Is n bigger than 53?
False
Let y = 1 - 7. Let s = 0.0011 + -24.0011. Let r = s - y. Which is greater: 0.2 or r?
0.2
Suppose 263*k - 242*k - 210 = 0. Suppose 5*o + 4*q - 7 + k = 0, 0 = -2*o - q. Is o less than or equal to 4/55?
False
Let w(n) = -2*n**2 - 9*n - 8. Let h be w(0). Let i(a) = -2*a**2 - 24*a - 65. Let p be i(h). Which is greater: 41 or p?
41
Let m = 123.3 + -1201.3. Which is bigger: m or 2/9?
2/9
Let f(c) = c**2 + 9*c - 22. Let d be f(-11). Let l be (d/(-1))/(-2 + 4). Suppose -4*x = x - l*x. Is x at least as big as -3?
True
Let r(h) = 2*h**2 - 2 - h**2 - 983*h + 985*h. Let g be r(0). Is g less than -16/17?
True
Let c(k) = -29*k**2 - 1043*k - 150. Let l be c(-34). Which is smaller: 1786 or l?
1786
Let d(t) = -t**3 + t**2 - t + 16. Let z be d(0). Suppose 11 - z = 5*s. Let n = 736/11189 - 6/167. Which is bigger: s or n?
n
Let r = 72326.39 - 72326. Let g = -0.4 - -0.1. Which is smaller: r or g?
g
Let x = 5875 - 5797.