 or g?
g
Let a = -1944.1 + 1619.82. Let i = 324 + a. Which is bigger: 2/5 or i?
2/5
Suppose -419 = -5*f - 44. Let s = f + -379/5. Do s and 5 have the same value?
False
Let c = 2.027923 - 0.027923. Let v = 3 - 6. Which is smaller: v or c?
v
Let y = -370 - -370. Let a be (-1)/(-4*2/(-24)). Let j be (a/15)/((-1)/2). Which is smaller: j or y?
y
Suppose 11*j - 19*j + 1305 = 7*j. Which is greater: j or 6?
j
Suppose -380 = 4*d - 16*y + 13*y, -3*y = 0. Let t = d - -65. Is -28 less than or equal to t?
False
Suppose 39 = 3*u - 8*u + 3*n, -3*u + 3*n = 27. Suppose -2*q = -5*s - 50, 0*s - 5*q = -2*s - 20. Is s <= u?
True
Let t be 1*(-6 + 1662/(-6)). Let f = -307 - t. Which is smaller: -12 or f?
f
Let a = -46295/13 - -3565. Is a > 3?
True
Suppose -5*d + 398 = -z - 57, -3*d + 250 = 4*z. Let q be (-1902)/d - 4/(-30). Let k be 20/(-21) - 14/q. Which is smaller: k or -13/2?
-13/2
Let r = 43517 - 43686. Suppose 3*p + 3*q = -p - 673, p = 2*q - 171. Is r > p?
False
Suppose -h = g - 14, 2*h = -h. Let v = 2044 - 2028. Which is smaller: v or g?
g
Let c = 342 - 387. Let w(n) = -n**3 - 14*n**2 - 3*n + 9. Let y be w(-14). Let d = c + y. Which is bigger: 19/4 or d?
d
Let r(b) be the third derivative of -67*b**4/24 + 11*b**3/3 + 9*b**2 + b. Let l be r(6). Let m be 2/7 + l/(-140). Do 11/3 and m have different values?
True
Suppose 5*z - 4*z = -1181 + 1398. Which is bigger: 0.9 or z?
z
Let b(q) = -8*q**2 - 8*q - 4. Let h be b(-6). Let i be -18*(-35)/126*((-1)/(-1) + -50). Which is smaller: i or h?
i
Let r = -787 + 789. Let s be 2/(-3*(-3)/(-18)). Which is greater: s or r?
r
Let h be -5 + 34 + (4 - -1). Suppose -28*x + h*x - 24 = 0. Let b be (7/x + -1)*(-2)/42. Is b at least 1?
False
Let t = -18440 + 18413. Let s = -96 - -68. Which is bigger: s or t?
t
Let q(f) = f**2 - 24*f + 53. Let k be q(2). Is 10 at least as big as k?
True
Let g be -10 + 13 + -28 + 1/1. Let c = g - -6. Let m be (-1 + 2 - (-20)/c)*2. Which is smaller: m or 7?
m
Let r be 3/27 - 30272/(-36). Let g = 5897/7 - r. Which is bigger: 2 or g?
2
Let s = -5011 + -6617. Is -2/7 > s?
True
Let s be (2 + (-10)/3)/((-8)/(-408)). Let w = s + 8. Let r be (-15)/w - 15/28*1. Which is smaller: 2/5 or r?
r
Let i(z) = -189*z. Let m be i(-2). Let f be 6 + (-24)/m*129. Is -3 < f?
True
Let n be (-6 - 0)*(0 - (-7)/(-2)). Suppose 0 = 4*r + n - 109. Which is smaller: r or 1?
1
Let o be 6/286*10/15. Suppose 97 = -5*w - 468. Let g = -114 - w. Is g >= o?
False
Let z(k) be the third derivative of -k**6/120 - k**5/12 + 5*k**4/24 - 13*k**3/6 - 4*k**2 - 3. Let h be z(-6). Which is smaller: -72/13 or h?
h
Let v = 6.982 - -25138.018. Are v and 1 nonequal?
True
Suppose 0 = 9*p + 1943 - 1628. Is 22 greater than or equal to p?
True
Let n = -40 + 85. Suppose -114*q - 120 + 572 = -q. Does q = n?
False
Let z be 1 + 2307/21 - ((-3036)/(-161) + -19). Is z >= 127?
False
Suppose 18991 = -250*v + 243*v. Which is smaller: v or -2714?
-2714
Let s = -34713342/37 - -938262. Does 63 = s?
False
Let u be (-11 + 9)/((2/12)/(-1)). Suppose q + u = 3*p, 4*q - q + 4*p = -10. Let v be ((-6)/8)/(q/8). Which is smaller: v or -1/23?
-1/23
Let a = -20471 + 1146501/56. Is a less than 1?
False
Let x = -0.665 + 0.686. Let u = x - -0.979. Is 1/6 at least as big as u?
False
Let t be (-120)/30 - (-30)/(-6)*-1. Which is bigger: t or 1/1303?
t
Let m(k) = 8*k + 27. Let n be m(-11). Let a = n - -61. Suppose -4*t - q + 44 = a, -t - 5*q + 1 + 29 = 0. Is 10 less than or equal to t?
True
Let y be ((-9)/2)/(((-1)/(-35))/(192/(-51360))). Are y and 2 non-equal?
True
Let r = 157577/2306 - 1/6918. Is r at most -0.1?
False
Suppose -3188 = 4*l + 3*r, 3*r - 5*r = 5*l + 3985. Let u = 792 + l. Is u greater than -21?
True
Suppose 27 = 5*f - 93. Suppose -2*b + 0*b - f = 0. Let u be 14/(-10) + 2593728/(-7296)*4/(-630). Which is smaller: u or b?
b
Let p(y) = 32*y + 20. Let v be p(-6). Let m = v - -172. Which is smaller: m or 2/27?
m
Suppose 3*p + 811 - 814 = 0. Let h = -17 - -13. Let q be ((5 - 8)/90)/(h/(-6)). Which is smaller: q or p?
q
Let n(c) = -2*c**3 + 15*c**2 - 5*c - 14. Let i(x) = 6*x - 37. Let h be i(7). Suppose 2*q - 20 = -2*o, 5 + 3 = -o + h*q. Let l be n(o). Is l equal to 6/13?
False
Let z = -979 + 979. Which is greater: 3/2273 or z?
3/2273
Let y(j) = j**2 + 44*j + 162. Let v be y(-40). Let h(a) = -33*a**3 - 6*a**2 - 2*a + 2. Let w be h(v). Is w > -290?
False
Let b = 15921739/157 + -101413. Which is bigger: b or -2?
b
Suppose 5*r = 4*h, -r = -0*r. Let f(b) = -b**2 + b. Let m be f(h). Let i be (-43)/(-4) + (-37 - -25). Which is smaller: m or i?
i
Let j = -645 + 661. Suppose 7*s - 75 = j. Suppose -u + 2*u - 3*h = 5, 20 = 2*u - h. Which is bigger: s or u?
s
Let j = -92 + 95. Suppose -2*o = j*o - 470. Let l be (2/o)/((-5)/(-20)). Is 1 at least l?
True
Let p = 20 - 31. Let h(o) = o**3 - 13*o**2 + o - 24. Let f be ((-520)/(-6))/20*(3 + 0). Let c be h(f). Is p greater than c?
False
Let z be -1*1/((-9)/81) - 1563. Is z at least as big as -1545?
False
Let y(g) = 13*g - 40. Suppose 23 = 2*t + 15. Let n be y(t). Let c be 1/(3/9) - n/4. Which is bigger: -1/4 or c?
c
Suppose 3*u - 6*u = -6. Suppose -2*q = -4*d + 288, -d = -u*q - 78 + 12. Let k be 2 + d*2/(-80). Is k equal to 1?
False
Let x = 110 - -2. Let k = x - -35. Is k smaller than 1?
False
Let z = 263 - 262. Let v be 21/84 + z*-1. Which is smaller: 0.7 or v?
v
Let j = -73 + 227. Let s = -480 + 635. Which is bigger: j or s?
s
Let s(h) = 4*h + 38. Let v be s(-7). Suppose -v*x - 8 - 2 = 0. Let l be (x/3)/(4/64*-2). Which is greater: 2 or l?
l
Suppose 4*i = o - 1841, 5*o = -227*i + 229*i + 889. Which is smaller: i or -448?
i
Let i = 672 - 728.8. Let f = i - 1.2. Let a = 55 + f. Which is smaller: a or 1?
a
Let k be 6 - -1 - 5 - 108/62. Let r(o) = o**2 - 5*o - 5. Let v be r(6). Which is greater: v or k?
v
Let v = -71 - 89. Let r = -801/5 - v. Suppose 0 = -9*f + 4*f + 60. Which is bigger: f or r?
f
Let x be -6382 + 2/2 - (3 - 11)/(-1). Which is smaller: -6391 or x?
-6391
Let k = -558 + 13948/25. Let f be (-100)/(-75) + (-4)/3. Suppose 4*y + 5*o - 15 = 0, -5*y - o = -f*y - 3. Is k smaller than y?
True
Let t = 28074726/23 - 1220639. Let j(w) = w**3 + w - 1. Let c be j(1). Is c <= t?
True
Let k be ((-1)/5)/((-1)/1). Let w = 333 + -333. Let c be w + 3 + (-18)/12 + -3. Is k > c?
True
Let z(w) = w**2 + 8*w + 14. Let m be z(-11). Suppose -7*o + m = 278. Let j be (-6)/o - (-202)/(-22). Do -1/5 and j have the same value?
False
Let m = 2.2052 - -2.7948. Let s = 1.4 + 15.6. Let w = -10 + s. Which is smaller: m or w?
m
Let g(l) = -1 + 6*l - 2*l + 25 + 11. Let h be g(4). Which is bigger: h or -1/4?
h
Suppose -5*g + 4*o - 12587 = 0, -2*g + 2*o - 951 = 4083. Which is bigger: g or -2518?
-2518
Suppose 0*m - 4*m + 13 = -w, 0 = -3*m + 4*w. Suppose -4*s + m*l + 26 = -2, 20 = -4*l. Which is greater: s or 105?
105
Suppose 3*g = 5*s + 45, g + 3*s = -g + 30. Let u be ((-24)/45)/((-9)/g). Are u and 2 equal?
False
Let b = -13585251/11275 - -13254/11. Which is smaller: b or -1?
-1
Let o = 935.8 - 935.7889. Is -0.3 less than or equal to o?
True
Let x(o) = 16*o + 51. Let i be x(-3). Suppose 0 = 3*d + i*d - 582. Is 97 at most as big as d?
True
Let j = 3853 - 3854. Which is smaller: -8/107 or j?
j
Let g be 10*-1*1/2*-1. Suppose g*o - 5 + 20 = 0. Is -12 at least as big as o?
False
Let u = -97 - 1327. Is u > -2?
False
Let l = -4828 - -8040. Is l smaller than 3?
False
Let b = -81/41 - 3242/123. Let w(j) = -j - 14. Let y be w(6). Let p(q) = 5*q + 71. Let z be p(y). Is z != b?
True
Suppose -21*n + 97 = -50. Suppose -22*s - n = -r - 25*s, -r + 11 = 5*s. Do -15/94 and r have the same value?
False
Let h be 4/(-38) + 52/(-228) + (-28)/(-21). Is h at least 2/15211?
True
Let o = 47 - 93. Let t be ((-10)/4 - -2) + o/(-138). Let y be (3/14)/(1/(-2)). Is y greater than or equal to t?
False
Let m = -2971 - -2884. Is 4 less than m?
False
Let a = 4470 - 4469. Is a at least -1191?
True
Suppose p + 4*q - 85 = 0, 0 = -0*p + p - 4*q - 61. Let v = -162.1 - -162. Which is smaller: v or p?
v
Let a(k) = -k**3 - 10*k**2 + k + 4. Let f be a(-12). Suppose 5*c - 7*c - f = 0. Let g be (-2)/(-8) + (-285)/c. Which is smaller: g or 3?
g
Let x = 172 + -177. Let v be x/50*4/(-3). Let b = 12 + -11. Is v <= b?
True
Suppose 0 = -4*h - 2*x + x + 31, 4*h + 4*x = 40. Which is bigger: -171 or h?
h
Let o(y) = -6*y +