t b be (0*(-6)/48)/(-3). Which is smaller: b or u?
b
Suppose -2*b + 15 = 3*x - 4*x, b = 4*x + 25. Let g(v) = 311*v**2 + v**3 + 6 - 1 - 314*v**2 - 4*v. Let q be g(b). Which is smaller: q or 36?
q
Let m be (243/12 + 2)/(15/(-12)). Suppose p + 3*x + 5 = 0, -21 + 9 = -3*x. Which is smaller: p or m?
m
Suppose 2249 + 6760 = 231*f. Which is smaller: f or 42?
f
Let r = -8.64771 - 0.07429. Which is smaller: r or 0?
r
Let f(z) = z - 5. Let w be f(4). Let c be 55*-2*w/(-5). Suppose -33*u - 33*u = 1386. Are c and u nonequal?
True
Let j = -15116254 + 2856963950/189. Let c = -302/7 - j. Which is smaller: -2 or c?
-2
Let v = 5265 - 4982. Let f = -3 + 3.1. Does v = f?
False
Suppose -17037*r = -17067*r + 4650. Are r and 118 equal?
False
Let b = 151 + -146. Let p be (0 - 5) + -1 + b. Does 1/24 = p?
False
Let k = -228 + 444. Suppose d + 5*u - 3*u = k, 3*d - 698 = 4*u. Which is bigger: d or 227?
227
Let g be 2/10 + 2/(180/(-63)). Suppose -8*z - 9 = 7. Which is smaller: g or z?
z
Let y = -122 + 154. Suppose s + 18 = y. Which is greater: 13 or s?
s
Let m be ((-526)/(-14) + -3)*693/18. Which is smaller: 1329 or m?
1329
Suppose -10*i + 80 = 6*i. Suppose 8*g + i*g = -4*g. Is 121 less than or equal to g?
False
Let a = 9 - 5. Suppose -a*v = -2 + 6. Let t = 202 - 210. Which is smaller: t or v?
t
Let z = -101716/13 - -7822. Which is bigger: 30/11 or z?
30/11
Let c = -132853 + 14480975/109. Let i be ((-1)/2)/((-1)/(-2)). Which is smaller: i or c?
i
Let q(c) = -c**3 + 7*c**2 - 17*c + 31. Let j be q(5). Let g be (-1)/(-4 + (-14)/j) - -2. Suppose 3 + 6 = -3*l. Which is smaller: g or l?
l
Let o = -47 - -49. Let n be (54/24 - o)*(-2 - 0). Which is smaller: -2/27 or n?
n
Let h be (-1)/(-10)*(-30)/4. Let n be (-50)/2250*10*9. Which is smaller: n or h?
n
Let b = 6 - 2. Suppose -4*a + 0*i = 2*i - b, -4*a + i = -16. Let x be (30/(-45))/((-1)/3). Which is bigger: x or a?
a
Suppose -6*d - 4*d - 7623 = 11*d. Which is bigger: -366 or d?
d
Let v = -2849 - -25643/9. Which is smaller: v or 1.4?
v
Let i = -735 + 734. Let q = -1.074 + 0.98. Which is greater: q or i?
q
Let f = 18241 - 37850073/2075. Let r = -0.06 - -0.16. Is f smaller than r?
True
Let m = 0.6195 + -1.818. Which is bigger: 0 or m?
0
Let q be 9*(-2)/2*(-7)/(-21). Let w be (12/(-21))/(74/q*3). Which is greater: w or -1?
w
Let o = 1435 + -255429/178. Which is smaller: -1 or o?
-1
Let h be 2 - 80/45 - (-16)/9. Suppose -2*j + h = -3*k - 21, -26 = -4*j + 2*k. Let s be 448/(-546) + j/26. Which is greater: s or 0.9?
0.9
Let u = -30343/6 - -10775/2. Let j = -333 + u. Let l = -11 - -21/2. Are l and j unequal?
True
Let k be ((-137)/(-411)*6/(-10))/(0 + 1). Are -77 and k unequal?
True
Let j = 2992.2 + -2992. Which is bigger: -1428 or j?
j
Let d = 16 - -122. Suppose 2*a - 21 - 60 = 3*i, -2*i = 4*a - d. Let q = 64 - a. Is q bigger than 27?
True
Suppose 0 = 4*g + 146 + 10. Let f be 6/g + 106911/1092. Which is smaller: f or 98?
f
Let d = 87 + -695/8. Let y be (-2)/(-3)*51/34 - -565. Let q = 1696/3 - y. Is q at most d?
True
Let z(l) = 3 + 17*l + 45*l**2 + 49*l**2 - 95*l**2. Let t be z(13). Which is bigger: 53 or t?
t
Suppose -1002 = 4*f + 5*v, 3*f + 2*f + 2*v = -1244. Which is bigger: f or -232?
-232
Let i = -42518 + 42521. Let s = -0.13 + -6.87. Let k = s + 2. Which is smaller: k or i?
k
Suppose -5*w + 99 = -131. Let j = w + -100. Let i(n) = n**2 + 23*n - 1903. Let l be i(-56). Which is smaller: l or j?
l
Let i = 17980 - 17636. Is i < 338?
False
Suppose -17 = -25*f - 42. Which is smaller: f or -206/135?
-206/135
Let y be 1*((-6312)/(-13) - (-1)/(-1)). Let p = y - 485. Let k(s) = -s - 5. Let l be k(-4). Is p < l?
False
Let j(n) = -40*n + 133. Let z be j(3). Let l(g) = 28*g - 363. Let q be l(z). Which is smaller: 2/67 or q?
2/67
Let z(h) = 5*h**2 + 47*h + 15. Let g be z(-9). Do -106.3 and g have different values?
True
Let q = -42 + 46. Suppose m + 5*h - 50 = -q*m, -4*h = 5*m - 51. Let k be (4/5)/((-2)/(-30)). Which is smaller: m or k?
m
Suppose -8 = u - 445. Suppose 5*s - 751 = 4*r, r = 2*s - 5*s + u. Is s at most 147?
True
Let v be (3/6 + (-5798)/12)*(-15)/20. Which is smaller: v or 4?
4
Let h = 67894/13 - 5212. Which is bigger: 1/5 or h?
h
Let v(g) = 5*g + 15 - 8*g - 9 + 2*g. Let t be v(-3). Do 9 and t have the same value?
True
Let v(w) = -w**3 - 41*w**2 - 69*w - 2. Let f be v(-39). Let m = 231 + f. Is m bigger than -122?
False
Let l be (1683/102)/(-33)*(-8)/34. Let j = 7 + -3. Which is bigger: l or j?
j
Suppose b - 6*u = -5*u - 419, 0 = -4*b + 3*u - 1678. Which is greater: b or 1?
1
Let o = -59502 + 59435. Suppose 4*y = 2*y + 34. Let l = y + -84. Is o greater than or equal to l?
True
Let b(w) = -1 + w - 1 + 5. Let f be b(-4). Let s = f + 3. Which is smaller: 5/8 or s?
5/8
Let a(u) = -5*u**3 - 18*u**2 - 58*u - 1. Let f be a(-5). Let z = 464 - f. Which is bigger: -406/9 or z?
z
Let p = -66 + 348. Suppose 0 = 2*i + i - p. Is i <= 96?
True
Let g = 0.033 + 84.967. Let n = g + 23. Is n at least 2?
True
Suppose 74*k - 31*k = -12*k - 55. Which is greater: 3893 or k?
3893
Let b = -1.28 + 0.18. Let w = b + 1.13. Let h = 182.8 + -183. Which is smaller: w or h?
h
Let u = 14007 + -13156. Which is greater: 849 or u?
u
Let v(o) = 2*o + 220. Let j be v(2). Which is bigger: j or 226?
226
Let v(z) = -z**2 + 5*z + 22. Let r be v(7). Suppose -m = 4*j - r + 148, 4*j = 4*m - 160. Let p be 15*15*(-4)/j. Is 25 less than or equal to p?
True
Suppose -22*f - 5*f + 567 = 0. Suppose -f*l + 16*l = -40. Let n = -1 - -9. Do l and n have the same value?
True
Let z = 3236 - 213577/66. Which is smaller: -2/7 or z?
-2/7
Suppose 0 = -143*w - 240396 + 38766. Which is smaller: -1409 or w?
w
Let h(r) = -r**3 + 14*r**2 - 1. Let n be -9 + -3 + 10 - -16. Let m be h(n). Let w be 2/(-4) - (-5)/34. Which is smaller: m or w?
m
Suppose 0 = -12*q + 9 - 9. Do -1/1155 and q have the same value?
False
Let t(d) = 93*d + 104. Let u be t(-2). Is u at most -82?
True
Let u = 137.7 - 137.8. Let z = -12644 - -62992/5. Are u and z equal?
False
Suppose 2*m - 15550 = -z, -5*m + 26398 = -z - 12470. Which is smaller: m or 7776?
m
Let h be ((-13)/754)/((-1)/2)*-2. Let y = 58 - 102. Let r = -44 - y. Is h less than r?
True
Let u(i) = i**3 - i**2 + i + 23. Let s be u(0). Let g(a) = -a**3 - a**2 - 5*a + 10. Let z be g(0). Suppose -19*k + 207 = -z*k. Is k < s?
False
Let f = -3 - -4. Let v = -38/99 + 2851/6138. Which is smaller: v or f?
v
Suppose 4 - 10 = 3*v. Let h = 19 + -12. Let k be h + (212/7)/(-4). Is v at most as big as k?
True
Suppose 510 = -42*x + 1014. Is 75 < x?
False
Let d(b) = -57*b + 1290. Let w be d(23). Do w and 38 have different values?
True
Let x(d) = d**2 + 5*d + 1. Let w be x(-5). Let t(n) = -64*n - 1. Let o be t(w). Let c = -42 - o. Which is bigger: 22 or c?
c
Let m = -257 + 783. Is -2/3 less than m?
True
Suppose 3*z - u = 14, u - 6 = -5*z + 3*z. Let s = 10 + -7. Suppose 7*o + 21 = -3*t + z*o, -2*o - s = t. Is t equal to -9?
False
Let y = -9032 + 4945. Let u be -3*6/18 - y/91. Let d = u - 309/7. Which is smaller: d or -1?
-1
Let g = -806668 - -806673. Let n = 3/101 - -5715/1414. Is g smaller than n?
False
Let f = -3919.7 - -3930. Is f less than -15?
False
Suppose 62*o - 23524 - 66448 = 293684. Is 6188 smaller than o?
False
Let s be 2/7 - 605/(-847). Is s >= 18/157?
True
Let o = -5 + 8. Let i be (2 + 4)/2 + 14 + -12. Suppose -3*f - i*f + 24 = 0. Does o = f?
True
Let b = 633103/353761 + -3/18619. Which is bigger: 3 or b?
3
Let x be (4/(-2238))/(718/3231). Are x and 1/2 nonequal?
True
Suppose -27*k - 16500 = 34*k + 5*k. Is k < -15?
True
Let h = -73.3 - -69. Let s = h + 78.3. Which is smaller: -3 or s?
-3
Let g(y) = 22*y - 162. Let q be g(-19). Does q = -579?
False
Let q = 0.0413 - -82.9587. Let p = 19.6 - -62.4. Let r = q - p. Which is smaller: r or 2.2?
r
Suppose -n + 2*a - 4*a = 4, 5*n + a = -11. Let s be 0/(-15) - n/2. Let c = 42 - 22. Which is greater: s or c?
c
Let u be (-156)/36 - (-40)/8. Let g(h) = h**2 - 8*h + 8. Let p be g(7). Suppose w = 1 + p. Is u greater than or equal to w?
False
Suppose -14*g = 43377 - 46765. Is 266 greater than or equal to g?
True
Let r be ((-329)/(-21) + -5)*837/(-36). Is r < -249?
False
Let q be (-5)/(-20) - (-2897)/132. Let k = -67/3 + q. Which is smaller: k or -2?
-2
Let c be 20088/6552 + (-2)/(-26). Which is smaller: c or 0.6?
0.6
Let z(r) = -36*r**3 