*5. Is t bigger than c?
True
Let f = -47.9 - -50. Let r = -0.537 + 2.437. Let o = f - r. Which is smaller: -3 or o?
-3
Let x be (5/3 - 5 - -5)*-1. Is -0.185 >= x?
True
Let a(x) = -x. Let k be a(6). Let z be 3/6 - (-75)/k. Let d = -8 - -8.1. Is d smaller than z?
False
Let t = 1504 - 1499. Let c = 49 - 35. Suppose -3*r = c - t. Which is smaller: r or 0?
r
Let o = 8.29 - 8.333. Which is bigger: 0.1 or o?
0.1
Let f be 3 - 5 - -6 - 4. Let q(l) = -l + 1. Let h be q(-1). Let y = 3 - h. Are y and f equal?
False
Let q(y) be the second derivative of y**3/3 + 4*y**2 - y. Let n be q(-11). Let t(k) = k**2 + 13*k - 12. Let l be t(n). Is l greater than 3/5?
True
Let j = -0.3 + -0.2. Let n be (-3)/15 + (-624)/(-20). Let s be (1 - -1)/(16/n) + -4. Which is greater: j or s?
s
Let v(x) = -37*x**3 - 4*x**2 - x. Let m be v(-5). Let t be ((-8)/m)/((-12)/(-30)). Let d = t + 487/7701. Is d > 0?
True
Suppose 16*m - 22 = 3*h + 17*m, 0 = -m + 2. Do -66/7 and h have different values?
True
Let s(y) = -70*y - 3978. Let f be s(-57). Let a be 4/14 - (-363)/28. Which is smaller: f or a?
f
Suppose -7*q - 33 + 5 = 0. Is q >= 8?
False
Suppose x = m - 10, 5*m = -3*x + 7*x + 45. Suppose m*l - 4 - 20 = -3*c, -3*c - 6 = -5*l. Is 1 at most as big as l?
True
Let c = 7837007261513 - 5775873196257994/737. Let n = c - 17257202/11. Let d = -1025 - n. Is d smaller than 1?
True
Suppose 22 = o - 5. Suppose 0 = 5*y - 4*y + o. Which is bigger: -51/2 or y?
-51/2
Let w be (-392)/36*-15 + (-1)/3. Suppose -11*q + w = -24. Which is bigger: q or 14?
q
Let t = -8265/4 + 2078. Do t and 5 have the same value?
False
Suppose -14 = 3*l - 6*l + m, 0 = 4*l - m - 17. Let p be (l + (-12)/8)*4. Do p and 4 have the same value?
False
Let l = 276.17 + -276. Which is greater: l or -0.12?
l
Let l = -13588/1463 + 102/11. Which is smaller: l or 2/7?
l
Suppose -1 = -3*p + 23. Is p >= 90/13?
True
Let o = -189 + 2081/11. Is 23 equal to o?
False
Suppose 13393 = 9*x - 68*x. Is x >= -226?
False
Let s = 18.9 + -17.9. Are -0.033 and s non-equal?
True
Suppose 14 = -2*s + 2. Suppose -4*g = c + 22, 12*c + 78 = 7*c - 4*g. Let p be s/c*(-77)/88. Is p equal to 1?
False
Let u be 174/(-8) + (3 - 39/12). Let w = -26 - u. Is -6/5 smaller than w?
False
Suppose 6*v + 58 + 284 = 0. Let d = v - -70. Is 13 bigger than d?
False
Let i(y) = -y**3 + 5*y**2 + 5*y + 8. Suppose -5*x + 5*r = -4*x - 1, 2*r = 2. Let c be i(x). Let f be 44/105 + c/(-7). Is f smaller than -1/5?
False
Suppose 0 = 3*g + 2 - 17. Suppose 3*i = -g*d - 11, 2*d - 4 + 14 = -4*i. Let t = 1773 - 1773. Which is bigger: t or i?
t
Let m be 3/(-18)*(-1 + 3). Let n(j) = -3*j - 4. Let b be n(-1). Is m < b?
False
Let p = -182 - -184. Is 5/14 at most p?
True
Let f = -3.77 - -3.77. Which is greater: -0.0559 or f?
f
Suppose 2*w + 266 - 255 = -h, -3*w - 15 = h. Is w at most as big as 8?
True
Let b be 1/(-5) + (-48)/(-15). Suppose -b*t = 23 + 40. Let v be 1 + t/(-15)*-1. Which is smaller: 1/4 or v?
v
Let p = -11.2 + 12.2. Let y = 0.135 + 6.765. Is p >= y?
False
Let a = -2.64 + 2.94. Which is smaller: a or 9?
a
Suppose 0 = -2*u - 20. Suppose 2*j + 9 = -2*i - 21, 4*j = -i - 45. Are u and j unequal?
False
Let l = -1082 - -1082.7. Which is greater: l or 3/32?
l
Let t be (-16 + 407/22)*2/(-67). Is -2 > t?
False
Let s be ((-6)/(-40))/(12/(-10)). Let k(v) = -v**3 - 9*v**2 - 8*v. Let y be k(-8). Suppose 3 = p - y*d - d, -4*p = -2*d - 6. Which is bigger: p or s?
p
Let m = -1.9 + 1.98. Let l = 0.08 - 0.14. Let b = l + m. Which is greater: 0 or b?
b
Let n = 8 - 5. Suppose -2*y - 5 = 2*h + 7, h - n*y = 10. Let v be h/7 - 36/(-84). Is v <= 0?
False
Suppose 35*y = 40*y - 390. Which is bigger: 230/3 or y?
y
Let b be -2 + 4 + (-3)/(-1 - 2). Suppose -b*w - 12 = -27. Which is greater: 4 or w?
w
Suppose -50 = -5*s + 90. Suppose 14 = 3*t + 2*m, 3*t - 3*m = -t + 30. Let q(z) = z**3 - 5*z**2 - 3*z + 9. Let a be q(t). Is s bigger than a?
True
Let g = -0.269 + 0.169. Let o = -14 - -5. Is g smaller than o?
False
Let d = -45.2 + 42. Let z = d + 6.2. Which is smaller: z or -0.1?
-0.1
Suppose 4*j + 278 = 4*o + 318, 0 = 5*o + 4*j - 4. Let p be 16/(-3) + 2/4. Do p and o have the same value?
False
Let c = -83 - -44. Let t = c - -38. Which is smaller: 6/29 or t?
t
Let p = -10 - -12. Suppose 0 = 99*x - 101*x + p. Let w = -3 + 2. Is w < x?
True
Suppose -2049*a + 2039*a = 10. Is a smaller than 1/1925?
True
Let i = 10 + -10. Suppose -9*b + 8*b + 1 = i. Is b at most as big as 3/7?
False
Suppose -16*k + 24 = -4*k. Suppose 27 - 29 = k*a. Is a > 3/65?
False
Suppose 1 = 3*v + 1. Let u = 160 + -1765/11. Which is smaller: u or v?
u
Let z be ((-270)/9)/5 + (-1996)/(-330). Which is greater: 1 or z?
1
Let d(z) = z - 4. Let t be d(2). Let b be (-4)/(-2) - (-3 + (2 - -1)). Let h be 4*(-1 + b + t). Which is greater: 0 or h?
0
Let o be -2 + (-4)/22*-12. Let c = -13.8 - -12. Let v = c + 1.6. Is v greater than o?
False
Let j(n) = 8*n + 9. Let h be j(-9). Let c = h + 46. Which is greater: c or -15?
-15
Let k be -2 + (-2)/3*-6. Let c be 2*1/k*5/10. Which is bigger: c or 9?
9
Suppose -876 = -3*p - 117. Let w be (2/18)/(p/(-66)). Let q = -40 - -39. Is w at least as big as q?
True
Suppose 31 - 23 = -2*o + h, o + 11 = -3*h. Let k(t) = -t**3 + 3*t**2 + t + 5. Let u be k(4). Which is bigger: u or o?
o
Let r be ((-20)/60)/(2/(-6))*-29. Which is smaller: r or -34?
-34
Let u(o) = 3*o + 10. Let h be u(-2). Suppose 13*b - 14*b - h = 0. Is b less than 18?
True
Let l(y) = y + 1. Suppose f = -r + 4, 4*r + 0*f + f - 1 = 0. Let g be l(r). Which is greater: g or 1/4?
1/4
Suppose -4*p = 8 + 8. Suppose -20*a = -24*a. Suppose 3*v + 4*o + 17 + 10 = a, 0 = v - 4*o - 7. Is v >= p?
False
Let l = -66 + 8. Let z = l - -69. Is 11 greater than or equal to z?
True
Let p(m) = -2*m - 8. Let k be p(-6). Let n be (-77)/(-70)*5 - 2. Which is smaller: k or n?
n
Suppose -50 = -4*k + 18. Suppose k = t + 19. Which is bigger: 2 or t?
2
Let j be 17/((-5)/10*-2). Let c(f) = -f + 18. Let y be c(j). Is -1 less than y?
True
Let g = -21.8 - -22. Let b = -23 + 13. Let p = b + 13. Which is smaller: g or p?
g
Suppose -25*x + 2 = 77. Is -3 at least as big as x?
True
Let b = 174 - 164. Which is greater: b or 14?
14
Suppose 11*p = -178 - 207. Let m be (1/(-7))/((-90)/p). Is m equal to -5?
False
Let b be 11 + -14 - (-8)/3. Let a = 10 + -9. Let r be a*0*4/20. Do b and r have different values?
True
Let u(z) = z + 9. Let f be u(-9). Let h = -12 - f. Let i be -1 + -1 + 2 + h. Is -11 smaller than i?
False
Let w = 11/3 + -13/3. Let x be 1 - (-3 - -2) - (-20)/(-2). Let j be x/(-20) + (-6)/3. Which is smaller: j or w?
j
Let q = 7597 - 174761/23. Which is smaller: 0 or q?
q
Let x = 0.996 + -0.806. Which is bigger: x or 2/5?
2/5
Suppose 2*w + 1 = 3*w. Suppose 0 = -2*k + 3 + w. Suppose 0 = 4*p - 4*h + 16, -k*h = -0*p + 3*p - 3. Which is smaller: p or -1/2?
p
Let u be 6/3 + 64/(-30). Suppose 7 = 3*p - 8, -3*p = -2*y - 15. Suppose -5*b + n = 0, -5*b - 2*n + n - 10 = y. Does u = b?
False
Let s be (-16)/56 + (-60)/(-14). Suppose -4*b + r - 20 = 0, s*b - 3*r = 2*r - 20. Let t be b/2*(-10)/(-25). Is 0 < t?
False
Let x be ((0 - 2) + 2)/((-10)/(-5)). Let s(r) = r - 4. Let y be s(3). Let p be 52/(-18) - y*2. Is x less than p?
False
Let r be (((-6)/28)/3)/(308/(-112)). Is 1 <= r?
False
Let l be 0*(-70)/(-112)*4/(-10). Which is greater: l or -3/220?
l
Let k = -1563/11 + 142. Let r = -4908 - -4904. Which is smaller: k or r?
r
Let l = -642 + 477. Which is greater: -164 or l?
-164
Suppose -11 = -a + 2*f, 3*f + 9 = 2*a - 8. Suppose 2*t + 3*t = 3*q + 14, 2*t - 5 = q. Is t < a?
False
Let o = -480 - -466.58. Let l = o + -0.58. Which is bigger: 0 or l?
0
Let k = -7 + -6. Let g be (-2)/(-7)*28/4. Which is smaller: g or k?
k
Let v = 9 - 7. Let u be -2 + 20/(v + -1). Let f be ((-1)/3)/(2/u). Is -15/4 greater than f?
False
Let x(l) = 2*l + 15. Let y be x(-5). Suppose m - y = -0*m. Which is bigger: m or 8?
8
Suppose -201 = 3*g - 3*k, 0 = -7*g + 12*g + k + 317. Let s(j) = j**3 - j**2 - 3*j + 4. Let p be s(-4). Is g at most as big as p?
True
Let d be (11 + -1)/((-5)/20). Let g = 34 + d. Which is smaller: g or -8?
-8
Let i = -309 + 313. Is 4 at least i?
True
Let l = 138 - 4000/29. Suppose 0 = -3*w - i + 3, 0*i + i - 3 = w. Which is smaller: l or w?
w
Let n be 130/715 + 3242/(-17952). Are 1 and n equal?
False
Let l = 807 + -16