s smaller: 1/13 or c?
1/13
Suppose 12*n = 13*n - 5. Let l(b) = -b**2 + 4*b + 11. Let q be l(n). Which is smaller: 7 or q?
q
Let w(l) = 7*l**3 - 50*l**2 + 7*l - 3. Let x be w(7). Which is smaller: x or -19/12?
x
Let u(l) = -29*l - 55. Let g be u(-4). Which is bigger: 66 or g?
66
Let w be 294/8 + (-15)/20. Let h = w - 36. Is -2 at most h?
True
Let b(c) = c**3 - 4*c**2 + 7*c - 8. Let z be b(3). Suppose -4*g - 2 = 2*h, 4*h - z = -2*g - 2. Which is greater: h or -1/7?
h
Let i be (-876)/120 + (1/(-2) - 0). Let f = i + 8. Is f not equal to 0.01?
True
Let t = 1689 - 1603. Which is smaller: t or 423/5?
423/5
Let p(z) be the first derivative of z**4/4 - 5*z**3/3 - 5*z**2/2 + 15*z + 22. Let j be p(5). Which is greater: -11 or j?
j
Let i be (-324)/(-44) + (-3)/1. Let a be (225/(-20))/((-11)/(-5)). Let s = i + a. Which is bigger: 0 or s?
0
Let s = 206 - 1641/8. Suppose 3*k - 2*j = 0, 2*j - 5*j + 11 = k. Do s and k have the same value?
False
Let y = 8/177 + -1162/17877. Let j = -110 + 116. Suppose -n = j*n. Are y and n equal?
False
Let f = -0.73 - 53.27. Let b be (-135)/840 + ((54/8)/(-9))/6. Which is greater: b or f?
b
Suppose -2249 = 5*r + 51. Let y be (-3)/(-20)*r/24. Which is smaller: -3 or y?
-3
Let i be (-39 + 13)/(2/(-14)). Let a = -2911/16 + i. Which is bigger: 1 or a?
1
Let q = 70.5 - 69.3. Which is smaller: q or -15?
-15
Suppose 2*h = -3*i - 0*i + 4, 3 = 5*h + 4*i. Let g be (-48)/(-104) + h + 1. Is 0 not equal to g?
True
Let q = -61.3 - -59. Let n = q + 2. Is n >= -5/4?
True
Let z be 18/24 - (-669)/84 - 3. Let s be 2/((-26)/10 - 12/(-4)). Is z <= s?
False
Let y = -4.6 - -5.6. Let u = -0.2 - -0.02. Which is greater: u or y?
y
Suppose 4*u - 2*u - 5*y - 36 = 0, -84 = -4*u + 4*y. Suppose 375 = m + 14*m. Is m > u?
True
Suppose 0 = -4*a + 4*d + 28, -2*a + 5*d = -0 - 26. Suppose 0 = 4*u - 3*u - 3*j + 2, -a = -2*u - j. Which is smaller: u or 0?
0
Let i be 2/3*3/4. Let g = 186 - 184. Which is greater: g or i?
g
Let g = -10.11 + 11. Let y = g + -0.19. Let n = 0.3 + y. Which is bigger: n or 3?
3
Let q = 799 + -5584/7. Let z = -110 + 122. Let a(y) = -y + 14. Let u be a(z). Are u and q equal?
False
Let f = -58892/1503 - 322/167. Let y(c) = c**3 - 4*c**2 + 2*c + 6. Let j be y(5). Let v = j + f. Is 0 >= v?
True
Let l be 14/98 - (-58)/(-553). Is -2 less than or equal to l?
True
Suppose -2*r - 14*d - 12 = -11*d, -12 = r + 3*d. Suppose -g - 6 = g. Let k(u) = -u**2 - 2*u + 4. Let i be k(g). Are i and r unequal?
True
Let q = 232 + -2550/11. Let k be (-3)/(-9)*3*5. Suppose -2*r + 15 = r, -4*r + 35 = -k*l. Which is greater: q or l?
q
Let n be (-3 + 1)/(43 - 41). Which is bigger: 11 or n?
11
Let t be (-40)/(-260) + (-5614)/(-13). Is 432 less than or equal to t?
True
Let f be -1 + (1*-2)/1. Let c be 4/(-10) + 32/(-20). Let q be c - (-2 - f - 4). Which is bigger: 2/5 or q?
q
Suppose 0 = -5*b - 4*z + 36, 2*b + 4*z - 4 - 8 = 0. Which is smaller: b or 9?
b
Let u = 1.01 - 0.01. Let a = u - 2.8. Let o = a - -2. Is o less than -0.4?
False
Let u be (78/3)/((-70)/755). Let p = -281 - u. Let w = p - -1/14. Which is greater: w or 2/27?
2/27
Let a be 18/30 - 81/(-15). Let i = a + -1. Let p be (-2)/(-4) + (-33)/(-6). Which is smaller: p or i?
i
Suppose 0 = 8*d - 4*d + 68. Let w = 25 - 24. Let x be (-16 - (3 - -1)) + (w - -2). Are x and d equal?
True
Let f be ((-12)/(-32))/((-18)/(-4)). Suppose 0 = z + 3 - 0. Let m = z + 5. Which is greater: m or f?
m
Let i(m) = m**3 + 8*m**2 + 7*m + 1. Let j be i(-7). Let u be (6/(-39))/(j*1/3). Which is smaller: -2 or u?
-2
Let d(k) = -k**3 + 4*k**2 - 4*k. Let z be d(3). Let u = z + -1. Let p be (-2 - -3) + u + 1. Is p at most 2?
True
Let v = 26 + -15. Let h = 562.9 - 563. Which is smaller: h or v?
h
Let f = 0.0544 + -0.1044. Is 0.59 > f?
True
Let k be ((-12545)/(-35) - -1)*1/2. Let w = 180 - k. Which is smaller: w or -1?
-1
Suppose -18 = 5*d + 2*t - 3*t, d + 3*t - 6 = 0. Let j be ((-16)/(d - 1))/2. Suppose -5 = -j*h - 3*h. Which is smaller: h or 12/5?
h
Let g be 67/3 + 2/3. Let t = 479 - 456. Do t and g have the same value?
True
Let c(v) = 4*v**3 + 6*v**2 - 11*v + 10. Let u(y) = -y**3 + y - 1. Let g(h) = -c(h) - 5*u(h). Let f be g(5). Let m = 147 + -1031/7. Which is greater: f or m?
f
Let n = -107723/188 - -573. Let t = -22187/564 + n. Let l = 39 + t. Which is bigger: l or -1?
l
Let w be 2/(-10)*(-10)/(-8). Let b be 10/4*(-4)/5. Let h be ((-1)/b)/(1/2). Is h at most as big as w?
False
Let c(m) = -m**2 + 4*m - 3. Let r be c(2). Suppose i - r = 3*i - w, -5*i = -4*w - 5. Let t = 8.8 - 9. Which is bigger: t or i?
t
Let d = -1420603/7 - -202598. Let u = 344 + d. Let y = 1 + -1. Which is smaller: u or y?
u
Let a = 132 - 133. Is 1/5 greater than a?
True
Suppose -3*y = -193 - 44. Suppose 0 = 4*b - 5*z - 242, -3*z + 15 = -b + y. Is 1 less than b?
True
Let g = -1452 - -1464. Which is bigger: g or -66?
g
Let s = -594148/425 + 1398. Is s greater than or equal to 1?
False
Let j = -50 + 53. Suppose v + j = -3*m, -1 = v - m - 2. Let o be (-1)/25*2 - 0. Which is bigger: o or v?
v
Let c = 30 - 28. Suppose -c = -6*y + 4. Do 1 and y have different values?
False
Suppose 10 = -2*g - 5*q - 7, 5*g - 2*q = 30. Let a be (-2)/(-6) + (-268)/(-6). Let z be ((-2)/g)/(a/27). Is -1 at least as big as z?
False
Let o be 10/105 - (-2)/(-7). Suppose 4*s - l = 1, 2*l = 3*s + 3 - 0. Is o at most as big as s?
True
Let r = -1.51 + 1.57. Is -6 equal to r?
False
Let g(r) = r + 24. Let k be g(0). Suppose -5*c = 4*p - 128, -3*c = -5*p + 9*p - 80. Is k greater than or equal to c?
True
Let d = -26 - -27. Let f be (-3)/(18/(-14)) - 0. Which is greater: f or d?
f
Let k = 0 - -3. Let x = 45.8674 - -0.0326. Let h = 46 - x. Is h less than or equal to k?
True
Let k = 9/425 + -2/25. Suppose 0*u = -4*r + u - 9, -2*r - 22 = -4*u. Is r > k?
False
Suppose 4*u - 13 = -5. Suppose 2*q - 8 = -0. Suppose -q*b + 4*x = -16, 5*b - b - x - 1 = 0. Is u <= b?
False
Let t = -46 - -45.91. Let j = 14 + -15. Is j < t?
True
Suppose 4 = 5*d - 6. Let f be 105/63 - d/3. Are f and -8/25 unequal?
True
Let s be 2/(-34)*-15 + 2 + -3. Which is smaller: s or -48?
-48
Let o(y) = -11*y - 250. Let w be o(-18). Does -33 = w?
False
Let a = -322 + 327. Is a equal to -1?
False
Suppose -6*g + 20 = -g - 5*w, 0 = -w - 2. Suppose 0*u + 12 = g*u. Suppose -8*v - 16 = -72. Which is smaller: v or u?
u
Let l = -213.995 - -214. Let x be ((-2)/(-6))/(32/24). Is x less than l?
False
Let j be (10 + -5)*-1 - -55. Suppose 2*p - 99 - 3 = 2*n, -2*p - 2*n = -94. Which is smaller: p or j?
p
Suppose 6*m = -7*m. Suppose -2*c + 4*c + 4*c = m. Is -7/11 greater than or equal to c?
False
Let t be (-1)/3*1*-6. Let a be ((-21)/1)/((-4)/t). Let l = a - 11. Which is smaller: -1 or l?
-1
Let f(w) = -w**3 - w**2 + w + 55. Let d be f(0). Let a be (-10)/d + 94/154. Let o = a + 19/21. Does o = 2/7?
False
Let o(r) = 3*r**3 + 33*r**2 - 78*r - 3. Let n be o(-13). Is n less than -2.4?
True
Suppose -t - 3 = -18. Let y be 18/45 - 21/t. Which is bigger: y or 4/9?
4/9
Let r = 27 + -91. Let k be (4/18)/(4/(-6)). Which is bigger: k or r?
k
Let x = 3661 - 14553/4. Let p = x - 81/4. Let n = p + -2. Is n at least -5?
True
Let t = 19 - 22. Let m be (10/28)/(t/6 + 1). Is 1 < m?
False
Let o = -10.07 - -10. Let t = 2.5 - 2.67. Let x = o - t. Is x bigger than -4?
True
Let x = 7 - 5. Suppose -5*l = 3*q - 229, 1 - 98 = -2*l - 3*q. Let s be 77/l - 2/(-8). Is x equal to s?
True
Let m be (-7 - -1)*(-2)/4. Let q be -2 + ((-38)/(-7) - m). Is q at least as big as -1?
True
Let g = -0.1 + 0.1. Let w = 53/5 + -11. Which is bigger: w or g?
g
Let v(t) = 53*t - 60. Let o be v(1). Does -22/3 = o?
False
Let l = 12 - 30. Let w be (-1)/((-1)/3) - 20. Which is smaller: w or l?
l
Let n be 3/(-9) + 10/66. Let r = 286 + -286.06. Which is smaller: r or n?
n
Let u = -2961 + 2872.16. Let g = -92 - u. Let t = g - -0.16. Is t not equal to 0?
True
Suppose 5*u - 112 = 2*i, -i + 3*u + 21 - 78 = 0. Which is smaller: -52 or i?
-52
Let m = 3 + -4. Suppose -5 = -2*x + 3. Suppose 4*g - 6*o = -o - 11, -x*o - 11 = -g. Is m > g?
True
Let i(k) = -20*k - 304. Let l be i(-14). Is l <= -34?
False
Suppose -6*y = -y - 10. Let g = -157485/82 - -1921. Let m = 2/41 + g. Is m smaller than y?
True
Let k = 258 - 253. Which is greater: -2 or k?
k
Let v(p) = -11*p**3 + 2*p**2 - 1. Let b be v(1). Let i(n) = -6*n - 3. Let r be i(-2).