ater than 226?
False
Suppose 0 = -2*p + 3*r - 343 - 246, 4*r = p + 307. Which is greater: -288 or p?
p
Let d(u) = -u + 7. Let j be d(10). Let y = 24 + j. Is y <= 22?
True
Let l = -4 + -1. Let f(p) = -p**3 + p. Let v be f(-1). Let a(k) = -k**3 - 3. Let j be a(v). Which is smaller: j or l?
l
Let p = 931/3 - 307. Let a be 8/(-24)*(-18)/(-2). Let x = a + 5. Which is smaller: p or x?
x
Let t be 2/1 - 2 - 2. Let f(g) = -4*g - 2. Let s be f(t). Suppose 2*h - 3*w = 10 + 3, -3*w = h - 11. Is h at least as big as s?
True
Let v be ((0/(-8))/(-4))/(0 + 3). Let t be 14/40 + 1/(-4). Is v < t?
True
Let s be 4/(-3) - (-1032)/(-36). Let p = 28 + s. Which is bigger: -3/2 or p?
-3/2
Let s = 114/329 + 24/47. Is -0.53 bigger than s?
False
Suppose 9*b - 19*b - 60 = 0. Which is bigger: 3 or b?
3
Suppose 27 + 5 = 4*r. Let v = -54/7 + r. Is v >= 3?
False
Let i be (-15)/(-3) + 113/(-2). Let b = 52 + i. Which is smaller: 6/7 or b?
b
Let c be (4/(-4))/((-9)/72*1138). Which is smaller: 0 or c?
0
Let k be (-40)/(-5) - (3 - -1). Let v(p) = p**3 + 3*p**2 - 4*p + 2. Let u be v(-4). Let s = 4 - u. Which is bigger: k or s?
k
Suppose 16*j = 680 + 568. Is j >= 76?
True
Suppose -5*v = -21*v + 1248. Which is bigger: 79 or v?
79
Let l be (-2)/(-36)*(-5 - -1). Let t = -1 - -8. Suppose -t*w - 5 = -2*w. Which is greater: w or l?
l
Let w = 0.148 + 0.052. Do w and -15/4 have the same value?
False
Let j be 0 + 7 - (1 - 0). Suppose -r - 4*g - 1 = 0, -5*r - 5*g - 26 + j = 0. Is -4 > r?
True
Suppose 5*b - 8 - 7 = 0. Let w be ((-2)/2)/(15/6 + -3). Suppose -5*m + 21 = w*m. Is b greater than or equal to m?
True
Let w = 626 - 20674/33. Which is smaller: 1 or w?
w
Let j(l) = -2*l**2 + 5*l + 9. Let i be j(5). Let h = -12 - i. Which is bigger: 5 or h?
5
Suppose 0 = 5*s + n + 13, 0 - 20 = 4*s + 4*n. Suppose 66 = -3*j + 4*j. Let k be s/1 - j/(-34). Which is smaller: k or -1?
-1
Let i = 279 - 335. Which is smaller: -279/5 or i?
i
Let y(t) = t**3 + 20*t**2 - 109*t - 11. Let g be y(-24). Which is smaller: g or 299?
299
Suppose -n + 1 = 4*g + 8, n + 1 = -2*g. Let h be ((-8)/12)/(((-16)/(-588))/2). Let v = h + 55. Which is smaller: v or n?
n
Let x = 0.008 + -11.008. Let i = 10.8 + x. Let v = 2642/11 + -240. Is v <= i?
False
Let h be (-18 + 16)/(16/(-135)). Which is smaller: 18 or h?
h
Let s = -5/8 + 1/8. Let w = -16.65 - 0.35. Let x = -12 - w. Is x < s?
False
Let z = 0.01 + 2.99. Let i be (-10)/18 - (-18)/81. Is z > i?
True
Let c(t) be the first derivative of t**4/4 + 2*t**3/3 - 5*t**2/2 - 5*t + 5. Let l be c(-3). Let g be 1 - (4 - l - 2). Which is greater: 8/7 or g?
8/7
Let u be 9/392*38/(-57). Is u greater than 1?
False
Let u = 1255 + -2172. Which is bigger: 0 or u?
0
Suppose 5*n = 27 - 37. Do -54/83 and n have the same value?
False
Let a be 2/(-6) + (0 - (-98)/546). Let n be (4 - 15/4)*-3. Is n greater than or equal to a?
False
Let r(k) = -k + 14. Let b be r(2). Which is smaller: b or 83/7?
83/7
Suppose 5*g = 5*c + 110, -95 - 7 = 5*c - 3*g. Let x be c/21*142/4. Let l = x - -61/2. Is 0 at least l?
False
Let t(o) be the third derivative of -o**4/24 + 11*o**3/6 - o**2. Let q be t(7). Suppose 2*k + 2 = -q*d, -2*k + 0*k = d - 1. Which is greater: 2/15 or k?
k
Let q be (-2)/10 + (-732)/(-60). Let d = 19 - q. Is d != 7?
False
Let d = 328 - 317. Is d < 11?
False
Let j(b) = -b**3 - 8*b**2 - b - 4. Let n be j(-8). Suppose -t = n*t + 105. Let y = t + 22. Are 1/4 and y nonequal?
True
Let u be -4 - 22*38/4. Let q = u - -1494/7. Which is greater: 0.2 or q?
q
Let m be ((-3)/15*2)/((-48)/5800). Is 48 greater than m?
False
Let l be -24*(137/(-549) + (-58)/(-261)). Is 0 equal to l?
False
Let z be (2/4)/((-18)/8). Let c be -2 + -1 + 5/1. Suppose c*r = -2*r. Are z and r equal?
False
Let o(b) = -4*b**3 - 4*b**2 + 9*b - 8. Let a be o(2). Is -38 bigger than a?
False
Let u = 30 + -30. Let t = -193 - -11967/62. Which is bigger: u or t?
t
Let d(v) = -v**3 - 13*v**2 + 16*v + 28. Let l be d(-14). Which is smaller: l or 25?
l
Let s = 3281 + -4983. Do -1 and s have the same value?
False
Let y = -4066/5 + 810. Which is bigger: -2 or y?
-2
Let n be 8/(-10)*35/(-2). Let s be ((-5)/(-15))/(-1 + 0)*-44. Is s bigger than n?
True
Suppose -17 = -o + 21. Which is greater: o or 39?
39
Suppose -66 = -0*f + 11*f. Let i be (-526)/(-10) - f/(-10). Is 52 > i?
False
Suppose 2*v - 28 = -0*v. Let z be ((-6)/(-5))/(v/35). Suppose g = -2*g - z. Is g at most 1?
True
Suppose 0 = 3*x - 3*m + 24, -8 - 16 = 3*x - 5*m. Let n be 50/88 + x/(-44). Which is bigger: 0 or n?
n
Let h be 3/4 - (2286/(-312) + 7). Is h != 0?
True
Let s be -6 - (-5 + -9)/2. Is 3/313 smaller than s?
True
Suppose -74*z - 65 = -71*z - 4*w, 93 = -4*z - w. Suppose 0 = -3*b + b - 40. Which is smaller: b or z?
z
Let h = 6 - 21. Let v = h - -15. Suppose v = c + 5 - 6. Which is smaller: -3/8 or c?
-3/8
Let f(w) be the second derivative of -w**3/6 + w**2/2 + 3*w. Let t be f(-1). Suppose 4*d + 3*b = -12, -2*d + 4*b = t*d + 40. Which is smaller: -7 or d?
-7
Let z = -12 - -15. Let q(d) = 0*d**3 - 3*d**3 - d**3 + z*d**3. Let v be q(0). Is -2/7 at least as big as v?
False
Let i = 11219 - 11215. Let o be 1 + -1 - -3 - 1. Let j be o/(-2*(-1)/3). Is j <= i?
True
Let k be 0 + 7/(63/24). Which is smaller: 3 or k?
k
Suppose -4*r + 12 = 0, -3*r + 666 = 3*h - r. Which is smaller: 221 or h?
h
Let p be 4/14 + (-2416)/28. Let s = -603/7 - p. Let v(o) = 2*o**3 - 10*o**2 + 3*o - 15. Let l be v(5). Are s and l non-equal?
True
Suppose 68 = 63*k - 61*k. Suppose k*q - 32*q = -2. Is q not equal to -7/11?
True
Let m(v) = -3*v - 25. Let s be m(-8). Let d(i) = i - 1. Let c(z) = -8*z + 1. Let w(l) = -c(l) - 4*d(l). Let j be w(s). Which is smaller: j or -4/7?
j
Let x = -207/530 - 1/106. Let i = -2.8 + 5.8. Is x >= i?
False
Let m = 15.3 - 16. Let d = 10.7 + m. Which is greater: d or 0.4?
d
Let p be (-2 - (-1001)/506)*(11 + -1). Which is smaller: -1 or p?
-1
Let u(i) = i**2 + 3*i + 4. Let w be u(-3). Let g = -1399 - -1401. Is w less than or equal to g?
False
Let k be 4/(-6)*(-8)/(0 - 1568). Which is smaller: k or -1?
-1
Let m be ((-264)/80 + 3)*20/192. Is -1 > m?
False
Let p be 1768/(-476) - -1*4. Is p greater than 4/19?
True
Suppose -m - 2*m + 57 = 0. Suppose -6 = -x - m. Suppose -42*s - 60 = -37*s. Is x greater than s?
False
Let b(t) = 803*t - 6. Let q be b(2). Are 1600 and q non-equal?
False
Suppose 0 = 3*k + 71 - 5. Which is smaller: -125/6 or k?
k
Let y = -3.8 + 0.8. Let i = 2.5 + y. Let c = 100 - 100. Which is greater: c or i?
c
Suppose -4*r + 4*u + 24 = -0, -2*u = 10. Suppose -4*f - 1 = -9. Let m be (-2)/f + 123/117. Which is smaller: m or r?
m
Let v be (-1 - (-74)/4)/1. Is 18 greater than or equal to v?
True
Let w(o) = -3*o - 3. Let b(n) = -n**2 + 12*n - 12. Let f be b(12). Let z be (0 + f/4)/1. Let a be w(z). Which is bigger: a or 4?
a
Let i be (8/(-5) - -2)*-5. Let u be (1/i)/((-3)/(-12)). Suppose -465 = 2*g - 457. Which is smaller: g or u?
g
Let f = 927 + -924. Is f < -0.9?
False
Let n = 7 + -21. Let t = -13.9 - n. Let d = t - -1.9. Which is greater: d or -4?
d
Let k be (-2)/(-2) + (-1 - -1). Suppose k = b + 2*o, 2*b + 0*o = -2*o. Let t be (1*(4 + -3))/b. Which is bigger: -5/3 or t?
t
Let j = -2407.9 - -2519. Let t = j - 111. Which is bigger: t or 30?
30
Let w be (3/6)/((-1)/2). Let c = -143 + 142.79. Let l = c - 10.79. Which is smaller: l or w?
l
Let y be ((-6)/(-20))/(3/4). Let a = -36967/2 + 18483. Which is greater: y or a?
y
Let w be ((-456)/84)/((-3)/42). Is 81 equal to w?
False
Let v(g) = g**2 - 7*g - 50. Let q be v(12). Suppose q*j - 510 = 5*j. Which is smaller: 103 or j?
j
Suppose 5*v = -2*y + 32, -2*y = -v - 8 - 0. Let i be 93/y*(-8)/(-16). Is i less than 7?
False
Suppose -6*n = 3*n + 36. Suppose -38 = -2*a + 2. Let m be a/(-45) - n/6. Which is greater: m or -0.05?
m
Let v = -82775/7044 - -2/1761. Is v greater than -13?
True
Let x = 25 - 25. Suppose x*g = 4*l - g - 55, -l = g - 20. Let c = l - 30. Is -15 greater than c?
False
Let t = 98/3 - 33. Is t < -0.7?
False
Let m = 1.166 + -0.066. Let u = -1.2 - -0.2. Let n = u + m. Is n <= 8?
True
Let w = 7 + -1. Let n(c) = -2 + w + 3*c - 4*c + 8. Let r be n(13). Do -1 and r have the same value?
True
Let d be 77/45 - (-56)/(-504). Which is smaller: d or 11?
d
Let q(v) = -10*v + 452. Let l be q(46). Is 23 at most l?
False
Let o be 192/(-12) + -4 + 1. Let i(z) 