k = s + 33. Which is greater: k or 7?
k
Let y be 3/((-21)/4)*8/1. Which is greater: -6 or y?
y
Let w be (-1 + -2)*32/3. Do -28 and w have different values?
True
Let x = -16 - -25. Let k be x/(-162)*8/14. Is -1 at least k?
False
Suppose -16*x + 1625 - 7945 = 0. Which is bigger: -397 or x?
x
Let f(o) = -o**3 + 19*o**2 - o + 19. Let z be f(19). Is -3/29 at least z?
False
Let y = -12 + 37. Suppose 3*f - 30 = -p, -5*f + 2*p + y = -25. Let d = f + -9. Is d at least as big as 1?
True
Let z = -13 + 14. Let y be 4 - -2*z/(-2). Suppose 76 - 13 = y*a. Which is smaller: 20 or a?
20
Suppose 6 = -2*g + 10. Suppose v + 3*j = -23, 6*v + 62 = g*v - 2*j. Which is smaller: -13 or v?
v
Suppose 4*o + 4*c + 431 = 5*c, -95 = o + 4*c. Which is bigger: o or -108?
o
Suppose -5*d + 3*c = 0, -d + 17 = 2*c + 4. Let s be 11 - d/(4/4). Let m be 170/(-15)*6/s. Which is greater: -8 or m?
-8
Suppose 5*z + r = 34, 2*z + 4*r - 31 = -3*z. Which is greater: 15 or z?
15
Let i = 789 + -3946/5. Are i and 0 nonequal?
True
Let i be (-1 - 4/(-12)) + -2. Suppose -5*k + 2*f - 17 = 0, 4*k + 3*f + 3 = 2*k. Is k <= i?
True
Let c(b) = -b**3 + 11*b**2 - 29*b + 6. Let z be c(7). Is z != 2/885?
True
Suppose r = -2*h + 5, -4*h + 7 + 6 = -r. Suppose 8 = -h*k - 1. Let z(q) = q + 4. Let o be z(k). Which is smaller: 1/5 or o?
1/5
Let y(g) = 2*g**3 + 26*g**2 - 2*g + 23. Let j be y(-13). Is j >= 48?
True
Let b be -12*(7 + 145/(-20))/(3/(-8)). Let v be (-42)/5 + 4/10. Does v = b?
True
Suppose 0 = -5*q + 3*q - 36. Let f = 8 - q. Is 26 > f?
False
Suppose -1 = 5*f + 3*j - 7, 3*j = 4*f + 6. Let v be 3 - f/(5 + -1). Let a be v/(-15) + (-16)/70. Is -1 <= a?
True
Let v be (-60)/(-36) + 8/(-3). Let d be 6/(v + -1) - (-2120)/240. Which is smaller: 6 or d?
d
Suppose -7 - 9 = -4*z. Let h(w) = -4*w**2 - z*w**3 - 4 - w - 3*w**2 + 3*w**3. Let v be h(-7). Which is smaller: v or 2?
2
Let t(z) = -z**3 - 29*z**2 + 16*z + 483. Let c be t(-29). Which is bigger: c or 245/13?
c
Let d = 5.1 + -5. Let i = 0.4 + d. Let r = -27 + 28. Is r bigger than i?
True
Let y = -0.153 + 0.028. Let n = y - -0.125. Is 112 > n?
True
Let b = -23.8933 + -0.0067. Let y = 21.1 - -2.9. Let o = b + y. Is -6 >= o?
False
Let j = 16.8 + -14.46. Let t = -2.7 + j. Is -1 less than or equal to t?
True
Let b be ((-22)/6)/(-5 + 76/12). Suppose 0 = 26*r + 14 + 38. Are r and b nonequal?
True
Let q = 37 + -16. Let i be (-56)/(-16)*12/q. Suppose -k = -2*h - 61, 0 = -4*h + 3*h - i*k - 38. Is -31 >= h?
True
Suppose -8*v = -3*v - 10. Suppose -v*g + 54 = -2*b, 55 = 4*g - 2*g - b. Suppose 5*y - y + g = 0. Is -9 greater than y?
False
Let y = -191 + 190.3. Is 4 at most y?
False
Let a(q) = -12*q**2 - 11*q + 3. Let o be a(0). Which is greater: 12/7 or o?
o
Suppose 4 = -i + 4*p + 2, -2*p - 6 = -i. Let j(s) = 5*s**3 - 31*s**2 + 10*s - 9. Let y be j(6). Which is smaller: y or i?
i
Let q(j) = -4*j + 4. Let r be q(4). Let b = 5 - -2. Let w = b + r. Is -5 at least w?
True
Suppose -2*a - 2 = 3*l, 3*l - 3*a = -l + 20. Let z be 30/4 + 9 + 209/(-22). Which is bigger: l or z?
z
Let n = 400 - 400. Is 1.54 != n?
True
Suppose -j - 2*j = -21. Suppose v - 4*k - 23 = 0, 0*k = -4*v - 4*k + 12. Is v != j?
False
Let u(z) = z**3 + 60*z**2 - 70. Let y be u(-60). Which is greater: -63 or y?
-63
Let p(i) = -i**3 + 11*i**2 + 9*i + 37. Let n be p(12). Let h = 27 + -192/7. Is h bigger than n?
False
Let z be 0/(-7)*(2 - 3). Suppose 14 = 2*u - z*u. Let y = 9 - u. Is y less than 5/3?
False
Let s be 40/((-1)/3 + (-25)/(-30)). Let l be (2925/s)/(-9) - -4. Which is greater: -1 or l?
l
Let p = -1947 + 1969. Suppose 125 = 2*c + 3*c. Which is smaller: c or p?
p
Let a be 3*5*(-7 + 6). Let o be (-536)/60 + ((-12)/a)/(-2). Which is smaller: -0.1 or o?
o
Suppose 192*f + 90 = 201*f. Let l(s) = 12*s. Let w be l(1). Which is smaller: w or f?
f
Let h be ((-1)/2)/((-6)/36). Let x = 1 + -3. Let u be 10/(-12)*x/1. Is h less than u?
False
Let j = -624/31 + 14675/93. Which is smaller: j or 137?
137
Let w = -3 - -4. Let t = 0.261 - 0.3. Is t bigger than w?
False
Let w(q) = -q**3 + 5*q**2 + 3*q + 14. Let v be w(6). Let f be 2/v + (0 - 340/(-8)). Is 41 less than f?
True
Let u = -98 + 80. Is -15 < u?
False
Let q = 17 + -13. Suppose 2*b + 4*n - 12 = 8, -q*b + 5*n + 1 = 0. Suppose h + b = -h. Is -5 >= h?
False
Let o = -33 + 925/28. Suppose 3*s + s = 5*w - 20, 5*w - s = 5. Is o bigger than w?
True
Let i = 1787/21 - 85. Suppose -5*v = -7*v. Suppose -15*l + 13*l - 2 = v. Is l bigger than i?
False
Suppose -5*h = -2*f - 62, 0 = -2*h + 3*h - 4*f + 2. Let c = -12 + h. Suppose 0 = -4*i + 4*o, -4*o - 3 = -3*i - c*o. Is 0.1 bigger than i?
False
Suppose 8 = c + 3*c. Suppose c = -3*f - 31. Let h be (2 + -12)/(-9 + 10). Is f at most as big as h?
True
Let a(u) = 2*u**2 - u - 2. Let z be a(-2). Let v(b) = b**3 - b**2 - 2*b + 7. Let q be v(0). Is z at most q?
False
Suppose k = 4*u - 8*u + 35, u - 5*k = 35. Let i be (0 - 14/(-2)) + 1. Which is smaller: u or i?
i
Let o = 59 - 37. Let t = -21.5 + o. Which is bigger: t or -3?
t
Let d = -825/59 - -14. Is -1 < d?
True
Let t(n) = n**2 - 4*n + 3. Let p be t(4). Suppose 3*h - 5*l = -13, 2*h + l = -p*l + 6. Let g be 2 - 2 - h/17. Is g smaller than 1?
True
Let n(y) = y. Let x be n(3). Suppose 2*a + 274 = 4*t, -5*t = -a - 44 - 303. Let l be ((-18)/(-21))/(15/t). Is x at most as big as l?
True
Suppose 5*c + 3*q = 29, 0 = -2*q + 4*q - 6. Let k be (-10)/c*(-21)/(-7). Is -9 at least as big as k?
False
Let s = 5321/99 - 590/11. Is 1/8 <= s?
False
Let r = -4 - -9. Suppose 5*w = 4*t + 34, -2*t - 4 = -3*t - r*w. Let b be ((-16)/4 + 3)*t. Is b less than or equal to 7?
True
Let s = -37.2 + 27.2. Is s bigger than 1?
False
Let d = -473687942 + 107526890659/227. Let a = d + 1199. Is a at most 1?
True
Suppose -2*v = -6 - 4. Suppose -4*p + 13 = -v*h, 5*p - 6 - 4 = 0. Which is smaller: h or -3?
-3
Let c = -22 + 219. Which is smaller: c or 198?
c
Let s(d) = d - 5. Let o be s(4). Let g = 108554 - 2390387/22. Let t = g - -100. Which is smaller: o or t?
o
Suppose 5796*o = 5795*o + 2. Are -4 and o unequal?
True
Let b(w) = 27*w**2 - 11. Let v be b(-3). Let d be v/4 - (1 - 2). Is 59 > d?
False
Let p = 2.2 + -2.332. Let v = 0.032 + p. Which is greater: -0.03 or v?
-0.03
Let v be 10/45 + (-33)/27. Let p(x) = -19*x - 4. Let k be p(13). Let w = k + 3261/13. Which is greater: w or v?
w
Let s be 2*(-5)/4 + 609/242. Which is bigger: 1 or s?
1
Let z be (-5)/(-1)*1 - 178. Which is smaller: z or -172?
z
Let g = -133 - -149. Suppose -4*w + 20 = g. Is -2/41 less than or equal to w?
True
Let o = -22735 + 1136707/50. Which is bigger: o or -1?
o
Let c = 18 - 49. Let l = c + 28. Is 2/7 equal to l?
False
Suppose -g - 16*k = -14*k + 31, 4*g + 138 = -k. Is -38 <= g?
True
Let f = -37 - -43. Suppose -5*u = -31 + 1. Is f greater than or equal to u?
True
Let j = 1 + 1. Let u = 206 + -202. Suppose -15 = -j*y + 3*c, -20 = -2*y - y + u*c. Which is smaller: -2/19 or y?
-2/19
Let g(d) = -7*d**2 + 2. Let m(v) = -6*v**2 + 2. Let a(q) = -5*g(q) + 6*m(q). Let b be a(0). Let x be ((-1)/3)/((18/27)/2). Which is bigger: x or b?
b
Let a = 0 + 5. Let h be a - (-4 + 0)/(-2). Suppose 0*q - h*q + 3 = 0. Which is smaller: 1/2 or q?
1/2
Let x = -10/131 - 112/1965. Which is smaller: x or 19?
x
Let v = -62 + 20. Which is smaller: -41 or v?
v
Let v(l) = l**3 + l**2 - 7*l + 21. Let q be v(-4). Is -2/1609 > q?
False
Let b = 9 - 3. Let x = 64 + -74. Let s = x + b. Is -5 greater than or equal to s?
False
Let j = 23.993 - -0.007. Let i = j + -26. Let m be 4/(-6) + (-44)/33. Are i and m unequal?
False
Let y be -1 - (-3 + 4) - -2. Suppose -m + 7 = -c - c, -16 = -2*m + 5*c. Suppose -3*x + m = -4*x. Which is bigger: y or x?
y
Let r(m) = -5*m + 3. Let g be r(1). Let v = 0.9 + -0.6. Let q = 0.6 - v. Is g greater than q?
False
Let m(r) = r + 4. Suppose 4*t + 20 = -3*c, 4*c + 0 + 8 = 4*t. Let u be m(c). Let s be (-5)/(-15) + 21/(-54). Is s <= u?
True
Let d = 85 - 124. Let y be 162/d + 6/39. Which is greater: y or -3?
-3
Suppose 1 = 4*z + 25. Let l(g) = -g - 12. Let b be l(z). Is b <= -6?
True
Let w be 10/4*9/(-300). Let a(h) = -h**3 + 4*h**2 + 21*h + 1. Let i be a(7). Which is greater: i or w?
i
Let d(j) = -2*j - 22. Let h be d(-13). Let m be h - 2*(1 - -5). Which is bigger: m or -10?
m
Let n = 9.832 + -9.7. Let i = -20.868 - n. Is i equal to 1/3?
False
Let y be (-177)/(-21) +