*s + 52 = s, -5*d = s + 102. Let f be -22 - 4/(-2) - -1. Which is bigger: d or f?
f
Suppose -5*s = 5*c - 1350, s - 345 + 87 = 2*c. Which is greater: 267 or s?
267
Let x = -15 + -47. Let n = x - -61.9. Do -41 and n have the same value?
False
Let j be (-5 - -1) + 15 + 1. Let k = -12 + j. Is -4 smaller than k?
True
Suppose 3*n + 2*f = -10, 0 = -2*n + 3*n + 2*f + 6. Which is smaller: n or 32?
n
Let b = -8112/11 - -738. Which is greater: 0 or b?
b
Let d(j) = -5*j**3 + 3*j**2 - 3*j + 1. Let r(t) = -3*t - 22. Let v be r(-8). Let a be d(v). Is -34 less than a?
True
Suppose 0 = -4*v + 20, 109 = 4*x - 3*v - 48. Suppose 41*b + 44 = x*b. Is 22 less than b?
False
Let h(f) = -f**2 - 41*f - 364. Let w be h(-13). Let i be (-1)/(2/(-2290)*1). Let a = 51523/45 - i. Is w less than a?
False
Let j = -329 - -331. Are j and 40/23 non-equal?
True
Let d(s) = -5*s**2. Let z be d(1). Let k(l) = -l**3 - 6*l**2 + 2*l + 7. Suppose 8 + 4 = -2*n. Let y be k(n). Is y equal to z?
True
Suppose 17 = 3*v + 2*r - 6*r, 5*r + 16 = 2*v. Let c(n) be the second derivative of -2*n**3/3 - 6*n**2 + 11*n. Let a be c(-4). Is v < a?
True
Let c(l) = 4*l**3 - 2*l**2 - 6. Let t be c(3). Let j = -96 + t. Is j not equal to -12?
False
Let v be 6/(-7*(-4)/(-9030)). Which is greater: -1934 or v?
-1934
Let f = -0.955 + 203.955. Is f >= 0?
True
Suppose -w - w + 6 = 3*x, 6 = -4*w + 3*x. Suppose 0 = -4*r + 2*u + 54, 2*r + 3*u - 2*u - 17 = w. Let j = 12 - r. Is j at least 1/27?
True
Let u be (11/3 + 1)*2700/(-210). Let c(w) = -w**2 + 3*w - 6. Let q be c(9). Is u greater than q?
False
Let d be 2 + (-166)/(-70) + -5*1. Which is bigger: d or -1?
d
Let r = -9794/25 + 392. Does r = 0?
False
Let y = 0.71 - 8.41. Let u = 0.173 + 0.127. Let z = y - u. Which is smaller: -1/4 or z?
z
Let l = 7 + -7. Suppose -h + 2*j + j - 16 = 0, -2*j = 8. Let p be 6/h*4/3. Which is greater: l or p?
l
Let p be (5 - -1 - 0)*-1. Let l = -397 + 396. Let x = p - l. Which is smaller: -3 or x?
x
Let h(x) = -x**2 - x. Let l be h(-1). Let o = -16 + 9. Let s = -6.94 - o. Are s and l equal?
False
Let h = -15 + 29/2. Let m = 1616/5 + -325. Which is smaller: m or h?
m
Let k be (-72)/48 + 14/(-4). Let b be (3 - (-5 - k)) + -1. Which is greater: -2 or b?
b
Let i = 1649902/561 - 2941. Do i and -1 have the same value?
False
Suppose 42000 = -6*l + 9912. Let d = l - -26629/5. Is d at least as big as -23?
True
Suppose 3 = -5*b - 2. Suppose 0 = -3*h - h + 8. Let r be ((-20)/(-13))/(-1) + h. Which is bigger: b or r?
r
Let q = 10 + -7. Let v = 5 + q. Which is greater: v or 7?
v
Let h(i) = 4*i + 39. Let w be h(-9). Let r be w/(-6)*38 + 1. Which is bigger: -20 or r?
r
Let i = -38 - -37. Let j = i + 2. Let b = -11 - -11.7. Which is bigger: b or j?
j
Let n = -154 - -153. Is 11 >= n?
True
Let p = 55 - 40. Let g be 8/6*p/2. Is 10 at most as big as g?
True
Let i = -32867/129 - -764/3. Let d = i - 329/129. Let k(m) = -m**3 - 2*m**2 + 3*m - 2. Let b be k(-3). Is b equal to d?
False
Let r be (-5 + -37)/(1*35/(-147)). Which is bigger: r or 177?
177
Let o(b) be the third derivative of -b**6/120 + 2*b**5/15 - b**4/24 + 5*b**3/3 + 2*b**2. Let k be o(8). Let h = 287 + -285. Does k = h?
True
Let i = -95.35 + 96. Do 1/4 and i have different values?
True
Let t(g) = -g**2 + 12*g - 11. Let w be t(11). Suppose w = -5*o + 6*o. Which is greater: o or -8?
o
Let q(a) = a**2 - 3*a - 2. Let b be q(4). Let f be b/9 + (-1280)/90. Let x = 6 + f. Which is smaller: -6 or x?
x
Let s = -28.23 + 6.27. Let y = s + 22. Is y <= 2?
True
Let m be (-4)/((-132)/75)*234/195. Which is smaller: m or 4?
m
Let v = -77.886 + -0.114. Let z = v - -84. Which is smaller: -1/4 or z?
-1/4
Let g = 75.9744 + 0.1256. Let o = -76 + g. Is o bigger than 2?
False
Let x(n) = -5*n - 146. Let m be x(-34). Is 166/7 equal to m?
False
Let k be (-2)/8 + 11/(-4). Let q(y) = -y + 22. Let r be q(6). Let x be (2/5)/(r/(-100)). Which is bigger: k or x?
x
Let i = -0.269 - -0.29. Let l = -0.221 + i. Which is smaller: -6 or l?
-6
Suppose -2*r + 4*r = -3*m + 42, 0 = -m - r + 15. Suppose -5*z + 9 = -1. Suppose -z*k - m = -14. Is k <= 3/10?
False
Suppose 1420 = 4*v - 4*r, 1048 = 2*v + 5*r + 352. Are 354 and v unequal?
True
Suppose -2*p = 2*m + 552, -p + 567 = 2*m - 4*m. Which is greater: m or -280?
-280
Let u be -9 + 6 + 2*1. Let b be (-8)/(-64) - u/2. Let n = b + -3/8. Which is smaller: -2/5 or n?
-2/5
Suppose u + 4*h = -112 + 101, 0 = -5*h. Is 2.8 < u?
False
Let s(w) = -w**2 - 24*w + 50. Let m be s(-26). Is m bigger than -119?
True
Let z be (6/(-9))/((-8)/(-30)). Let l = 0.099 + -2.099. Which is smaller: z or l?
z
Let w(b) = 20*b - 381. Let d be w(19). Which is smaller: -0.2 or d?
d
Let b = 89 + -78. Suppose -x = -5, -2*s - s + 2*x + 20 = 0. Which is greater: s or b?
b
Let b = 10 - 19. Let x = b + 12. Let w = 8 - x. Which is bigger: w or -2/9?
w
Suppose -551 = -24*w + 433. Which is smaller: w or 42?
w
Let v be 3/9 - 22/(-6). Let d be 21*(-9 + v)/(-15). Which is bigger: d or 0.2?
d
Let a be 7/49 - (-110)/14. Suppose -s = -a + 4, 2*s = -2*t + 14. Let h be 4/t - 10/21. Which is greater: h or 1?
1
Let w be (6/(-9))/((-1765)/(-15)). Let p = w + -995/11296. Which is bigger: 0 or p?
0
Suppose -5*a = 29*a + 7072. Which is smaller: -209 or a?
-209
Suppose 265 = -9*p + 256. Is 1/253 != p?
True
Let n(t) = -t**2 - 20*t - 76. Let r be n(-14). Do r and 51/7 have the same value?
False
Let b(r) = -3*r**2 - 20*r - 7. Let q be b(-6). Suppose 0*s = -q*s + 5. Is 1 bigger than s?
False
Let n be 123/12 - (-5)/(-20). Suppose -2*t + 18 = -3*z, 6 = -z + 4*t - n. Let x(b) = -b**2 - b. Let i be x(-2). Do i and z have the same value?
False
Suppose -3*j - 5*q = -67, -q - 36 = -4*j + 3*q. Suppose -17*i - 87 = -208 + 36. Which is greater: i or j?
j
Let h be 186/(-4)*56/18. Suppose z + 4*z + 730 = 0. Let p = z - h. Which is smaller: p or -2?
-2
Let v = -3.6 + 4.2. Do v and -0.3 have the same value?
False
Let d = 408 - 3674/9. Which is bigger: d or -3/38?
-3/38
Let d = 1.7 + -1.7. Let r(f) = -f**2 + 3*f + 7. Let i be r(7). Let u = i - -19. Which is bigger: d or u?
d
Let j(f) = 2*f - 2. Let u be j(7). Let q be (1/(-4))/(33/u). Let y(d) = 43*d + 300. Let v be y(-7). Are v and q unequal?
True
Let t = 309 - 74. Which is smaller: t or 233?
233
Let u be 8/((-160)/12) + (-116)/(-10). Suppose -8*k + 102 = -u*k. Do -37 and k have the same value?
False
Let a = 3.5 + -0.5. Let l = -108 + 94. Let k = l - a. Are 0.1 and k equal?
False
Let f be (2 + -1 + -3)/(-1). Suppose f*h - h = 3. Suppose -5*r = 2 + h. Which is smaller: 2/23 or r?
r
Let l(x) = x**3 + 18*x**2 - 43*x - 28. Let s be l(-20). Is 35 at most s?
False
Let v be (-16)/10*5/2. Is -2 > v?
True
Suppose 0 = 8*v - 4*v - 4. Suppose 2 = 6*z + 38. Let q = z - -28/5. Which is greater: v or q?
v
Suppose o = 5*n + 9, 3*n = -2*o + 7*o - 23. Suppose -2*i = 5*b + 17, 7*i - 6*i - 24 = o*b. Which is greater: b or -7?
b
Let k be (-3)/9 + 2/42. Suppose -4*b = -2*v + 42, -30 = 2*b + b - 3*v. Let u = 20 + b. Is k greater than or equal to u?
False
Let a = 532 + -531.83. Which is smaller: -1/4 or a?
-1/4
Let n = 0.02 - 4.12. Let d = n + 1.9. Let j = d - -0.2. Which is smaller: j or -2/7?
j
Let u = -12.86 - -10.96. Is u equal to -12/7?
False
Suppose -u + 2 - 1 = 0. Let i be ((-1)/(-2))/(u/(-6)). Let s be ((-3 - i)/3)/2. Is s at most as big as -4/9?
False
Let o = 4 - 2. Suppose b + 1 = o. Let v be 3 + (b - 1) + -4. Is v > -2/3?
False
Suppose -5*x + y = -0*y + 8, 2 = 4*x + 2*y. Which is smaller: x or -4/175?
x
Let m = -816456 + 54681851/67. Suppose -4*x + 722 = 3*f - 526, -4*x + 4*f = -1220. Let h = x + m. Which is greater: 1 or h?
1
Let d be (1 - (-2)/(-4))*0. Suppose 3*o + d*o = -4*a + 39, 2*a = 3*o + 33. Suppose 0 = a*w - 7*w - 5. Which is greater: w or -1.1?
w
Let m = 575 - 1540. Is -967 at least as big as m?
False
Let o be -7*(48/21)/(-2). Is o at most as big as 57/8?
False
Suppose -5*k = 5*u + 10, -5 = 3*u + 2*k + 2. Let n be -4 - (-6 + u)/3. Which is bigger: n or -8?
n
Let y be 1*14*-2 - 2. Let m be (-6 - 12/(-3) - -1) + 1. Suppose -3*p - 87 = -m*p. Which is smaller: p or y?
y
Let c(l) = l**2 + 21*l + 37. Let y be c(-19). Is y bigger than -23/13?
True
Let k be (2/5)/(1/60). Suppose u = 3*x + 22, 3*u + 12*x - 77 = 10*x. Which is smaller: k or u?
k
Suppose 0 = -4*s - i - 2252 + 131, -3*s - 1587 = -3*i. Which is greater: s or -5