se
Let m = -48 - -66. Let s(y) = -9*y + 232. Let x be s(m). Is 3 greater than x?
False
Let p(b) = -54*b + 282. Let h be p(5). Suppose -3*y - 3*g + 3 = 12, y = 4*g + h. Are y and 10/107 nonequal?
True
Let b = -234517791/3221 - -72809. Which is greater: -1 or b?
b
Let b be -23 - ((-52)/(-14) - ((-752)/(-112) + -7)). Suppose -7 + 33 = -s. Is b greater than s?
False
Let r be (-7)/1*210/49. Suppose -2*y = -3*d + 63, 6*y - 2*y + 2*d = -102. Let u = y + -2. Which is smaller: u or r?
r
Suppose 65 = 16*t + t + 371. Which is greater: 11 or t?
11
Suppose 0 = 6*b - 27*b - 21. Which is smaller: -6/361 or b?
b
Suppose -g = -4*i + 280, -142*g + 140*g - 2*i = 550. Which is bigger: g or -274?
-274
Let h = 2104543730/12237 + -171982. Is -1 less than h?
True
Let p(d) = 4*d - 10. Let n be p(0). Which is greater: n or 1?
1
Suppose 121074 = 35*z + 4844 - 27270. Is 1 < z?
True
Let j(v) = -v**3 + 7*v**2 + 8*v + 2. Let f(r) = r**3 + 10*r**2 + 7*r - 10. Let b be f(-9). Let i be j(b). Let x = -837 - -837.09. Is x <= i?
True
Let d be -1 + -3 + 6 + 1. Suppose d*k + 0*k + 16 = t, 20 = 5*k. Is 32 greater than or equal to t?
True
Let u be (8/(-5))/((-4)/10). Suppose -u*v + 148 = -4*c, -43 = -2*v - 4*c + 1. Suppose -4*z - v = l, 3*z = -z + 5*l - 56. Is -9 != z?
False
Let z = -10108 - -13458. Which is bigger: -2 or z?
z
Let z be 4/6 - (-17575)/(-18825). Is z less than or equal to 0?
True
Let s = 3 - 2. Let q = 303.26 - 303.09. Does q = s?
False
Let d = -411.61 + 410. Let f = d - -1.51. Let i be 12*(0 - -3 - 2). Which is smaller: f or i?
f
Let b = 4 - 3. Let x be (-1)/((-20408)/4082 - -5). Let q = 161241/79 + x. Is q greater than or equal to b?
False
Suppose -7868 + 20100 = -4*q - 3*h, 4*h + 12232 = -4*q. Which is bigger: q or -3056?
-3056
Let r = -23 - -23. Let z be ((-68)/4 + -1)/((-10)/(-3)). Let q = -6 - z. Is q at least as big as r?
False
Let z be ((-48)/(-18) + -3)/(439188/36). Is 0 equal to z?
False
Let x = 633 - 632.95. Let l = -5 - -23. Let h = l + -18.1. Are h and x non-equal?
True
Let t(r) = 4*r**3 - r**2 - 6. Let b(f) = -f**2 - 3*f + 8. Let q be b(-5). Let v be t(q). Which is smaller: -43 or v?
-43
Suppose -7*v - 188 = -580. Let a = 55 - v. Let r(k) = 3*k**3 - k + 1. Let c be r(a). Is 1/47 at least c?
True
Suppose 10*q + 6*q = -8*q + 24. Is 3/1606 bigger than q?
False
Let n = 3393.11 + -3393. Is n less than -12/5?
False
Let c = 3785 + -2317. Suppose 1481*o = c*o + 26. Let n = 613/406 - 2/203. Which is smaller: n or o?
n
Let n be ((-2)/202)/((-1617)/(-180) - (3 - -6)). Do 0 and n have different values?
True
Suppose 0 = -4*w + 88 - 16. Suppose -5*k - 3 + 27 = 3*l, 5*l = -2*k + 2. Which is bigger: w or k?
w
Suppose -v - 2*v + 2*h = -100, -4*v + 156 = 3*h. Suppose 0*n + 2*n + 2*b = v, n - 16 = b. Which is bigger: n or 16?
n
Let b(i) = i**2 - 24*i - 64. Let g be b(28). Suppose -32*x + g*x = -2624. Which is bigger: -166 or x?
x
Let g = -648.1 + 642. Let i = 155 + -147.9. Let u = g + i. Which is greater: 2 or u?
2
Let w be ((-1)/2)/((-11)/220). Suppose -w*o = 17 + 73. Is o >= -48/5?
True
Let n = 1146 + -1109. Let u(x) = x**2 + 10*x - 21. Let y be u(-14). Which is smaller: y or n?
y
Let c be (-1080)/14*(-2338)/668. Which is smaller: 264 or c?
264
Let z = 5 - 9. Let a be 5/z*2*2. Let x = 14363 - 14364. Which is greater: x or a?
x
Let j = -4.1 - -3. Let l(r) be the second derivative of r**4/12 - 5*r**3/6 - 7*r**2 + 2*r - 44. Let b be l(7). Is b less than or equal to j?
False
Suppose -25*y - 52 = -21*y. Let b(n) = -n**2 - 15*n - 25. Let f be b(y). Is f >= 8/7?
False
Let a(l) = -242*l + 38. Let b be a(-1). Let c be 28/b*15/2. Which is greater: 0 or c?
c
Let y be 324/36 + (-6)/1. Suppose y*g = 5*g - 2. Is g equal to 15/17?
False
Let a(j) = 26*j + 219. Let v be a(-8). Suppose -35*p - 480 = -v*p. Which is smaller: p or -13?
p
Let y(s) = 8*s**2 - 2*s**2 - 16*s - 5*s**2 + 4. Let h be y(13). Let g = -28 - h. Is 7 bigger than g?
False
Suppose s + 5 = -8*v + 2*v, -3*s = -4*v - 7. Which is smaller: 2/4229 or v?
v
Let y(p) = 104*p - 728. Let x be y(7). Which is smaller: -1/3608 or x?
-1/3608
Suppose 4*i = -k + 6, i - 2*i = -2*k - 6. Suppose 404 = i*d + 22. Suppose 1 = -12*g - d. Are g and -16 nonequal?
False
Suppose b + 6*b + 36 = -5*b. Which is smaller: b or -8?
-8
Suppose -5*w = -3*w - 14. Let o(n) = -n**2 + 13*n + 6. Let p be o(w). Let a be ((-55)/(-30) - 2) + 2/p. Which is greater: -1 or a?
a
Let g = -15.3 - -15.205. Let d = -0.161 - g. Which is greater: d or -1?
d
Let s = 3586.49 + -3586.7. Which is bigger: 68/29 or s?
68/29
Let h = -16.7 - -362.7. Which is smaller: h or -0.1?
-0.1
Let g(x) = -796*x - 3302. Let a be g(-11). Is a at least as big as 5454?
True
Let j = 0.266 + -0.166. Which is smaller: -1593 or j?
-1593
Suppose -4*q - 3*s - 26 = 0, -3*q + 12 - 29 = s. Let v be ((-2152)/(-80) + 2/q)*-2. Let x = v - -58. Is 10 bigger than x?
True
Let a be (-30 - -30)/(-3 - -4). Which is bigger: a or -1/6043?
a
Let r be 2/2 + (14 - -5). Let i(j) = -2*j**2 + 38*j - 40. Let x be i(r). Which is greater: -157/2 or x?
-157/2
Let t = 259 - 503/2. Suppose 0 = 8*c + 2322 + 638. Let g be (-6)/27 - c/45. Which is greater: t or g?
g
Let j be (8/5)/(486/(-2295)). Let t = -890/117 - j. Which is smaller: -1 or t?
-1
Let k(g) be the second derivative of g**4/12 - g**3/2 - 6*g**2 + g. Let d be -1*(54/10 - 22/55). Let z be k(d). Is 28 not equal to z?
False
Suppose 360*a - 361*a = 5815. Is a < -5815?
False
Let d = -528 - -532. Let c be (-2)/d*36 - -2. Is -78/5 smaller than c?
False
Let p(h) = 72*h + 2598. Let l be p(-28). Which is greater: 586 or l?
586
Let z = 139 - 153. Let h be -1*z/20*150/240. Which is smaller: h or 1?
h
Let c = -2/203 + 617/812. Let f = c + -1/12. Suppose 107*z + 660 + 126 + 70 = 0. Is f >= z?
True
Suppose -u - 18 + 12 = 0, 3*u + 2 = 2*l. Is l bigger than -2/71?
False
Suppose -5312*m - 18 = -5294*m. Are 2/4171 and m equal?
False
Let c(i) = i - 4. Let f be c(8). Suppose -5*a = f*d - 28, -d + 5*a + 7 = -0*d. Let q = 273 - 267. Which is smaller: d or q?
q
Suppose -20 = 2*y + 2*y. Let n(q) = -q**2 - 2*q + 3. Let i be n(y). Let o(f) = -f - 11. Let r be o(i). Which is bigger: 30/13 or r?
30/13
Let l(m) = 14*m - 24. Let f be l(2). Let g be f + -2 + (-156)/(-30). Is 6 at least g?
False
Suppose 963 - 2967 = 4*s + 2*i, 2520 = -5*s + 5*i. Let z be (0 + -2)/(2*s/6). Are z and 1 equal?
False
Let j be (-2 - (-30)/4)*2. Let r be (-1045)/(-25) + j/5 + -2. Suppose 2*w - a - r = 0, -2*a + 0*a + 36 = 2*w. Is 2/7 less than w?
True
Let s(t) = -3*t**3 - 205*t**2 - 65*t + 228. Let c be s(-68). Let k = -46 - -87. Suppose 5*b = -c - k. Which is smaller: b or -14?
-14
Let u be (-3 - 27980/(-25)) + (-28)/(-35). Suppose 30*k = -97 + u. Is 34 smaller than k?
False
Let k = 525 + -270. Suppose -k + 759 = 14*g. Do 38 and g have the same value?
False
Let k = 1 - 3. Let f = 6/94675 - 189416/1041425. Which is bigger: f or k?
f
Let h = 16895381/875 + -19309. Is 1 greater than h?
True
Let c = -18761/804750 + 3/9250. Let d = -2.9 + 3. Is c greater than d?
False
Let m = -38.97 + -0.03. Let o be (-1175)/364 + 1 + 2. Let y = o - 3/52. Which is smaller: m or y?
m
Let x = -63.026 - -0.026. Let z = x + 62.8. Let u = z - -0.2. Is -34 bigger than u?
False
Let l = 57 + -55. Let n be 2*(0 + 2/l). Let v be 21/n + 6/4 + -1. Is v equal to 10?
False
Suppose 231*d + 67954 = -87941 + 47325. Do -455 and d have the same value?
False
Let u = 171379 - 98200193/573. Are -1 and u equal?
False
Suppose -3*y = 5*y + 24. Let o be 3/y + 7/(21/(-6)). Are 13/5 and o equal?
False
Let a(s) = 2*s**3 + 3*s**2 - 2*s - 4. Let r be a(-2). Let x be (12/(-20))/((-6)/r)*-5. Suppose x*f + 5*d - 13 = 2, -4*f + 2*d - 6 = 0. Which is bigger: f or -2?
f
Suppose -13*p + 14 = -11*p. Suppose -33 = -p*l - 12. Suppose -5*k = -l*k - 2. Which is bigger: 2/65 or k?
k
Let y(a) be the third derivative of a**5/60 + 13*a**4/12 + 23*a**3/3 + 2*a**2 - 4. Let g be y(-24). Which is greater: g or -8/9?
-8/9
Let y = -112/5 + 67/3. Let k = 59 + -53. Suppose 0 = -a + 3*a + 4*s + k, -8 = 4*a + 4*s. Which is smaller: y or a?
a
Let d(w) = 5*w**2 - 5*w + 6. Let u(y) = 14*y**2 - 10*y + 12. Let i(r) = 5*d(r) - 2*u(r). Let b be i(1). Which is greater: b or -29/22?
-29/22
Let g be 1/2 + 46/(-44). Let h be 42/(-21) - ((-2)/(-1) - 7). Let r be (-13)/26*h/(66/(-8)). Is g smaller than r?
Tru