i - 6 + 310. Let y be (1/(-2))/(i/8). Which is bigger: 0 or y?
0
Suppose 4*p - 2*p + 3*u = -4, -2*u = 4*p + 8. Let d be (-4)/3 - 2/p. Let h = 110 - 109.9. Which is bigger: h or d?
h
Let u be 3 + 0 + (1 + -9 - -2). Let g be ((-78)/(-572))/(1*u). Suppose 2 = 3*n - 1. Are n and g equal?
False
Let l be 8/4 - 0/3. Let b be l/8*29 - 3. Let t = -79 + 84. Which is bigger: b or t?
t
Let f = -1 + 8. Let t be 0/(f/(28/12)). Let n be (1 + t)/((-1)/1). Is -3/2 at most as big as n?
True
Let w(k) = k**2 + k + 1. Let g(s) = -7*s**2 - 17*s - 22. Let d(p) = -g(p) - 6*w(p). Let m be d(-4). Is m equal to -12?
True
Let f(t) = -t. Let c(m) = -14*m. Let z(x) = -2*c(x) + 18*f(x). Let q be z(1). Suppose 0 = 2*i - p - 2*p - 16, 5*i + 5*p = -q. Is 1 equal to i?
False
Let c be 10/(-12)*2/(-10). Let y = 159.1 - -40.9. Let n = -199.7 + y. Is c at least n?
False
Let z = -33870 + 27159. Which is greater: -6713 or z?
z
Suppose 0 = -2*v + 6*v + 4*y, 3*v = -y + 6. Suppose 4*u - v*l + 45 = 146, 98 = 4*u - 2*l. Is u not equal to 23?
False
Let p = 5330 + -5357. Which is greater: 1/16 or p?
1/16
Suppose 0 = 25*l - 50*l - 25. Let y = -16804/35 + 613211/1015. Let a = y - 124. Is l smaller than a?
True
Let y = 80.23 - 50.23. Is y > 1?
True
Let v = -4 + 3.7. Let h = v + 121.3. Let n = 80 - h. Which is bigger: -1 or n?
-1
Suppose -4*q - 420 = -10*q. Suppose -p + q = 8. Let f = -46 + p. Is 0.1 equal to f?
False
Let h be 2/4 - 351/30. Let d = 1.577 + -1.577. Which is greater: d or h?
d
Let b = 57.9828 - 0.9068. Let f = 57 - b. Let l = f + 3.076. Do -0.3 and l have different values?
True
Let l = 483048549/24220 - 99721/5. Which is bigger: l or 0?
l
Suppose 0 = 15*j - 8*j - 630. Let h be 18/j*((-5)/(-2) - 0). Is 2.9 greater than h?
True
Let m = -82 + 143. Suppose k - 4 = -m. Which is smaller: k or -59?
-59
Let x = 10.499 - -0.041. Let g = 10.6 - x. Suppose 2*n = n. Is g less than n?
False
Suppose 76*v = -28559 + 125459. Which is bigger: 0.2 or v?
v
Suppose -3*z + 1282 = 5*p, z - 3*p - 306 - 112 = 0. Let i = -379 + z. Is i greater than or equal to 44?
True
Let k = -778/55 - -204/11. Which is smaller: k or 3?
3
Suppose 10*f + 53 = 643. Suppose -x = -62 + f. Suppose -3*n - 9 = 0, -x*n = -3*b - 5*n - 24. Which is smaller: -5 or b?
b
Let a = 1075/6378 - 2/1063. Let j be 112/70 - 6/4. Is j > a?
False
Let m = -29 + 31. Suppose 4*o = -m*j + 3*j - 35, -2*j = 2. Let u be (o - -6)*(-2)/(-8). Is u greater than -2/7?
False
Let c = -730 - -682.7. Let l = c + 140.3. Which is bigger: 0 or l?
l
Let j = -39889 + 199444/5. Which is bigger: 1002 or j?
1002
Let c = 4.83367 + -0.03367. Let q = 3.3 + -3.3. Is c smaller than q?
False
Let f = 28442 + -23300. Is 0 >= f?
False
Let g be ((-896)/(-84) + -11)/((-3993)/(-30)). Which is smaller: 0 or g?
g
Let y(u) = 169*u - 1882. Let b be y(14). Is b > 10?
True
Let u = 81 + -80. Is -264 less than u?
True
Suppose 519 = 3*t - 756. Let a = t - 302. Is 123 less than a?
False
Let z(d) = d**3 - 9*d**2 - 11*d - 7. Let f be z(-7). Is -714 >= f?
True
Let y be (-4)/6*(-330)/20. Let o(m) = -m + 9. Let z be o(y). Let l be (-87)/42 - 1/z. Is l greater than -2?
True
Let h be (-2)/19 + 31795407/721905. Let f = 747/17 - h. Is -1 greater than f?
False
Suppose 0 = q - 4, 3*s + q = -0*s + 31. Suppose 8*a = 23 + s. Let r be (-17 - (a + -8))/(-1). Is 15 equal to r?
False
Let u = -304 + 1267/4. Let q be (-1)/((-6)/182) + 2/(-6). Let x = q + -16. Which is greater: u or x?
x
Suppose 56 = 3*c - 4*j, 13*c - 9*c - 58 = -3*j. Suppose 0 = -4*g - 16, c*s - 19*s - 2*g + 178 = 0. Is s at least as big as 62?
True
Let t = -89596875/421 + 212819. Which is greater: 0 or t?
0
Suppose -q - 1 = 2*l - 4, -l - q - 1 = 0. Suppose 3*y - 7 = -l*g, 0 = 3*y - 5*g - 3 + 5. Let f = 1625/84 + -136/7. Is f greater than y?
False
Let v be -4 + 30/7 + (-296)/644. Let b = 5.558 - 3.558. Which is greater: v or b?
b
Let a = 89/235 - -1/47. Let n = 0.431 - 0.38. Which is greater: n or a?
a
Let m = 3.82 + -3.7. Let f = 1.92 + -1.4. Let c = f - m. Is 0.06 smaller than c?
True
Suppose -3*m + 16 = 13. Suppose -1 = -2*w + t + m, -2*w + 2*t = -2. Let r = -372.1 + 374. Do r and w have different values?
True
Let h = 1924459/100 - 77131/4. Is h at least -39?
True
Let o(w) = -10*w - 15. Suppose 3*l - 5*f - 25 = 2*l, 2*l + 4*f = -20. Let k be (l + 3 + -2)*-2. Let t be o(k). Is t bigger than 2?
True
Suppose 0 = 7*k - 10*k + 174. Let d = 57 - k. Let p = -614/15 + 41. Which is smaller: d or p?
d
Let a be (-135)/(-945) + (-22)/7. Are -0.98 and a nonequal?
True
Let u(l) = -l**3 + 13*l**2 - 8*l + 101. Let z be u(13). Is 0 equal to z?
False
Let l = 12048 + -12146. Let a = -0.997 - 96.953. Let c = a - l. Which is smaller: 5/6 or c?
c
Suppose 239 = 40*s - 241. Is 210/19 less than or equal to s?
True
Let b = -0.9 + 0.3. Suppose 50*g = 45*g + 1040. Suppose g*l - 5 = 203*l. Is l != b?
True
Suppose h = 2*h + 2. Suppose -7*q + 1652 = -9*q. Let w be q/588 - 3/(-2). Are h and w equal?
False
Let x = 4231.8 + -4193. Is 0.54 greater than or equal to x?
False
Let l(v) = 10*v**2 + 8*v - 3. Let g be l(5). Which is smaller: g or 862/3?
g
Let f(s) = 8*s**2 + 460*s - 399. Let v be f(-58). Which is smaller: -0.9 or v?
v
Let j be ((-44)/14 - (3 - 6))*(-1 + -2). Is j >= -721?
True
Let q be (-138)/276*11*-1*(-48)/(-22). Is 121 < q?
False
Let t = -7 - -5. Suppose -9*d - 114 = 858. Let r = d - -110. Which is greater: t or r?
r
Let r = 70 + 172. Let v = r + -5568/23. Which is greater: v or -7?
v
Let k = -71 - -31. Let j = k - -39.96. Let t = j + -0.06. Is t at most -1?
False
Let s be ((-2)/6)/((-11)/33). Let b = -12.52 - -15.52. Is b at most s?
False
Suppose 13*d = -2217 - 2203. Suppose -3*t = -3, 4*v = -0*t - 2*t + 354. Let g be v/(-170) + (-40)/d. Which is smaller: -0.16 or g?
g
Suppose 45*k + 3*s = 49*k + 14, -s - 37 = 7*k. Let h = 15218 + -258790/17. Which is bigger: k or h?
h
Let r = -8917.1 + 8917. Which is smaller: r or -19466?
-19466
Let v be 2 - 0 - 31/2. Let d = -755 - -757. Suppose 0 = -4*o - d*b - 62, 0 = 5*b + 9 + 16. Which is bigger: o or v?
o
Let z(g) = g - 3. Let s be z(-7). Let m = 12 + s. Suppose 3*d - 2*t = -29, -d - m*t + 51 = -6*d. Is d > 0?
False
Suppose 7 = 3*q - 2. Let n(g) = -9*g + 9. Let l be n(-3). Suppose q*y - 3 = -4*w + l, 4*y - 53 = -5*w. Which is greater: 19 or y?
19
Let v = 61 + -69. Suppose 8*d = 623 - 55. Let j = 68 - d. Which is smaller: v or j?
v
Suppose 4*o - 2*i = i + 208, 2*i = 2*o - 106. Suppose 0 = -4*v + 5*a + 17, 11 = 6*v - 2*v + a. Which is smaller: o or v?
v
Suppose 2*l = -y + 21, -4*l = -2*y - 3*y - 7. Suppose -s - 7*s = -l. Let d = 1147/3912 + -1/652. Is d equal to s?
False
Let o = -21.838 - -17.838. Let w = 30 + -6. Which is greater: o or w?
w
Let q be 7395/17*(-8)/(-10). Let k be q/42 + (-3 - (-38)/14). Are -2 and k nonequal?
True
Let u = -2 + 169. Suppose -25 = 7*m - 8*m + 4*v, -v = 5*m - u. Is m > 33?
False
Let w be 8/20 + -1*((-99)/55)/3. Which is smaller: 2/13465 or w?
2/13465
Suppose 636*p - 634*p + 4*j + 10 = 0, -4*p + 4 = -4*j. Which is smaller: -3/3674 or p?
p
Suppose 151*d - 859 + 104 = 0. Let l = 6586/35 - 918/5. Are d and l nonequal?
True
Let z = -2263 - -2454. Which is greater: 0.1 or z?
z
Let n = 183 - 93. Let m be (n/(-25))/(((-32)/(-20))/(-4)). Suppose -m*j - 99 = 2*j. Is -10 > j?
False
Let f(r) = 11*r - 3. Let s be f(1). Suppose j - s*j = -3*j. Is j greater than or equal to 2/9?
False
Suppose 5*m + 1222 = -52*x + 50*x, -m = -5*x - 3109. Is -621 at most x?
True
Suppose 3*p + 3*s = 231, -29*p = -33*p + 3*s + 322. Is 311/4 at least p?
False
Suppose 30*d = -547 - 293. Which is smaller: 0.38 or d?
d
Let c = -79 + 242. Suppose c*p = 159*p - 156. Which is smaller: p or -121/3?
-121/3
Let t(r) be the first derivative of -13*r**2/2 + 56*r - 37. Let y be t(4). Which is bigger: y or 50/11?
50/11
Let t be (-10 + 1)/((-2)/1302*3). Suppose -4*k - 2420 = -5*y - k, -k = 4*y - t. Is 487 at most y?
True
Let l(q) = -2134*q + 5471. Let n be l(3). Which is bigger: n or -930?
-930
Let t = 1157/38 - -210/19. Let d = -60 + 102. Let a = d - t. Is a greater than 2?
False
Let a = 8.604 + -8.804. Let l(f) = f**2 + f + 1. Let h(b) = 3*b**2 - 3*b - 1. Let y(i) = -h(i) + 2*l(i). Let p be y(5). Is a at least as big as p?
False
Let c be 12/5*(-1)/(-3) + 220920/(-2400). Are -92 and c non-equal?
True
Let z = 99 + -97. Suppose 0 = -205