0 - (-2)/v*-3. Which is bigger: q or 0?
q
Let z(q) = -q - 8. Let j be z(-17). Let x(n) = -n**3 + 17*n**2 - 17*n + 25. Let h be x(16). Is h smaller than j?
False
Let r(a) = 6*a**2 - 266*a + 86. Let j be r(44). Let l = 3421 - 44503/13. Which is bigger: j or l?
j
Let r = -1318.1 + 1318. Let i = 0.66 + -0.6. Let b = 0.86 - i. Which is smaller: r or b?
r
Let m(k) = -k**3 - 4*k**2 - 3*k - 1. Let x be m(-3). Let w(i) = 4*i**2 + 2*i + 2. Let g be w(x). Which is bigger: g or 7?
7
Suppose 6 = 2*x - 0*g + 3*g, 0 = -4*x + g - 2. Suppose d + x + 3 = 0. Let c be (28/12)/(d/(-18)). Which is smaller: c or 13?
13
Let x(v) = -5*v**2 + 2. Let q be x(3). Suppose 132 = -3*s - j, 0 = -57*j + 62*j + 30. Is s smaller than q?
False
Let m be (-2 - (1 - 2))/(-1) + 16. Let u = -39 - m. Are u and -56 non-equal?
False
Let o = 68 - 35. Let g = o + -34. Is g smaller than 6?
True
Let t = 515 + -512. Is -4/13 <= t?
True
Let c be (5 - 191/35)/(6/(-15)). Which is bigger: -1/14 or c?
c
Let h(f) = -3*f - 12. Let p be h(-6). Let g = 11 - p. Suppose 0 = -7*a + 2*a - g. Is -4 at most as big as a?
True
Suppose -5*x + 24 + 36 = 5*z, 2*x + z - 20 = 0. Let c be (-5*x/(-20))/13. Are c and 0 unequal?
True
Let m be -25 - -30 - 491/98. Let s = m + -387/490. Is s at most as big as -1?
False
Suppose -3*n + 2*p = 7*p + 18, n + p + 4 = 0. Let m = -99 + 93. Is m equal to n?
False
Suppose r + 528 = 4*r. Let h = r + -1230/7. Let p = -96.6 - -97.6. Which is smaller: h or p?
h
Let i = 56198/63 + -892. Let m = 17 - 48. Let v = 31.1 + m. Is v at least as big as i?
True
Let s be (-23)/(-92) - 3/(-4). Is 1/253 >= s?
False
Suppose 0 = 5*m - 10*m - 400. Let y = -78 - m. Are 13/8 and y nonequal?
True
Let g = -73.36 - -73. Let k = g + 0.24. Is k <= -2?
False
Let a(f) = 2*f**2 - f - 39. Let c be a(-7). Suppose -l - c = -4. Is -63 equal to l?
False
Suppose 4*z + 5 = 1. Let a = 967 - 12565/13. Which is bigger: z or a?
a
Let y(h) = 4*h + 6. Let c be y(2). Let a = c - 15. Is -1 not equal to a?
False
Let v be 126/(-60) - (-3 + 1). Is v < -0.7?
False
Let w = -14 + 43/4. Which is smaller: 0 or w?
w
Suppose -12*z + 8*z - 4224 = 0. Let c be (0 - (-2 + 0)) + z/525. Which is smaller: c or 1?
c
Let y = -4 + 2. Let f be (-66)/27*3 - 3/(-9). Let g be (((-98)/6)/f)/(6 + -9). Which is bigger: g or y?
g
Let u be (-4)/6 - 35/(-21). Which is smaller: u or 1/856?
1/856
Let t = 137 + -192. Do t and 2 have the same value?
False
Let n be 4/2*(-55)/(-10). Suppose -6 = -13*s + n*s. Is 3/2 smaller than s?
True
Suppose -127*t + 5112 = -22066. Is 213 at least as big as t?
False
Suppose 3*q = 3*l, -5*q + l - 4 = -0*q. Let r be -12 - (q + 2 + -2). Let z = r + 12. Do z and 1/5 have different values?
True
Let h be -7 - (-22)/3 - 1245/9. Which is smaller: h or -135?
h
Let l be ((-5)/(280/63))/((-9)/(-12)). Which is greater: -3/10 or l?
-3/10
Let m = -578 - -990. Which is greater: m or 413?
413
Let h = 40 + -4. Let p = 31 - h. Which is smaller: 1 or p?
p
Let n be (16965/1545 + -11)/((-4)/(-10)). Does n = 1?
False
Let s be (-40)/(-16)*1448/120. Which is greater: 30 or s?
s
Let l be 4/(-4)*(7 - 4). Let i be -2 + (l + 1 - -3). Which is smaller: i or -4/29?
i
Let h = -43 - -66. Let z = -20 + h. Let x be 43/(-5) + z + 3. Are -4 and x equal?
False
Let v be ((-28)/(-10))/(2/5). Let w be v/(4/(-8)*-1). Is 14 less than w?
False
Suppose 123*h = 26*h + 34 - 131. Suppose 5*l + 226 = 81. Which is bigger: l or h?
h
Let x be (2 + 4/(-1))*4. Let b = 4429 + -22186/5. Which is smaller: x or b?
b
Let s be (-16)/216*3 + 116/36. Which is smaller: s or 1?
1
Suppose 0 = i - 0*a - 4*a - 14, 26 = -5*i - 4*a. Let q be i/6 - 88/(-120). Which is greater: -1/5 or q?
q
Let o = -382 + 11080/29. Let k be 600/(-1392) + (2 - 7/4). Let j = o - k. Which is smaller: 0.1 or j?
0.1
Let u = -74.047 + 74. Let p = 1.047 + u. Are p and -0.4 equal?
False
Let j be (-6)/(-33) - (-480)/22. Suppose -755 = -27*f + j*f. Let l = 601/4 - f. Which is bigger: l or 0?
0
Let v be (2/(-612)*-6)/(1/2). Is -3 at least v?
False
Let o = -66.651 - -66.5. Is o >= 0.2?
False
Let t = 13/7 - 15/7. Let k = 1/21 - t. Which is smaller: k or 2/5?
k
Let v(d) = -12*d - 384. Let a be v(-32). Is -967 at most a?
True
Let j = -405 + 567. Let l = j - 5187/32. Which is smaller: l or -1?
-1
Let h = -27 + 47. Let z = h - 8. Let a = z + -12.01. Which is greater: -1 or a?
a
Suppose f + 265 = 5*y, 5*f = -y + 3 + 24. Which is smaller: 54 or y?
y
Let x = -143 - -137. Let n = 8 - 14. Is x at least n?
True
Let n be (6/(-5))/((-2)/5). Suppose -2*s = 7*h - n*h - 72, 0 = -5*s - 3*h + 152. Let c be 21/s*(-2)/(-9). Which is greater: c or 0?
c
Let n = -1472 + 1484. Which is bigger: 1.5 or n?
n
Let t = -0.587 - 16.413. Which is smaller: -1/10 or t?
t
Let b(f) = 2*f**2 - 10*f - 9. Let u(x) = -5*x**2 + 21*x + 17. Let n(v) = 7*b(v) + 3*u(v). Let o be n(-4). Let z be (-1)/6 - (-4)/6. Is o > z?
False
Suppose 5*y = -8 - 2. Let f be (-875)/(-1694) + y/4. Is 1 smaller than f?
False
Let i be ((-8)/(-6) - 1) + (-17)/57. Is 0 at least as big as i?
False
Suppose 0 = 8*l + 72 - 24. Which is smaller: l or -8?
-8
Let c(l) = -l**3 - 3*l**2 + 3*l - 7. Let p be c(-4). Let o = 11/4 + p. Do o and -7 have different values?
True
Let w = -2599 + 5067/2. Is -65 at least w?
True
Let h = -155 + 196. Let b = h + -45. Is -0.11 > b?
True
Let x = -2.07 - -0.07. Let n = 2.1 + x. Let z = 0.051 + 2.949. Which is smaller: z or n?
n
Suppose -2*i + 45 = -t, -2*i - 94 = 2*t - 5*i. Which is greater: t or -163/3?
t
Let o = 167 + -45. Let d = 118 - o. Which is smaller: d or -2?
d
Let c = 26 - 21. Let q be (-54)/15*c/2. Which is smaller: -7 or q?
q
Let a = 0.77 - 0.57. Let h be ((-3)/(-6))/(22/(-12)). Is h less than a?
True
Let b = 50001 + -1098855/22. Let s = 53 - b. Which is smaller: s or 0?
s
Suppose 4*z - 3*z = -4*z. Let a = -165 - -9073/55. Which is smaller: a or z?
a
Suppose 4*d + 5*b - 21 = 0, -d - 3 = 2*b - 6. Let n = d + -1. Let y be (-15)/(0 + -3) - -2. Which is greater: n or y?
n
Let w = -9/10 + -13/5. Let p = -12 - -14. Suppose 11 = -p*s + 1. Which is greater: w or s?
w
Suppose -d + 85 = 16*d. Suppose d - 7 = 2*q. Suppose 0*x = x - 5*i - 16, 3*x = -i - 16. Is x smaller than q?
True
Let t = -53.894 + -0.106. Let x = -2.172 + 3.172. Which is smaller: t or x?
t
Let b(c) = -c**2 + 8*c - 12. Let g be b(5). Suppose -28 = g*v - 10. Which is smaller: v or 2?
v
Let g = 151 + -152. Is -1/41 bigger than g?
True
Let m(a) = 5*a. Let d be m(-1). Let w be 1 + (-1 + 3 - -51). Suppose 9*j + w = -0*j. Is j > d?
False
Let q be 6*(-12 - -12 - 16/(-6)). Which is greater: 29/2 or q?
q
Let v = -252 - -248.77. Let g = v + 3. Which is greater: 0 or g?
0
Let j = -371 - -368. Which is greater: j or -30?
j
Let a = 34 - 35. Let f = 9452/1114773 - 2/4477. Let j = f - 289/4980. Is a smaller than j?
True
Let u = 0.28 - 0.78. Let r = u - 2.3. Suppose 0 = -0*f + f - 1. Which is bigger: f or r?
f
Suppose -9*m - 10 = 44. Let h = -1577/4 - -387. Is h != m?
True
Let a(s) = 4*s - 9. Suppose 0 = -3*b + 3*g + 27, -b = -4*b - g + 11. Let v be a(b). Suppose 5*k = 2*k + 30. Which is greater: k or v?
v
Let r = -216 - -204. Is r <= -23/2?
True
Let r = 20 - 21. Let m = 145/484 - 6/121. Is m at least r?
True
Let q be 5/(25/(-830)) - -1. Is -166 <= q?
True
Let w be 4989*9/((-1890)/(-4)). Let m = -95 + w. Which is smaller: m or 1?
m
Let l = 621 - 699. Which is smaller: l or -74?
l
Let n = -10 + 12. Suppose -f + n*f = 1. Let t be 184/48 + -3*f. Which is smaller: t or 1?
t
Suppose -n + 209 + 4414 = -5*i, -5*i - 5*n = 4605. Is -924 bigger than i?
False
Let b = 233 - 236. Which is smaller: b or 70?
b
Let p be ((-142)/54 - -2) + 1. Let n = -8/27 - p. Does n = 0.28?
False
Suppose 5*z - z - 44 = 0. Let i = z + -12. Let k = 3527/10 + -353. Is k <= i?
False
Let o be -3*(3/9)/(2/(-654)). Which is smaller: 326 or o?
326
Suppose -5*k - 15 - 115 = 0. Let r(v) = -8*v**2 - 15*v - 24. Let i be r(-2). Is k >= i?
True
Let s = -609 - -20099/33. Let l be (1 - -5)/((-2)/1). Let u be ((-10)/l + -3)/(-3 + 4). Are u and s unequal?
True
Let f(s) be the first derivative of 2*s**2 - 1/3*s**3 - 4*s - 3. Let t be f(5). Is -9 less than t?
False
Suppose -4*p + 8 + 4 = 0. Suppose 0 = -p*j + 13 + 2. Suppose r + 4 = j*r. Which is greater: 1/6 or r?
r
Let a(j) = j**2 - 9*j. Let h be a(10). Let p be 2/h + (-592)/(-40). Is p equal to 16?
False