3.7 + -7748. Which is greater: y or -2?
-2
Let j be 7/(-63) - ((-14874)/(-27) + 0). Let k = -558 - j. Let i = -9 + 0. Is i greater than or equal to k?
False
Let s = 11889 - 11887. Which is greater: s or 1203?
1203
Let i(u) = -u**2 + u + 5. Let m be i(2). Suppose m = p + 2*p. Let z be p/(-1 + 65 - 4). Is z greater than 0?
True
Suppose 2819 = 60*k - 10441. Are 221 and k unequal?
False
Let o = -192 + 175. Let b be (-4)/2 + -7 - -10. Is o > b?
False
Let d = 23.12 - 20.5. Let m = d + -3. Let r = -0.48 - m. Do r and 0.5 have the same value?
False
Let j = 21/4 + -171/28. Let o = j + 4/7. Is -0.03 < o?
False
Let z = -12 - -66. Let k = z + -57. Are k and -3 nonequal?
False
Let m = 3394/25023 - 40/1317. Which is bigger: m or 0.071?
m
Let v = 0.447 - 1.047. Let k = -1.8 + 4.2. Let q = k - v. Which is smaller: q or 5/4?
5/4
Let d = 115 - 113. Let p = 62.2 - 67. Let w = p - -4.98. Is w >= d?
False
Let w(f) = 36*f + 76. Let h be w(-2). Suppose -3 - 12 = -5*j. Let g(t) = t**2 - 2*t - 4. Let q be g(j). Which is bigger: h or q?
h
Let z be (-3 + -20)*(-102)/(-5508). Is 0 less than or equal to z?
False
Suppose -92*a = 34805 + 217827. Which is smaller: -2748 or a?
-2748
Let f(c) = 26*c + 7. Let t be f(0). Suppose 4*k + 41 = 2*m + t, m - 10 = -5*k. Which is smaller: m or 12?
12
Suppose -3*q + 7*q - 76 = 0. Suppose 0 = 6*j - 5*j + q. Let d = 27 + j. Which is bigger: -0.3 or d?
d
Let j(b) = -19*b + 642. Let t be j(-56). Which is greater: t or 1707?
1707
Suppose -4*u - 4*m = 344, -425 = 5*u + m + 3*m. Let w = 87 + u. Is w at most 6?
True
Let c be 10/(-15) - 7/3. Let i be -2 + 1 + (-23)/c. Let v = 30563 + -30555. Is v bigger than i?
True
Let k be (1064/(-760))/(1/5) - (-1 + 100). Which is smaller: -13 or k?
k
Let n be ((-4)/240)/(7 + (-12450)/1780). Is -3 >= n?
False
Suppose 68*h + 996060 = 22*h - 32*h. Are h and -12769 nonequal?
True
Let o(p) = -p**3 - 22*p**2 - p - 14. Let x be o(-22). Let w be ((-45838)/x - -1)*4/9. Let b = -2551 - w. Is -4 at least as big as b?
True
Let k = 209 + -15256/73. Let x(o) = o**3 + o**2 + 2*o - 2. Let f be x(1). Suppose w - 2*h + 8 = -f, 4*h = 3*w + 20. Is k equal to w?
False
Let x(g) = -3*g**3 - 4*g**2 - g + 2. Let c be x(-2). Suppose -c + 9 = o. Let w = 75 - 76. Which is greater: w or o?
w
Let n be ((-2)/(-3))/(251110/22830 + -11). Let b = n + 749. Does -14 = b?
False
Let q(j) = 11*j + 94. Suppose 2*f + 9*f + 99 = 0. Let y be q(f). Which is greater: 3 or y?
3
Suppose -49*b + 5076 = -4920. Is b < 208?
True
Let m be (-40887)/(-19) - (-23 + (-872)/(-38)). Is 2154 less than m?
False
Suppose 0 = 27*c - 39*c - 2220. Let n = -194 - c. Suppose -4*h = 2*y + 4, -y - 4 - 4 = -4*h. Do y and n have the same value?
False
Let a = 4.95 + -5.486. Let m = -0.536 - a. Which is bigger: m or -699?
m
Let z be 0 + 5/(-25) - 86/(-235). Let q = z - 30117/3055. Which is smaller: -9 or q?
q
Let y = -337/24030 - 2/445. Is -1 at most y?
True
Let q = -2060 - -2480. Which is greater: q or 419?
q
Let j = 1132/2445 + -32/163. Let o be ((-2)/(-3))/(4/6). Do j and o have the same value?
False
Let g be 1 - (1 - 3 - 0). Suppose -g*h + h = -6. Let o = -303 - -309. Which is smaller: o or h?
h
Let z be (-4*1)/(16/2696). Let h = -673 - z. Is 5 > h?
True
Let f be (-19)/(-51) - 2/6. Let d = -17.418 + 17.518. Which is smaller: d or f?
f
Suppose 3*w + 371 = 3*r + w, 2*r = -w + 259. Let d = 117 - r. Are -10 and d unequal?
False
Let n = 265.96 + 0.04. Let s = n + -506. Is -1 <= s?
False
Let j be (35/(-28) + 1)/(114/24 - 5). Is j smaller than -2/2885?
False
Let b(s) = 8*s + 256. Let o be b(-32). Suppose 5*m - 9 - 11 = d, o = m - 5*d - 28. Is m greater than or equal to -7?
True
Let c = -2.609 + 2.6. Let j = -560 - -558. Is c at most as big as j?
False
Let h be 26*((-189)/(-18))/7*-1. Is -39 at most as big as h?
True
Let w = -577/1974 + -27/658. Which is bigger: w or 1/119?
1/119
Let v be (3/(-2))/(108075/36020 + -3). Let r = v + 50335/14. Let n = r - -50/7. Is n at least -4/9?
True
Let x be ((24/10)/(-2))/((-111)/(-370)). Let w be 2 + 0 + x + 14. Let j be (2/(-12))/((-14)/903). Which is smaller: w or j?
j
Let k = 787 + -785. Suppose 2*r = -5*z + 989, -3*z - z = -k*r + 944. Is r at most as big as 482?
True
Let b = -55 + 58. Let j be 6 + (b + -1 - 7). Is -2/355 less than or equal to j?
True
Let p = -307 + 310. Let j be (7 - p) + (-1 - (-17)/(-5)). Suppose 29 = -4*y - 7. Is y at most j?
True
Suppose -4*k - 86 = -3*r, -k - r = -2*r + 22. Let w be (755/k - 2)*(-1)/(-3). Let m = 13 + w. Is -8 at most as big as m?
True
Let j be ((-6375)/34)/(2/8*-2). Suppose 9*v + 309 = -j. Which is bigger: 3 or v?
3
Let k = 1.26207 + -0.26207. Suppose 3*p + 10 = -2*p, l + 4*p + 322 = 0. Is l less than k?
True
Suppose -2*g = 5*h + 4003 - 1138, 0 = -2*h - 4*g - 1130. Let l be 10/h*(5234*5)/(-1). Let a = l - 455. Which is bigger: a or 1?
1
Let l(s) = 4*s**3 + 4*s**2 - 4*s - 34. Let y be l(-13). Let f = 72968/9 + y. Which is bigger: f or 15?
15
Let s be -2*10/40*-2. Let v be ((-6)/12)/((-2)/12). Let p be s/3*(1/(-3) + v). Does 2 = p?
False
Let k = -35 - -39. Suppose 2*c - k = 14. Suppose -f = -2*d + c, d = 3*f + f + 43. Which is smaller: f or -13?
-13
Suppose 75*c - 241 = 71*c - j, -4*c + 216 = -4*j. Which is smaller: c or 54?
54
Let v(q) = 2*q**2 + 53*q - 23. Let z be v(-27). Suppose 3*b = 3*w + 147, 0*w - z = w. Let d be (-1*(-1)/2)/(b/(-210)). Which is smaller: d or -3?
-3
Let h = -2/10427 + 4462766/52135. Which is greater: 85 or h?
h
Suppose 6 = -3*j + 2*s, s - 9 = 4*j - 2*s. Suppose j = c + c - 26. Let n be (-1 - -3)*(-81)/378*(284/(-12) + -7). Is n at least as big as c?
True
Suppose 3345 = 3*r + 2*v, 2*r + 3*v - 4461 = -2*r. Is r less than 1110?
False
Let r = 11.11 - 11. Let k = 12.41 - 13. Let z = -3.59 - k. Is r bigger than z?
True
Suppose 3*c + 5*y = -1002 + 229, -4*c = -y + 1046. Let b = -1475 + 1215. Which is bigger: b or c?
b
Suppose 0 = -2*h - 2*o + 40, -h - 3*o = -6*h + 100. Suppose h*g + 1181 = -1359. Which is smaller: -128 or g?
-128
Let i = 483 + -266. Suppose 2*d = 3*w - 58 - i, 677 = -5*d + 4*w. Let m be (1/(-9))/(d/42)*-6. Which is greater: -1 or m?
m
Let n = 2443/120 + -23/24. Suppose f = 252 - 233. Which is bigger: f or n?
n
Let t be 170/(-5) - (-8 + 4). Let z be (4/14)/(6/(-56)*t). Are -1 and z nonequal?
True
Let p(u) = -15*u + 1. Let q be p(-1). Let m be 1/(-8) + 2/q. Suppose 5*t + m*l = -l - 168, t - l + 30 = 0. Is t at most -33?
True
Let s = 785 + -1655. Let i = s - -790.8. Let x = -79 - i. Which is greater: 2/17 or x?
x
Suppose -5 = 5*s + 2*l - 9, 2*s - 4*l - 16 = 0. Suppose -770 = -4*y - s*o, 5*o - 50 = -25. Is y < 189?
False
Let u be 1*109/1 + -1. Let b be 3 - 0/((-42)/(-28)*(-8)/(-6)). Let g be ((-16)/b)/(-3*6/u). Do g and 0.1 have the same value?
False
Let c be (-12 - (-72)/8)*-2*4. Suppose c*f - 20 = 4*f. Which is smaller: f or -2/107?
-2/107
Let o = 296.0174 + -0.0174. Let y = o + -297.41. Let r = -0.41 - y. Do r and -2 have the same value?
False
Let d be (-16)/(-24) - (-9)/((-54)/(-800)). Let h = d + -121. Which is bigger: 17 or h?
17
Let o be (-1 - (3 - -19))/5. Let h = -29/5 - o. Is h at most 0?
True
Let t = 11750 - 11096. Is t at least as big as 657?
False
Let d be 14/(-21) - (-39)/(-9) - -32. Let g = -51 - -54. Suppose 0*r + 2*f - 50 = -2*r, -55 = -2*r + g*f. Do d and r have the same value?
False
Let o = 9420 - 9421. Is o at most 8/1519?
True
Let i be (((0 - 2) + 2)/(-1))/(-2). Let y be (-6)/(0 - 3)*2. Suppose 0 = y*h - z - 77, -2*h + z = -z - 46. Which is bigger: h or i?
h
Let o(p) = p + 50. Let g be o(5). Suppose 11*x - g = 22*x. Let b = -16 - -10. Which is bigger: x or b?
x
Let z be (248/1488)/((-2)/17736). Is -1480 at most z?
True
Suppose -6 = -3*t + 3. Suppose -d = t*x + 3, 2*x - 4*x = 2*d + 2. Suppose d = 5*f - 2 + 22. Which is smaller: 4 or f?
f
Let x = -0.03 - -1.53. Let i(f) = -1925*f + 42350. Let c be i(22). Is x equal to c?
False
Let b be (26/3)/(800/(-48) + 16). Do b and -64/5 have the same value?
False
Suppose -21*a - 236 + 468 = 253. Which is smaller: a or -1/1259?
a
Let d(n) = -n**2 + 22*n - 139. Let h be d(10). Suppose 4812 = -2*w + 4*u, 5*w + 0*w = -4*u - 12072. Let m be w/135 + (-8)/10. Which is greater: m or h?
m
Let m = -10111/777 + 152/37. Let n = -28/3 - m. Let z(x) = x**3 - 6*x**2 + 10*x - 26. Let d be z(5). Is n < d?
False
Suppose 966*d - 987*d