ppose -135*q = -148*q + 26. Is 11 smaller than q?
False
Let w be -4 + -1 - 3/(-3). Let g be 34/(-12) + (-6)/(-18). Is g less than w?
False
Let w(m) = -m - 10. Let p be w(-11). Suppose u + 4*j = 19, -3*u + 8 = 2*j + p. Which is bigger: -16 or u?
u
Suppose 13*n - 2*n = -22. Is -10/7 bigger than n?
True
Let n(x) = x**2 + 7*x + 9. Let c be n(-6). Let i = c - 3. Let a = 5398 + -102559/19. Which is greater: a or i?
a
Let i = -3.44 + 3.4458. Which is smaller: i or -1?
-1
Let x = 461 - 459. Let d = -0.16 - -0.2. Is x < d?
False
Let j = -133 + 169. Let i = -30.1 + 30. Which is smaller: i or j?
i
Let u = -47 + 46.74. Let y = 5.26 + u. Which is greater: y or -4/7?
y
Let d = 215 + -127. Let w = -87 + d. Let i = -0.57 - -0.6. Which is greater: i or w?
w
Let c = -56.3 - -39. Let j = -19.3 - c. Let p = 29/2 - 15. Which is smaller: j or p?
j
Let k = -79/28 + 25/7. Let h be 20/35 - 34/35. Is k less than h?
False
Let k(s) = -2*s**2 + 5*s - 14 + 4*s + 4*s + 2*s. Let c be k(6). Is -2 smaller than c?
True
Suppose -d = -1126 + 1133. Suppose 0 = -2*b + 5*u + 6 - 49, -46 = 4*b - 2*u. Is d smaller than b?
False
Let i = 1158 + -574. Is i at most as big as 585?
True
Suppose -7*m + 6*m = -4. Suppose 2*w = 4*t + 2 + 4, -4*t - 11 = 3*w. Let h = w - m. Is -1 smaller than h?
False
Let r = 2222160275/552 - 4025657. Let s = r - 1/184. Which is greater: s or -5?
s
Let a = -78.1 + 78. Is 31 greater than a?
True
Let a(d) = d**2 + 2*d - 3. Let p(h) = 1. Let t(f) = a(f) + p(f). Let c be t(-2). Which is greater: c or -3?
c
Suppose -4*a = a + 2*g + 8, a + 5*g - 3 = 0. Let f be 24/(1/a*-2). Suppose -6*t - f = -8*t. Which is smaller: 14 or t?
t
Let b = 16 + -12. Suppose -17 = -2*a + a - 3*x, -a - 11 = -b*x. Suppose 9 = a*q + 44. Which is smaller: q or -0.1?
q
Let g = -698/2193 + 12/43. Let z = 0 + -2. Which is greater: g or z?
g
Let d = 23 + -20. Suppose -d*q = -q. Suppose -132 = -5*l + v, -l + 0*l + 3*v + 18 = q. Which is smaller: l or 28?
l
Let o = 0.5 - 0.8. Suppose -7*j + 579 = -296. Let a be -3 - 2*j/(-90). Is a less than or equal to o?
False
Let p be (3/45)/(1/(-3)). Let n = -6.07 + 0.07. Let q = n - -5. Is p greater than q?
True
Let u = 8.11 + -8. Let a = 3.89 + u. Let r = -132 - -130. Is a less than or equal to r?
False
Let v = -48691/8 - -6077. Let i = 1393/152 + v. Is i equal to -1?
False
Let u = -2920/187 - -172/11. Is -1 less than or equal to u?
True
Suppose 6 = -2*s - 2*m, -2*m = 2*m. Let w be (s/39)/(((-4)/2)/2). Which is smaller: w or 0?
0
Let t = 4 + -7. Let g = 85 - 84.61. Let z = -2.61 - g. Is t > z?
False
Let h be ((-27)/6)/(0 + 4/(-16)). Is h bigger than 6?
True
Suppose 73*m = 77*m. Is -5/76 greater than m?
False
Suppose 7*m - 320 = -m. Let o = -41 + m. Is o > 40?
False
Let a = 733/2 - 2069/6. Let g = a + -21. Is -1/12 bigger than g?
False
Let q(k) = 4*k + 6. Let x be q(-4). Let j be (2504/x)/((-44)/80). Let i = j + -456. Which is bigger: i or -1?
i
Let i = -0.2 - -0.15. Let j = -0.12 - i. Let h be ((-738)/(-120) + -6)*(-448)/168. Which is smaller: h or j?
h
Let c = -719 + 719. Let i = 92 + -103.9. Does c = i?
False
Let n = 44 - 61. Let v = -61 + 42. Which is bigger: v or n?
n
Let j = 246 - 242. Which is greater: 21/8 or j?
j
Let i be ((-8)/(-4) - 8)/1. Let c(p) = p + 11. Let x be c(i). Suppose -x*a + 5*o + 51 - 6 = 0, 0 = -4*o - 16. Is 4 < a?
True
Let q(t) be the first derivative of -t**5/120 + 5*t**4/12 - t**3 + 6. Let c(u) be the third derivative of q(u). Let i be c(10). Which is smaller: i or -1/7?
-1/7
Let b = 2759/123554 + -9/326. Do -1 and b have different values?
True
Suppose -2*d = -0*d - 2. Suppose 4*p + h + 2 = 15, p - 5*h - 19 = 0. Let y be p*(d - 0)*1. Is y at least as big as 4?
True
Let m be (-1653)/(-7317) - 18/(-243)*-3. Which is greater: m or 0?
m
Let r be (3/8)/(385/132). Do -0.1 and r have different values?
True
Let g(b) = -3*b**2 + 11*b - 22 + 3*b**2 - b**2. Let d be g(9). Is -3 >= d?
True
Let f = -356 - -410. Is f at most 54?
True
Suppose -18*r = -40*r + 3014. Which is greater: 0.1 or r?
r
Let k = 18 + -16. Suppose k*s = s. Is s > 6/11?
False
Let a = -47 + 69. Suppose -b + 10 = a. Which is smaller: b or -10?
b
Let o be (-15)/35 + (7425/2121)/9. Which is greater: -1 or o?
o
Suppose 63 = -d + 3*d + 3*y, 3*y = 3*d - 117. Let f = -67 + d. Which is greater: f or -30?
-30
Let r = -4.74 - -25.64. Let w = r + -21. Is -2/7 < w?
True
Suppose -o = -1 + 5. Let f(w) = -w**2 - 6*w + 6. Let b be f(-7). Let s be b*((o - -2) + 1). Is 4/33 smaller than s?
True
Suppose -h + 5*d + 51 = 0, -2*h - 2*d + 138 = 2*h. Is 3 > h?
False
Let f be 19*(42/49 - (-3)/21). Which is bigger: f or -9?
f
Suppose 5*f + 2*v = 6*v + 92, -5*f - 5*v + 65 = 0. Let u = f + -15. Do u and 6/7 have the same value?
False
Suppose 0 = 632*h - 636*h + 1164. Which is bigger: h or 292?
292
Let u = -62 + 64. Suppose 2*v + 2*v = -3*p + 4, 2*p + 2*v - 4 = 0. Let j = p + 0. Do u and j have the same value?
False
Suppose 3*i + 59 = 14. Let l = i + 5. Let r = l - -7. Is -3 equal to r?
True
Let m(p) = -3*p**2 + 25*p + 31. Let x(g) = 2*g**2 - 12*g - 15. Let o(f) = 3*m(f) + 5*x(f). Let a be o(-14). Is a != 5?
True
Let i = 3.8 + 0.2. Let m = i + -4. Let v be (-204)/1870 + 2/10*1. Which is greater: m or v?
v
Let i = -2368 + 2367. Is i at most 0.113?
True
Let x = -32.036 - -0.036. Let w = x - -66. Which is smaller: w or -1?
-1
Let n = 1 - -8. Let i = n + -8. Let m be i*(-34)/(-46) + -1. Is 0 smaller than m?
False
Suppose 116 = 2*b + 142. Which is greater: b or -88/7?
-88/7
Let f = -19913/36 + 553. Are f and -1 unequal?
True
Let k = 7.2 - 7. Let f = 19 - 20.1. Which is smaller: k or f?
f
Let g = 90 - 89.953. Let i = g - 2.717. Let h = 0.33 - i. Is h equal to 2?
False
Suppose -4 = -v - x, -4*v + x - 2*x + 13 = 0. Suppose 0 = v*l + 2*l - 10. Let f be (21/(-70))/(l/4). Which is bigger: 0 or f?
0
Suppose -8 - 2 = -5*d. Suppose -v = -17 + d. Suppose 4*m - 21 = -4*y + 23, 0 = -m + y + 17. Is m bigger than v?
False
Suppose 0*s = s - g + 11, 4*g + 16 = -2*s. Do s and -16 have the same value?
False
Let p be ((-2)/24)/((-21)/12). Let i(s) = s**3 + 8*s**2 + s + 8. Suppose 2*h = 4*q - 8, 5*q - 42 = 5*h - 12. Let c be i(h). Are p and c equal?
False
Let s be 1/1 - 9/(-2). Let i be 9 + (0/1 - 3). Suppose -41 = -5*k - i. Are k and s non-equal?
True
Let t = -0.125 + 0.425. Which is smaller: t or 253?
t
Let f be (-96)/(-20) - (-1)/5. Let b = f - 1. Which is greater: b or 1?
b
Suppose 0 = 4*a + 7 - 15. Suppose -a = -4*f - 2. Which is smaller: -1/10 or f?
-1/10
Let d = 6.3 - 10.2. Is d greater than 2?
False
Let h be ((-8)/2140)/(4/120). Are h and 1 non-equal?
True
Let d = 10316 - 10317. Let p(y) = -y**2 + y + 1. Let k be p(-1). Is d at most as big as k?
True
Let t(q) = -27*q + 2. Let r be t(9). Let u = -3138/13 - r. Let b = 82/247 + u. Is b at least 0?
False
Let v(m) = -m + 11. Let q be (-17 + -1)/(18/(-12)). Let i be v(q). Is i less than 0?
True
Suppose 60*g - 13*g = 0. Let f be 5/2*3/(-420). Which is smaller: g or f?
f
Suppose 0*t + 5*t + 75 = 0. Let f = -27 + 13. Let g = t - f. Is g greater than -3/10?
False
Let z be -17*(-49)/252 - (-6)/(-8). Which is bigger: 2 or z?
z
Suppose 3*x + 28 = 4*r, -5*r = -0*r - 3*x - 38. Let h = -3 + r. Which is greater: h or 9?
9
Suppose -283*b = -306*b - 8993. Is b less than -391?
False
Let p be (-14)/184*(-2)/4. Let g = 2/23 + p. Let t = 89 + -90. Which is smaller: t or g?
t
Suppose 0 = -5*o + 398 + 67. Let n = o - 92. Is n less than or equal to -14?
False
Let l(y) = -y**2 + 26*y + 4. Let p be l(26). Is 22/5 != p?
True
Let r(u) = -6*u**2 - 3*u - 3. Let t be r(-3). Let f be (t/18)/((-4)/42). Let j be 0 + 2*(-4)/f. Which is greater: 0 or j?
0
Suppose 3*d + u - 1 - 13 = 0, -d = -4*u - 9. Suppose -d*z = -6 - 9. Suppose -5 = z*r + 1. Which is greater: -3 or r?
r
Let c be (-6 + 9)*(1 - 16/12). Is -2/61 >= c?
True
Let h(z) = -3*z + 4*z**2 - 3*z**2 + 4 + 6*z. Let x be h(-3). Suppose -4*j - 32 = -x*g, -3*j + 0*g - 3*g = 42. Which is smaller: -9 or j?
j
Let k = 13/14 - -59/42. Which is smaller: k or 0.2?
0.2
Let x(k) = k - 2. Let u be x(4). Which is smaller: 11/2 or u?
u
Let k be (-61)/(-2) + (-2)/(-4). Let h = k - 18. Suppose -17*d + 114 = -77 - 13. Is d greater than or equal to h?
False
Let s be 0 + 2 + 4 + -8. Let j be (58/s - 1) + 2. Let d be 6/(-70)*j/(-8). Which is smaller: 0.1 or d?
d
Let b be 4