se
Let v = -4639 + 4638. Which is smaller: -1177 or v?
-1177
Suppose 10*w - 11207 = -4*w - 36925. Which is greater: w or -1836?
-1836
Let u be (229/(-4) + -4 + 2)*2420/(-33). Is 4347 equal to u?
False
Suppose -5*u - 28 = 26*l - 28*l, -l + 3*u = -14. Suppose 0 = 7*m - 7 + l. Which is greater: -22/23 or m?
-22/23
Suppose 2*p - 2876 = n, -2*p + 2*n + 5138 = 2254. Is p bigger than 1434?
False
Let a be -25*(8/(-20) - -1). Let o be (-12)/16*40/a. Suppose -o*m = 55 - 21. Is 0.3 smaller than m?
False
Let y be ((-2)/(-266))/(5/70) + 1107/133. Is -1/8 at least as big as y?
False
Let a = 11/4 - 215/52. Let u = -14670.9 + 14671. Which is bigger: u or a?
u
Let f be (1 - 0)/(80/(-27) - -3). Let y be 592/72 + -7 - 6/f. Which is greater: -5/82 or y?
y
Let r(a) = -46*a + 2157. Let i be r(47). Let x(c) be the second derivative of c**4/12 - 7*c**3/3 + 9*c**2/2 - 6*c. Let b be x(13). Is i at most b?
True
Let i(j) = -j**3 + 17*j**2 - 43*j + 2. Let x be i(14). Let g be x/(-144) - (-38)/(-296). Which is greater: g or 0?
0
Suppose -35*s + 84 = 7*s. Is s at most 61/18?
True
Let o = 32384 + -33247. Is -6 less than o?
False
Let l = 493 + -557. Let j = 100 + l. Which is greater: j or 5?
j
Let x(p) = 10*p + 102. Let g be x(-10). Suppose f - 5*w = 184, 4 = 2*f - g*w - 356. Is 179 not equal to f?
False
Let w(p) = 4*p + 1. Let m be w(1). Let y(c) = -3*c + 11 - 57 - 35. Let d be y(-28). Is d at least as big as m?
False
Let w = 151 - 90. Let o = 64 - w. Let u be o - (110/24 - 33/44). Is -1 > u?
False
Let w = 268 + 177. Let s = 452.2 - w. Which is smaller: s or 1/4?
1/4
Let m be 40/18 + (-3 - 75/(-27)). Suppose 2*o - 4 = o - m*i, 8 = o + 4*i. Suppose o = 3*a - 0*a - 5*u + 23, 2*a + 5*u - 18 = 0. Which is smaller: 1/40 or a?
a
Let i = 6813 - 3993. Is 2820 at least as big as i?
True
Let i = -2242 + 2242.3. Which is greater: 103/5 or i?
103/5
Let k(j) = -4*j**2 - 29*j - 3. Let w = -415 + 412. Let p be k(w). Is 0.1 > p?
False
Suppose -22 = -3*j + 3*m + 11, 5*j - m - 35 = 0. Let c be ((-2)/j)/(35/(-315)). Which is bigger: c or -4?
c
Let r = -386.9 + 370.9. Which is bigger: r or -291?
r
Suppose -51*s = -13*s - 546 - 974. Is s at most as big as 10/21?
False
Let y be 2/10 - (8 + (-957)/15). Let t = 11 - y. Let r be (t/10)/9 - 1. Which is greater: -1 or r?
-1
Let j = 14713/15 + -5201/3. Let d = -757 - j. Suppose 0 = -37*o - 29*o - 198. Is d greater than or equal to o?
False
Suppose 0 = 4*f + 4 - 0. Let b be (-2)/6 - (f/3 + 4). Let r(t) = -t + 2. Let q be r(b). Is -1/3 less than or equal to q?
True
Suppose w = -2*w + 66. Let l = -778 - -3999/5. Which is smaller: l or w?
l
Let q be 96/60 - (-4)/10. Suppose 4*n = -5*r + q*n + 124, -4*n = -r + 38. Suppose 6*f - 3*p + 6 = 7*f, -f + 48 = -3*p. Which is greater: r or f?
f
Let m = -217 - -214.37. Let s = 2.53 + m. Is s at least as big as 106?
False
Let k = -12295/9090877 - 4/6089. Is k bigger than -1?
True
Let p be (-402)/(-871)*1/16. Let z = 327/520 - p. Is 7 bigger than z?
True
Let v = -45507/5 + 9101. Let u(r) = r - 8. Let k be u(-7). Let x be (-12)/k - 0/1. Which is bigger: v or x?
x
Let c be 8/(-6)*(-339 + 39). Let q = 402 - c. Which is smaller: 3 or q?
q
Let g(j) = 12*j - 11. Let f be g(1). Let k be (110/44)/(f + (-26)/24). Which is smaller: -59/2 or k?
k
Let n = 3404 + -3386. Are -16 and n non-equal?
True
Let u = -16.3 + 1.3. Let p be (-91)/(-13) + (0 - (-3 + 1)). Let x be (-39)/p - (0 - 16/4). Is u > x?
False
Let a be (-3)/(-8917)*((-182)/(-26) + 46/(-6)). Which is smaller: 0 or a?
a
Let i be 4 + (-10)/280 + 4/(-16). Is i <= 3?
False
Let r be ((-455)/(-26) - 15)/((-3)/28). Is r greater than or equal to -23?
False
Suppose 91 = -13*t + 234. Suppose -t*d + 8 = 19. Let w = -1755 - -121097/69. Which is smaller: w or d?
d
Let h be 49/14 + (-26835)/7650. Which is bigger: 1 or h?
1
Let w be 8/(-18)*51*7*39/182. Let y(r) = -r**3 + r**2 - 32. Let u be y(0). Which is greater: w or u?
u
Let s = -394 + 251. Let w = s + 145.6. Are 0 and w equal?
False
Let h be (-12 + 11)/(1/107)*(38 + -25). Is h >= -1391?
True
Let l(q) = q**3 + 2*q**2 + q - 97. Let y be l(4). Which is smaller: 393/98 or y?
y
Let j = 0.13 + -0.23. Let f = -263/3 - -535/6. Is j bigger than f?
False
Suppose 3*y - 1 + 4 = -3*g, 0 = -4*g - y - 1. Suppose -74*r = -8*r - 13*r - 11130. Do r and g have the same value?
False
Suppose -13513 = 19*a + 37*a + 17679. Is -561 greater than a?
False
Let s be 68/4 - 3 - 1. Suppose 150 = 2*h - 110. Let t be h/39*36/10. Are t and s non-equal?
True
Let j be (1/(-3))/(20/(-4680)). Let p be 8 + (-224)/j*3. Are p and -1 non-equal?
True
Let s be (-6)/(-18)*3*0. Which is bigger: s or -2/1359?
s
Let j(b) = -25*b - 149. Let r be j(-27). Which is bigger: 4 or r?
r
Let r = 48.43 - 48.53. Let d be ((-2)/(-5))/(164/15). Let z = 343/410 - d. Which is smaller: z or r?
r
Suppose -5*v + 3*z - 313 = 0, -4*v + 149*z - 146*z = 248. Let l = -76 - -10. Which is bigger: l or v?
v
Let t(m) = m**2 - 4*m - 17. Let g be t(7). Let z(q) = 3*q**2 + 4*q + 2. Let k be z(g). Suppose -2*r + 3 = -3*r + 5*f, -2*f = 5*r - k. Which is smaller: r or 11?
11
Let g = -1492 - -1491. Which is greater: g or -4/405?
-4/405
Let k = -30375 + 37877631/1247. Let t = 36091/14964 + k. Is t less than or equal to 2?
False
Let y = -12 - -255. Let z = 250 - y. Is z greater than or equal to -1/2?
True
Suppose 65*p - 4*c + 9 = 66*p, -60 = 5*p - c. Are p and -10 nonequal?
True
Let a = 33 + -71. Let b be (286/52)/(15/(-100)). Are b and a unequal?
True
Suppose -3*w = -3*n - 2*n + 95, -2*n + 133 = -5*w. Let t be 3 + ((-785)/w - 4). Let k = -156/5 + t. Which is greater: k or 0?
0
Let o = 651.2 + -659.3. Which is smaller: o or 3.3?
o
Suppose v - 90 = -6*f + f, v - 117 = 4*f. Let g = 45 - v. Let s be (1/(-2))/((-5)/g) - 4. Is -56/5 greater than or equal to s?
False
Let n = -2529079/6 + 422589. Which is bigger: 1076 or n?
1076
Let s be 6/((-37)/4 + 4)*-1. Suppose 2*i - 3*w - 6 = -w, 12 = i - 4*w. Suppose 3*d + d - 8 = i. Is d not equal to s?
True
Let g be (2/(-30))/((-7)/(-3)). Suppose -d - 4*w = 26, -3*d + 26 = 4*w + 120. Let t = d + 34. Which is bigger: t or g?
t
Let y = -0.142428 - 0.057572. Let m = -230 + 382. Is m > y?
True
Let n = 5450 + -5450.07. Which is smaller: 46 or n?
n
Suppose 0*k = 16*k + 800. Let s be (k/(-120))/(25/8). Which is smaller: -2/45 or s?
-2/45
Suppose 32 + 19 = 17*b. Suppose 0 = -2*j + b*w - 14 + 4, -3*j = w - 7. Is 2/523 < j?
True
Let k = 80235 - 80248. Suppose -2*v + 50 = 3*v. Let f be (-3 - v)/(1 + 0). Is f smaller than k?
False
Let w = 4 - 1. Suppose y - 3*o - 19 = -w*y, 0 = -y + 5*o + 9. Let d = -6/8551 + 205254/42755. Which is smaller: d or y?
y
Let i = -34.24 + 0.24. Suppose -86*f = -89*f - 5*z + 29, -5*f = -3*z + 31. Is f at least as big as i?
True
Suppose -h + 8*h - 7*h = h. Let u = 289 + -8958/31. Which is smaller: h or u?
h
Let q = 671 + -673. Let s be (1/q)/((-13)/26) + 142. Which is smaller: s or 145?
s
Let i = 3224 - 1894. Are i and 1329 unequal?
True
Suppose 5*j + 4*z = 604, -5*j - 2*z = -10*j + 628. Is 117 >= j?
False
Suppose b - 82 = -5*v + 4*b, 5*v - 54 = -4*b. Let g = v + -10. Suppose 4*z - 5*p + 3*p = 0, -g*p - 6 = -5*z. Are -2 and z non-equal?
False
Let w(l) = l**3 - 126*l**2 - 402*l + 1601. Let b be w(129). Let r = -680 + 347. Which is bigger: r or b?
r
Let s(r) = -r**2 - 13*r + 3. Let v be s(-13). Suppose -v*o = 2*q - 0 - 21, 3*q = 9. Suppose -j = o*j. Which is smaller: j or 2/5?
j
Let t be ((-58)/40 - (-138)/115)*0. Suppose 0 = 2*b - 3*b + w - 5, -2*w = -5*b - 22. Let o be (6/136)/((-1)/b). Which is bigger: t or o?
o
Suppose -3*j - 13 = 2*d - 0, 6 = -2*j. Let p be ((-2)/d + 7/2)*44. Is p at most 198?
True
Let q = -624 + 625. Let k be 6/((-6)/(-5)) + 231*q. Which is smaller: 235 or k?
235
Let a = 43.9 + -36.1. Is -8/7 at least a?
False
Let t = -22.8 - -23. Suppose 0 = -121*q + 7411 + 2995. Which is smaller: t or q?
t
Let t(y) = -175*y - 789. Let j be t(-5). Which is greater: 88 or j?
88
Let r = 13 + -23. Let m = r - -28. Let u = m + -3. Are -4 and u nonequal?
True
Suppose -45 = 14*i - 19*i. Suppose 189 = -i*q + 1053. Suppose 7*b - 4*a = 5*b + q, -a = -b + 49. Is 50 less than or equal to b?
True
Let o = 4443 - 964133/217. Suppose 13*f - 1 = -4*j + 8*f, 2*f = 2. Is o >= j?
True
Let n(q) = 20*q**3 - 2*q**2 + 3*q - 2. Let v be n(1). Let p = v - 0. Let k(a) = -a**3 - 2