+ -4044.4. Let i = 0.14 + -0.11. Which is greater: g or i?
g
Let h = 231 + -231. Let j be 18/(-27)*(-18)/4. Let n be (10/3)/(31/j). Are n and h unequal?
True
Let u(i) = 3*i. Let g be u(6). Let f = -18.76 + 0.76. Let m = -17.9 - f. Is m < g?
True
Let z be 4/(-10) - (-988)/20. Suppose -6 = -3*x - 2*s, -6*s + 7*s + 4 = 2*x. Which is smaller: z or x?
x
Let q = 0.139 + -1.139. Which is smaller: q or -4119?
-4119
Suppose 0 = -101*n - 4*n + 362 + 2158. Is n less than -2?
False
Suppose 4*s + 6*x = 3*x + 5593, 0 = s - 4*x - 1403. Suppose -h = -5*d + s, -23*d - 4*h = -28*d + 1396. Is d >= 280?
True
Let d be 1031 - 25 - (1 - -3) - 6. Is d != 6978/7?
True
Let j be ((-3)/3)/(10/(-14)). Let c(w) = w**2 - 3*w + 1. Let z(p) = 7*p**2 - 24*p + 16. Let k(l) = -6*c(l) + z(l). Let y be k(2). Is j bigger than y?
False
Let m = -6 + 4. Let f = m - -11. Suppose -75*q = -22*q - 318. Which is bigger: q or f?
f
Let q be (31/2)/(3/(-35 - 1)). Let p = q + 199. Is p smaller than 6?
False
Let k = 36447.928 + -36313. Let u = k - 135. Are -1/3 and u unequal?
True
Let u(w) = 24*w + 206. Let q be 2*(-8 - (-49)/14). Let b be u(q). Which is greater: -66/7 or b?
-66/7
Let l be 3/2 - (-12)/8. Let f(c) = 3*c**2 - 30*c + 75. Let k be f(5). Is l not equal to k?
True
Let g(u) = -12*u**2 - 1262*u - 137. Let d be g(-104). Is 1318 bigger than d?
False
Suppose 3*y + 1 = -0*y - 5*p, 5*p + 7 = -y. Let n(k) = 18*k + 6. Let j be n(y). Let l be (13/5)/(232/j - 4). Which is smaller: -21 or l?
-21
Suppose 5*c + 5*g - 2*g = 612, 620 = 5*c + 5*g. Suppose -176*z + 178*z = c. Is 58 less than z?
True
Let z(s) = 14*s**3 - 10*s**2 + 10*s + 1. Let i be z(3). Let p = -291 + i. Do 29 and p have the same value?
False
Let w be ((-3012)/(-26))/(-3 + 2). Let h = -116 - w. Let g be (10/(-16))/(285/(-114)). Is h smaller than g?
True
Let g(f) = -5*f**3 - 28*f**2 + 7*f + 14. Let i be g(-5). Is i at most 8?
True
Let r be (459/(-748))/(1 + -1 + 15/10). Do r and 1 have the same value?
False
Let q = -50 + 1. Let y(a) = -6*a + 7. Let u(h) = 4*h - 5. Let b(t) = -7*u(t) - 5*y(t). Let v be b(1). Does v = q?
False
Let c = 267 + -265. Suppose -f + 5*z = 14, -3*f + 4*z - 11 = -c*f. Which is greater: f or 2/489?
f
Let r = -4 + 8. Let q = 1.1 + r. Let n = 2.9 + q. Is -0.4 at least as big as n?
False
Let i = -17.559 + -0.041. Let g = i + 10.5. Let k = g - -7. Is k <= 4.4?
True
Let t = 291.74 - 54.7. Let m = t - 237. Which is smaller: 33 or m?
m
Let g = -8.4 + 45.4. Let n = 47.64 - 10.39. Let h = n - g. Which is greater: 2 or h?
2
Let k be (-140)/(-45)*(-3465)/168. Which is smaller: k or -65?
-65
Let o = -200 + 188.6. Let b = -3.6 + o. Let n = -41/96 + 3/32. Is n less than or equal to b?
False
Let v = -1.33 + -8.67. Let n = 10.5 + v. Which is greater: 9 or n?
9
Suppose -d = 5*z - 2*d + 20, -5*d = 0. Let b be (z/3)/(28/312*-1). Which is smaller: b or 16?
b
Let c = -249.0121 - -0.0121. Let s = c + 66. Which is smaller: -1 or s?
s
Let v(y) = 3*y**3 - 3*y**2 - 33*y + 34. Let i be v(1). Which is bigger: 2/299 or i?
i
Let i = 1972772/9425 - 5236/25. Which is smaller: i or 1?
i
Let n = -0.094 + 0.052. Let p = -0.034 - n. Let w = p + 0.052. Which is smaller: w or 0.4?
w
Let s(t) = -2*t**2 - 256*t + 1067. Let q be s(-132). Which is smaller: q or 23?
q
Suppose 82*r - 106 = 81*r. Let x be (-1)/21*r*-6. Which is greater: x or 31?
31
Suppose 2*y + 22 = 4*j, 3*j - y = -4*y - 6. Suppose -j*m + 9*m = -0*m. Which is bigger: 235 or m?
235
Let w = 3 - 4. Let t = -15.0279 - -15. Let a = t + 3.0279. Is w at most a?
True
Let h be (0*(-5)/(-30))/(-5*(-3)/15). Is h at least as big as -4/1457?
True
Let l be 19859/(-7942) - 490/(-196). Which is bigger: 0 or l?
0
Let n = 3522 + -3520. Is 679 <= n?
False
Suppose 0 = -2*s + g - 15, -2*s - 28 = s + 4*g. Let f be 4*1 + (s - 110). Is f <= -115?
False
Let m be (-1310)/(-393)*(-6)/(-4). Do m and 4 have different values?
True
Let q = 6768.8 - 6769. Which is bigger: 4787 or q?
4787
Suppose 0*l - 12 = 4*l + 2*g, 5*g = 2*l + 18. Let n(u) = 10*u**2 + 6*u - 6. Let i be n(l). Let s be (-3*8/30)/(i/150). Is -1 at most s?
True
Let n = 1 + -0.98. Let d = -0.983 - 0.262. Let p = d - -1.445. Which is smaller: p or n?
n
Suppose 31 = -r + 5*y + 11, -3*y + 15 = 0. Suppose r*u = d - 6, -5*d + 1 = -0*u + 4*u. Which is bigger: -4.7 or u?
u
Let s = -4107 + 3706. Which is smaller: -400 or s?
s
Suppose 0 = 5*c - 8*c + 12, -2332 = -2*d - 5*c. Let z = 3512/3 - d. Is 16 bigger than z?
True
Let d be (2/(-184))/(65/780). Let w = 186 + -190. Are d and w nonequal?
True
Let y be 14/(-49) - (-3 + 200/252 - -2). Which is bigger: y or 0?
0
Suppose -4*x + 2 = 3*r - 14, x - 5*r - 4 = 0. Suppose -x*z + n = -611, 4*z - 3*n - 762 = -z. Is z at most 153?
True
Let b = 20 + -3. Let s(h) = h. Let a be s(8). Let m be (-65)/(-4) - (-3 + 18/a). Is b at least as big as m?
True
Let x be 1/2*(33 - (-1 - 0)). Which is smaller: 51 or x?
x
Suppose 4*u - 25 = 3*t, -4*t - 1 = -21. Let h(j) = -3*j - 115. Let w be h(u). Do -146 and w have the same value?
False
Let y(k) = k**3 + 6*k**2 - 21*k + 25. Let h = 22 - 16. Let o be y(h). Is 330 not equal to o?
True
Let s = -442 - -770. Let n = s + -219. Are 108 and n nonequal?
True
Suppose -96 = u + 3*u - 5*k, 3*u - 4*k = -72. Let s be -1*((-221)/3 - (-8)/u). Let o = 74 - s. Do o and 6/11 have the same value?
False
Let b be (-793)/3*((-234)/(-18) - 22). Which is smaller: b or 2380?
b
Let s(w) = 2*w + 13. Let i be ((-522)/(-36))/(4/8). Let b be s(i). Is 69 > b?
False
Let a = -4030 + 4027. Are 67 and a equal?
False
Let o = -761/9 + 11803/153. Let w = 6712/901 + o. Which is greater: w or -0.02?
w
Let u be (330/(-396))/((-710)/(-8)). Is u > 2?
False
Let l = 269 + -264. Suppose f + 2 = 7*i - 4*i, -l*i = -5*f + 40. Let k(z) = -z + 14. Let j be k(0). Is j at least as big as f?
True
Let d(u) = 10 + 37 + 2*u + 11 + u**3. Let z be ((-2)/4 - -1)*(-44 + 44). Let i be d(z). Which is bigger: 0 or i?
i
Let d be -96 - -8*3/6. Let j be (-26)/((-62946)/d - -5). Let c = j + -2/647. Are c and -1 unequal?
True
Let b = 70 - 86. Let j be (-21)/(-4) + 4/b. Let s be 5/10*-2 + 2. Which is bigger: j or s?
j
Let f = 2 - 1. Let k = -49 + 11.7. Let j = 37 + k. Is f > j?
True
Suppose 3*q + 0 - 117 = -3*i, 2*q - 116 = -3*i. Suppose 0 = 3*z - i - 19. Let g be 4/(((-16)/(-22))/4). Which is smaller: g or z?
z
Suppose 0 = -4*y + q - 8, -y + 4*q = 5*q - 3. Let b be ((-2)/6 - -1)/(y/(-147)). Suppose -b = 5*p - m, -4*p + 3*m - 74 = -0*p. Which is greater: -19 or p?
-19
Let u = 26 - 26. Let i be u*4/16 - (-1 - -3). Do i and -5/4 have the same value?
False
Let b = 0.93 - 2.41. Let u = 58.52 - b. Is u at least as big as -1/4?
True
Let f = 6799 + -6799. Are f and -36/3011 nonequal?
True
Let m(h) = 6*h + 4 + 2*h**3 - h**3 + 3*h**2 - 4 + 9. Let o be m(-4). Is o at most as big as -31?
True
Suppose 3*r - 5*j - 12 = -0*j, 0 = r + 2*j - 4. Let k = -11 + r. Let d(f) = f**2 + 5*f - 19. Let w be d(-7). Is k greater than or equal to w?
False
Suppose 0 = -50*r + 11*r - 58 + 97. Which is greater: -1/1589 or r?
r
Let p = 606 - 615. Let d = 137 - 72. Let c be d/186 + 3/p. Which is smaller: c or 2/5?
c
Let a be 41 + -23 - 14*1. Which is smaller: a or -8?
-8
Suppose 3*q - 3*y = -3, 0 = 2*q - 6*y + 2*y + 8. Let u be (q/(-4))/(189/(-7) - -4). Let m = 99/322 - u. Which is bigger: m or 0.02?
m
Let m(b) = 30*b - 1546. Let h be m(50). Which is bigger: h or 17?
17
Let f be (1/5)/(((-182)/(-33565))/(-13)). Let g = f + 459. Suppose -3*q - p - 70 = 0, 0*p = 3*p + 12. Which is smaller: g or q?
q
Let g(w) = w**2 + 40*w - 307. Let h be g(8). Which is bigger: 86 or h?
86
Let k = 1.4 - -2.6. Let l be (-38)/((-1 + -3)*(-1)/(-2)). Let j = -99/5 + l. Which is greater: j or k?
k
Let j be (-4 + (-88)/(-10))/((-9)/(-60)). Let u be j/(-2)*(-38)/19. Is 34 equal to u?
False
Let r = 0.767 - 0.967. Let g = -3.8 + 0.8. Which is greater: g or r?
r
Let i be ((-8)/(-6)*(-39)/52)/(24/(-336)). Is -190 at least as big as i?
False
Let l = -268 + 266. Let k be 21 + 138 + 12/(5 + l). Is k < 163?
False
Let n be (5 + (-50)/4)*4/(-6). Suppose s + s = -2, n*j = -5*s - 40. Let m(a) = -3*a + 1. Let t be m(3). Is j not equal to t?
True
Let y = -81 + 27. Suppose 0 = 117*s - 98*s - 1026. Let o = s + y. Which is bigger: o or 2/75?
2/75
Let w be ((-2)/6)/(5/(-45)). Let q be (-6)/(3 + w/(-2)*1). Is q greater than or equal to