-7180)). Which is smaller: 2/3 or i?
i
Suppose 3*m - 5*g - 331 = 263, -4*m + 3*g + 792 = 0. Let u(b) = 2*b**3 + b**2 - 7*b + 196. Let s be u(0). Are s and m nonequal?
True
Suppose -2*c = 4, -c + 162 = -3*j - 4*c. Let a = -6782/3 + 2209. Is a less than or equal to j?
False
Let h = -90.6332 + -1.3668. Let v = 16183.044 - 16091. Let l = v + h. Which is greater: l or 2/5?
2/5
Let i = -392 + 98. Let z be 868/i + 2/7. Suppose -2*h = -3*j + h - 27, -h = -5. Which is smaller: z or j?
j
Let p be 3/(9/117*1). Suppose 9 - p = 2*z. Is z smaller than -7?
True
Let d(y) = 35*y - 32. Let r be d(1). Suppose -2*c - i = 0, 0 = -c + 2*c - r*i. Is -1.8 < c?
True
Let g = -67 - -59. Let v(l) = -l**2 - 3*l + 23. Let d be v(g). Which is smaller: d or -18?
-18
Let l(y) = -y**2 + 7*y + 7. Let i be l(6). Let t(p) = 105*p - 4816. Let f be t(46). Is f at most i?
False
Let a = 81 - -31. Let n be (a/30)/(-8)*42. Is -21 less than n?
True
Let j = -1113 + 1112. Which is smaller: j or -1/1645?
j
Let h = 8 + -10. Let m be (-4 + (-68)/(-16))*h. Let a(t) = t + 1. Let k be a(-5). Is k != m?
True
Let r be 4*(-5)/((-50)/35). Suppose 13*w = r*w - 67. Suppose -v = d + v - 57, 2*v = -10. Is d < w?
False
Let c = 5485/642 - 14/321. Let b be 3/((4/12)/1). Which is smaller: b or c?
c
Let w be (12/(-18))/(16/(-24)). Let p = -224/3 - -3844/51. Which is greater: p or w?
w
Suppose -4*s = -2*u - 30, 0 = -24*s + 15*s - 5*u + 20. Does -166 = s?
False
Let u be (-835)/15 + 1*2/(-6). Let p = u + 58. Let q = -9 - -12. Are p and q unequal?
True
Let n = 331 - 330. Let s be n*(-12)/24 - 7/(-2). Which is smaller: s or 0.022?
0.022
Suppose -2*k = -q + 10, 2*k + 10 = 2*q - 0*k. Suppose 5*h - 30 + 180 = q. Let r be 4 + (-11)/((-55)/h). Is r <= -1/2?
True
Let h(j) = -j**3 + 5*j**2 + 10*j - 34. Let t be h(6). Is t greater than or equal to -149/13?
True
Let w = -4174 - 2704. Which is smaller: -6879 or w?
-6879
Suppose 18*g - 8 - 46 = 0. Suppose 16 = 5*f + 4*c, -5*c - 2 = g. Let q be 8/(-16)*2/f. Do 24 and q have the same value?
False
Let r be 34/4 + 78/52. Suppose -484 = -r*s + 6*s. Which is greater: s or 120?
s
Let s = -90.412 - -123.7. Let j = 0.288 - s. Which is bigger: -2/5 or j?
-2/5
Let b be 12*(-4 - (-44)/12). Let t be (-1)/b - 22/88. Is t greater than 4/173?
False
Let d be 78/(-9) + (-6)/18. Let z be ((-61)/57 - -1)/(114/d). Let l = z + -2176/1805. Which is smaller: l or -0.3?
l
Let w be ((-3)/2)/((-75)/50). Let p be ((-22)/(-3) + 6)*-3*w. Let k be 118/5*50/p. Are -0.1 and k equal?
False
Let x = 352 + -769. Let h be x/15 - (-1)/(-5). Let l(b) = -b**3 + 160*b**2 + 990*b + 968. Let i be l(166). Is h at least as big as i?
True
Let n = 963.9 - 868. Let y = n - 148. Let q = y + 52. Is q less than 22/5?
True
Suppose 2*z = g + 4, -5*z + 36 - 20 = -4*g. Which is smaller: 4 or z?
z
Let t = 246 - 241. Suppose 15*a - t = 16*a, 2*a + 80 = -5*p. Which is smaller: -20 or p?
-20
Let h be 11 - 12 - (-165)/(-2 + -1). Let o be 13/(832/h) + 1/(-8). Is o != 2/159?
True
Let q = -145 - -147. Suppose 0 = -q*v + 9*v + 14. Let k be (-24 - 0/(-2))/((-609)/(-58)). Is k smaller than v?
True
Suppose 24 - 41 - 62 = 79*f. Which is greater: -17/71 or f?
-17/71
Let b = -4002 - -20011/5. Let i = -244 - -2437/10. Is b at least as big as i?
True
Let z = 74.17 + 525.83. Are z and 2/51 nonequal?
True
Let q be (79740/(-42) - 10) + (-9)/21. Is q less than 2/5?
True
Let m(n) = 2*n**2 - 27*n - 87 + 18 + 26 + 28. Let t be m(14). Let s = 91 + -821/9. Is s at most t?
False
Let q be 28/464 - (-12)/(-16). Let t be 2081/(-1798) + (-11)/(-22). Let z = q - t. Which is greater: 0 or z?
0
Let k = -0.9267 - 0.0603. Which is bigger: k or 2/9?
2/9
Let x be (-27)/(-21) - 4/14. Let o = 1 + x. Let f(p) = -536*p + 2156. Let r be f(4). Which is greater: o or r?
r
Let v = 28.09 - -42.91. Is 0.1 <= v?
True
Suppose -3250 = 51*g - 76*g. Which is smaller: g or 136?
g
Let v be (-2 + (-21)/(-9))*-3. Let t be ((-112)/80)/((-26)/58) - (-4 - -7). Is v bigger than t?
False
Let a = 73.26 + -196.26. Are a and -8 nonequal?
True
Suppose 109700 = -459*q - 1356461 - 17786. Which is bigger: q or -2?
-2
Let m be (-4)/42 + ((-1160)/168 - -9). Suppose m*n = b + 1, -n + 23 - 22 = -b. Are n and -4/39 unequal?
True
Let q = -4.78 - 0.22. Let x = -1.5 + 8.4. Let l = x - 7. Is q at most l?
True
Let s = 455.3 - 455.37. Which is greater: -117 or s?
s
Let y = -1239.1066 + 0.1066. Let r = y + 1186.64. Let z = 52 + r. Which is smaller: z or -2/3?
-2/3
Let k(j) = j**3 - 9*j**2 + j - 9. Let b be k(9). Let g(r) = 4*r**2 - 121*r + 5. Let z be g(31). Let t be 2 - 51/z - 3/2. Are t and b equal?
False
Let l = -44 + 962. Let b = l + -7355/8. Which is bigger: -1 or b?
-1
Let b = 98.292 + -98. Let j = -0.192 + b. Which is greater: 156 or j?
156
Let i be 0 + -1 + -1 - -4 - -2. Suppose -3*b = -9, -4*f - 3*b = -i*b + 211. Let z = f - -155/3. Is -5 at least z?
False
Let n(a) = -a**2 - a + 183. Let i be n(13). Is i <= 24/71?
False
Let s be ((4/205)/(68/(-1700)))/34. Do s and 0 have the same value?
False
Let q be -3 + 3 + 3/(-8454942). Let z = q + -50411182511/19728198. Let c = z - -2551. Which is smaller: c or 2/7?
c
Suppose 0 = -10*w + 8 + 42. Suppose 5*q + 56 = 3*h - 0*q, -40 = -5*h - w*q. Let u be (h/33)/(-2) + 45/(-55). Which is bigger: u or -4/15?
-4/15
Suppose 2*v + 4 = 3*d - 26, d = -4*v + 24. Suppose -g + d = -42. Suppose -55*p - 2 = -g*p. Which is greater: p or -13/7?
-13/7
Suppose 0 = 4*n + 2*k + 8 + 6, -2*k = 10. Suppose 12*o + 57 = 15*o. Let l be 12/(-608) - 2/o. Do l and n have the same value?
False
Let f = -0.225489 - -0.135489. Let u = -6 - -6.12. Which is smaller: u or f?
f
Let o = 11539 + -11737. Which is smaller: o or -187?
o
Let p = -376 + 269. Let l = 2321 + -2427.7. Let n = p - l. Which is smaller: -1/18 or n?
n
Let a be 66/(-1)*(928/204 - (-6)/51). Are a and -313 unequal?
True
Let n(d) = -d**2 + 4*d**2 - 8 - 2*d**2 - 2*d. Suppose 41*k = 33*k + 24. Let p be n(k). Are p and 0 equal?
False
Suppose 0 = -5*p - 0*p + 410. Let c = p - 80. Suppose 2*z - c*g = -3*z - 22, -3*z = 2*g + 26. Do z and -52/9 have the same value?
False
Let a = 445271/37225 + -12/7445. Which is smaller: a or 13?
a
Let h = -68905 + 68906. Let a be 2/15 - 2/(-6). Is a less than h?
True
Suppose 5*q + 85 = -2*i, -115*i + 118*i - 2*q + 175 = 0. Which is smaller: 1.5 or i?
i
Suppose -5*w + 23 = -0*w + 2*l, -25 = -3*w - 4*l. Let f = 9.9 + -3.6. Let d = -5.3 + f. Is w equal to d?
False
Let n = 267 + -264. Let s(v) = -5*v - 2. Let w be s(1). Let p be 3/(-7) - (-32)/w. Which is greater: n or p?
n
Let q = -4213 - -4266. Which is greater: 10 or q?
q
Let s = -14370 - -43108/3. Which is greater: s or -82.54?
s
Let z = -557 + 574. Is 141 at least z?
True
Suppose -s - 2*s = -3. Let z be s + (234/(-38) - -5). Suppose 5*v - v + 4 = 0. Is v <= z?
True
Suppose -3*g - 220 = 4*q + 168, 3*g - 5*q + 352 = 0. Which is smaller: g or -105?
g
Let d(t) = -5*t + 14. Suppose 4 = -a - 3*o, -a = -3*a - 5*o - 8. Let y = 8 + a. Let p be d(y). Which is smaller: p or -5?
p
Let d = 2765 - 3031. Which is greater: d or -265?
-265
Let u be 3/(-5) + 1 - (-4466)/35. Let a be (-10)/4*u/50. Let q(m) = m**3 - 6*m**2 + 3*m + 5. Let y be q(5). Is a at most y?
True
Let g = -16 - -18. Suppose g*k - 4*w - 90 = 0, -3*w = w + 12. Suppose 5*o - 3*m = 97, -2*m + k + 4 = 3*o. Which is smaller: o or 15?
15
Let u be (-330)/(-9) + (2 - 48/18). Is u less than 14?
False
Let w(q) = -114*q - 229. Let v be w(-2). Which is greater: v or -1/7279?
-1/7279
Suppose -5*o - o = -o. Suppose 16*v - 8*v - 40 = o. Suppose -3*z + 4*r + 131 = 0, v*r + 99 = -2*z + 4*z. Which is bigger: z or -1/4?
z
Let v = 5.7 - -48.3. Let k = -2608 - -2662.2. Let f = k - v. Which is smaller: -2/3 or f?
-2/3
Let d = 2928 + -2890. Which is smaller: 43/5 or d?
43/5
Suppose 3*z + 21 = 2*r, -9*r - 3 = -12*r - 5*z. Let f be 4/(-6)*(6 + -132). Suppose f = r*p - 162. Is 40 <= p?
True
Suppose 0 = -n + 2*u + 9 - 7, 5*u - 25 = -5*n. Suppose -9*f + 4*f + n*z = 11, -3*f + z - 1 = 0. Which is bigger: 1/36 or f?
f
Let r be (-126)/(-15) - (0 + 0). Let o be (0 + (-12)/(-10))/(54/(-360)). Let t(k) = k**3 + 11*k**2 + 23*k. Let y be t(o). Are r and y non-equal?
True
Let n = -2.9373 + -5.0627. Which is bigger: n or -480?
n
Let s = -1483 + 1386. Which is smaller: -7 or s?
s
Suppose -2*d = 41*o - 43*o + 29882, -29881 = 2*d - o. Wh