is bigger: j or y?
j
Let u = -29 + 20. Let l be (u/4)/((-3)/(-8)). Let i(j) = -2*j**3 - 12*j**2 + 1. Let a be i(l). Which is smaller: a or -2/53?
-2/53
Suppose -2*p + 31 = -i, 2*p = -2*i - 3*p - 44. Let v be 1*i/(-2)*8/(-12). Which is greater: v or -51/5?
v
Let d be (-104)/5 + ((-9)/5)/9. Let i = 30 + -39. Let x be (-138)/i*6/(-4). Is x greater than d?
False
Let v = -7 - -7. Let s = 120 + -121. Let n be (v - s/3)*(7 - 1). Which is smaller: 3/2 or n?
3/2
Let i be (-23 + 26)/((-664)/221 + 3). Let x = i + 669. Let n be 2 + 2*(-1 - -4). Is n at least as big as x?
True
Let w = 12021928/669 - 17970. Is 1 smaller than w?
False
Let k(m) = m**3 + 9*m**2 - 6*m - 24. Let u be k(-9). Let t be 4/u*42/616. Is 1 bigger than t?
True
Suppose 17887 = 38*j - 26877. Is j at most as big as 1178?
True
Let w = -3 + 0. Suppose 388 - 84 = 2*j. Let v = 153 - j. Is v greater than w?
True
Let d be ((-20)/(-42))/((-136)/12). Let r be (-8)/(-12)*207/(-138). Does r = d?
False
Let c = 287 + -577. Let b = c + 277. Is b <= -19?
False
Let j = 81.8339 + -1.5339. Which is smaller: -0.3 or j?
-0.3
Let m(f) = -f**2 - 2*f + 3. Let r be m(-3). Let i = -11.995 - -11.275. Which is bigger: r or i?
r
Suppose 0 = -2*l - 0*l - 36. Suppose -380 = 6*z - 5*z. Let o = 382 + z. Which is greater: l or o?
o
Let q = -159.8 - -118. Let k = q - -0.6. Let v = k + 6.2. Is v not equal to -0.2?
True
Let z = -227 - -144. Let a = z + 58. Suppose -4*o = -2*s - 6 - 8, 4*o = 16. Is s smaller than a?
False
Let s = 3.3 - -2.7. Let y = -569 + 580. Which is bigger: s or y?
y
Suppose 4330 = 458*s + 11811 + 14503. Let d be 591/(-12)*(-1 - -2). Which is greater: s or d?
s
Suppose g = -d - g + 8, 4*d - 20 = -5*g. Suppose d = -32*l + 20*l. Let x be 2 + -2 + (-2)/(-15). Is l less than x?
True
Suppose 10*o - 15*o - 42 = 2*h, 8 = -4*o. Let w = h - -65. Which is smaller: 48 or w?
48
Let p = -777 + 774. Is p >= -196/59?
True
Let j = -98 - -161. Let n = -73 + j. Let r = 4 - 1. Is r at least n?
True
Let u = -12 - -5. Let w be 69/(-115)*2/(-4). Which is smaller: w or u?
u
Let u = 677 + -684. Let h be u - 233/(3 - 2). Is h < -241?
False
Suppose -26*p - 319 + 134 = 335. Let f(d) = 2*d. Let l be f(-3). Let g be ((-7)/(-2))/(1/l). Do p and g have the same value?
False
Let a = 3012.903 - -0.097. Is -2 less than a?
True
Let p = 94 - 185. Suppose 0 = 432*a - 14385 + 53697. Is p at most as big as a?
True
Let q be (-74)/(-40) + (-425)/500 + 33/44. Is -25/7 equal to q?
False
Suppose 5*i = -b + 4*i - 1, 5*b = -i - 5. Let y be 4/300*(45/25 - 3). Let o = y + -609/1000. Which is greater: b or o?
o
Let n = -4022225999/19500 + 206268. Is n at least 0?
True
Let b = -167 - -166.9904. Let x = 2.0096 + b. Which is smaller: 10/17 or x?
10/17
Let u = 74035/684 - 433/4. Let b be (10/(-15))/(2/3). Are b and u equal?
False
Let c = 20 - 3. Suppose -5*x - 257 + c = 0. Let b be (-32)/x - (-92)/(-147). Is -1 != b?
True
Suppose -2*q + 4*i = -26, -2*q - 3*i = -0*q - 19. Suppose -4*r + q + 53 = 0. Let j = 15 + 2. Are r and j equal?
False
Suppose 4456 = -4*s + 4*d, 14*s = 9*s + 3*d - 5572. Is 2 <= s?
False
Let f = -323 - -296. Let v be (2 - (3 + -1)) + 18/f. Is -27 less than or equal to v?
True
Let s be ((-30)/35)/(180/28 - -2). Let v = s - -2576/26491. Which is bigger: 1 or v?
1
Let p be (-144271503)/(-23217) - 1*(0 + -2). Let q = p + -6216. Which is greater: q or -1?
q
Let p = 48.936 - 49. Let s = p - -0.049. Let n = s - -0.075. Is n less than 1?
True
Suppose s = -y + 15 + 7, -90 = -3*s + 5*y. Suppose -s = 3*i + 5*w, -3*w = -4*i - 6*w - 26. Is i smaller than 0?
True
Suppose -2172 = 2*c + 3*v, c - 6*v = -3*v - 1068. Let l = c - -5318/5. Which is smaller: l or -17?
-17
Let w(i) = -i**2 - 2*i + 2. Let j be w(-4). Let q be (-5)/((-15)/(-6)) - ((-1529)/(-220) + -9). Is q less than or equal to j?
False
Let j be 2/4*10 - -71. Let t = 351 - j. Which is greater: t or 2/5?
t
Suppose 2*g - 1 - 5 = 0. Let c be g*(3 + (-10)/3). Let x = -5521/20 - -276. Is c smaller than x?
True
Let g = 19.9 + -139.9. Let m = -131.8 - g. Let n = -14 - m. Do n and -1/2 have the same value?
False
Let j = -23728 - -23727.99. Is -0.301 greater than j?
False
Let s = 17.789 + -17.819. Which is bigger: 29 or s?
29
Let d = -17.9435 + -0.0565. Let h = 0.9 - 0.6. Let z = -0.2 + h. Which is bigger: d or z?
z
Suppose q - 64 = 5*j, -9*j = -5*q - 10*j + 320. Does q = 51?
False
Let m(y) = y**3 + 31*y**2 + 30*y - 2. Let f be m(-30). Let n = 102.929 - 103. Which is smaller: n or f?
f
Let b(j) = 27*j - 34. Let z be b(2). Suppose 38*u - 42*u - z = 0. Is u smaller than -6?
False
Let m = -10331/18 + 574. Let p = 0.6 + -0.1. Which is smaller: p or m?
m
Let n(c) = 2*c**2 + 14*c - 261. Let y be n(-19). Is y bigger than 2926/15?
False
Suppose 336*p - 3810 = 366*p. Which is bigger: p or -128?
p
Suppose 2*x - 3*n - 391 = 0, 2*x + x + 4*n = 595. Let h = x + -98. Let c be 1/2 + h/(-22). Is -5 != c?
True
Let b be (8 - (-444)/36)/((-2)/12). Let f = -128 - -251. Let u = f + b. Is u >= 0.054?
True
Let x = -1843912 - -70059383/38. Let a = x + 244. Let u be ((-3)/(-12))/(0 - 3/(-12)). Which is smaller: a or u?
a
Let k = 0.07 + -0.17. Let y be (48 + -50)/(4/(-58)). Suppose 2*z + y = 14*u - 17*u, -5*z = 4*u + 48. Is u < k?
True
Let a = -5 + 1. Let l = 89.1 + -112.5. Let t = l + 23.5. Is a at least as big as t?
False
Let s be ((-8)/160)/(72/(-1930)). Let d = s + -25/16. Is 2/39 bigger than d?
True
Let d = -3.701 - -551.901. Let x = -549 + d. Is x smaller than 0.14?
True
Suppose 4*p = 4*y - 6*y - 80, -65 = 3*p - y. Let f be 14/63 - 2973/135. Which is smaller: f or p?
f
Let l = -14225 + 9573423/673. Let y(z) = z**3 + 3*z**2 - z - 5. Let t be y(-2). Does t = l?
False
Let y be -5 + -4 + (-213)/(-1). Suppose 7*g - y = -1226. Let x = g + 143. Is -7 <= x?
True
Let f = -5265 - -5263.1. Which is greater: f or -3/23?
-3/23
Let i be -8*60/(-24) - 3. Let x(z) = -z**2 + 5*z - 1. Let w be x(4). Let f(o) = -o**3 + 4*o**2 + 3*o - 3. Let d be f(w). Which is smaller: d or i?
d
Let i(m) = m**2 + 3*m. Let q be i(-4). Suppose 0 = -4*h - q*y, 4*h = 8*y - 3*y + 9. Let k be 4/6 + (-7)/(-3). Which is bigger: k or h?
k
Suppose 4*q + 44 = -n + 5*n, -4*n = 5*q - 17. Suppose -25*t + 408 = 8. Which is greater: n or t?
t
Suppose 30 = -3*g - b, 4*g - 4*b = -5 - 19. Let j = 0 - 6. Let i be (2 + 17/g)/(17/j). Is -1 greater than i?
False
Let o = 10769 + -7877. Is -1/2 greater than o?
False
Let u be (-2115)/(-195) + (-4)/(-26). Suppose 3*q = u*q - 672. Which is smaller: 82 or q?
82
Suppose l = 3*v + 31 - 35, 2*v + 2 = -4*l. Is 569 greater than v?
True
Let a be 4/7 + (-2304)/2268. Let v = 3 + -3.4. Let m = -0.5 - v. Which is smaller: a or m?
a
Let x = 605.474 - 1.474. Let n = x + -602. Which is smaller: n or 23?
n
Let g(i) = -690*i + 3471. Let l be g(5). Is 153 > l?
True
Let j = -3174 + 2524. Which is bigger: -653 or j?
j
Suppose 2*j + 0*j + 284 = 0. Let x = -31589 + 31446. Which is smaller: j or x?
x
Let z(s) = 47*s - 1687. Let m be z(31). Is m at most -1602/7?
True
Let m(d) = 3*d + 6. Let c be m(0). Suppose 3*s + c = 0, -3*q - 3*s - 1 = -7. Let l be 15/4 + q/16. Which is greater: l or -5?
l
Let d = -1258 + 1259. Is d > -5/1074?
True
Let l = 25647 + -25646.27. Is 71 at most l?
False
Let k = 21.67 - 0.07. Let h = -17.9 + k. Which is smaller: 1/4 or h?
1/4
Suppose -138 = -2*r - p, -11*r + 7*r + 2*p = -252. Does r = 334/5?
False
Let j = 43.824 + 0.176. Is -1/13 < j?
True
Let v(d) = d**3 + 7*d**2 + 5*d - 7. Let h be v(-6). Let t be 10785/2145 + -7 + 2. Let y = t + -371/8151. Is y at least as big as h?
True
Let m = -326 - -331. Let h be m/12*102/170. Which is bigger: 4 or h?
4
Let q = -279.5 - -284.8. Let x(i) = -i**3 - 4*i**2 + i + 4. Let l be x(-4). Is q less than l?
False
Suppose -3*l - r = 22, -5*r = -9*l + 7*l - 43. Let g be (l/330)/((7 - 0)/(-35)). Which is greater: 1 or g?
1
Let v be 5/(-10) + (-4)/((-64)/12840). Let r = 816 - v. Let w be 1 + (2 + 0 - 1). Which is smaller: r or w?
w
Let t(o) = -2*o**3 - 13*o**2 - 8*o - 6. Let y be t(-6). Let v be (y*(-6)/60)/(2/(-610)). Is v at most as big as 183?
True
Suppose 106*o - 27 = 133*o. Is -1/914 > o?
True
Let a(q) = 43*q + 45. Let z be a(-6). Let n = 211 + z. Which is bigger: n or 2?
2
Let q = -1589.351 - -1590. Let o = q - 0.649. Are 79.7 and o non-equal?
True
Let m = 5742 + -11483/2. Is 1/1874 equal to m?