s m at least as big as l?
True
Let t = 310.8 - 311. Which is smaller: 71 or t?
t
Let m = 797 - 814. Is -14 less than or equal to m?
False
Suppose -15*s - 20*s = -5*s. Suppose 4*n + 10 - 2 = 0. Which is smaller: n or s?
n
Let f = 62 + -44.6. Let s = 54 - 37. Let w = s - f. Is w at most 1?
True
Let c = -12.3135 - -1.3315. Let p = c + -0.018. Which is bigger: -0.1 or p?
-0.1
Let g = -8 + 64. Let f = g - 49. Is 4 at most as big as f?
True
Let h be (-306)/42 + 3 - (-4)/14. Let j be h/(-2)*(-4 + 1/1). Which is bigger: j or -17?
j
Let u = 0.381 - -0.619. Which is greater: -10 or u?
u
Let t be 1/4*-1*-12. Let y(h) = 3*h + 2*h - 4*h - 2*h**3 - 2*h**2. Let w be y(-2). Is t at least as big as w?
False
Let f be ((-2)/(-3))/(3/108). Let j(s) = -s**2 + 125. Let g be j(-10). Are f and g non-equal?
True
Let x = 133 - 138. Let r be 2/x + 14*(-27)/(-970). Are r and -1 non-equal?
True
Let d be (6 - 0) + 0 + 1. Let z = 37 - 27. Suppose -40 + z = -5*q. Does d = q?
False
Let h(q) = -9*q - 81. Let l be h(-9). Do -1/36 and l have different values?
True
Suppose 0 = -4*k + k + 5*u - 16, -3*u + 6 = 0. Is -24 greater than or equal to k?
False
Let p = -8 - -12. Suppose -95 = -3*j - 53. Let u be 108/63 + p/j. Which is smaller: 4 or u?
u
Let q be (3*(-2)/5478)/(-1)*-1. Which is smaller: -1 or q?
-1
Suppose 5*m + 30 = 7*m. Which is smaller: 12 or m?
12
Let x = -3115 + 3050. Are -49 and x equal?
False
Let w = -4 + -10. Let p be 4/(-6)*42/w. Which is greater: p or 1?
p
Suppose -4*u = -3*f - 0*f + 103, 5*u = -4*f - 90. Let z be (2 - u) + 2/(-2). Is z != 22?
True
Let q = -1165 - -622. Which is smaller: -0.1 or q?
q
Let y(n) be the first derivative of -n**4/4 + 8*n**3/3 + n**2/2 - 4*n - 10. Let u be y(8). Which is smaller: 18/5 or u?
18/5
Let v = 1944 + -1084. Does 860 = v?
True
Let x(s) = -s - 19. Let m be x(0). Let d be (-2 - -5)*-7 + 3. Which is smaller: m or d?
m
Let g be (-6)/(-1) + 212*(-1)/4. Are g and -191/4 unequal?
True
Suppose 0 = w - 30 - 5. Suppose -5*t + w = 10. Which is bigger: 7 or t?
7
Let w be (-179)/13 - (28/(-12) + 3). Let j = w + 4/39. Which is greater: -13 or j?
-13
Let m = 1130 - 1128. Is m less than 84/55?
False
Let x be 52327/(-132) - (-2)/(-6). Let b = x + 399. Is -2/3 greater than b?
False
Let r = 121 - 113. Let q = -1 - -1.2. Which is greater: r or q?
r
Suppose 5*s = 3*g + 256, 3*g = 2*s - 4*s + 94. Let n be (4/3)/(s/(-45)). Which is smaller: -2 or n?
-2
Let n = 18 + -13. Suppose -l + w + 0*w = 6, n*l - 4*w = -29. Let p = l + 3. Is -10/9 > p?
True
Suppose -57*k - 2 = -56*k. Let c be k*(3 + 0)/(12/(-8)). Is 5 smaller than c?
False
Let b be 0/(4 - (-12)/(-4)). Let f(x) = 2*x**2 - x - 1. Let q be f(b). Do q and -3/11 have the same value?
False
Suppose -7*u = -10*u. Do 1/111 and u have different values?
True
Let i = 163.1 - 186. Let c = 24 + i. Let z = 1.1 - c. Which is bigger: -7 or z?
z
Let p = 452.536 - 423.6. Let g = p - -0.064. Is g >= 1/3?
True
Let k be (2 - 3/(-3)) + -2. Let z = 287 - 3730/13. Which is smaller: z or k?
z
Let f = -829144/3075219 - -23/8289. Let b = -1/53 + f. Let p(g) = 220*g + 659. Let n be p(-3). Which is smaller: n or b?
n
Let v be 12/20*2/(-6). Let t = -1.32 + -1.68. Which is smaller: v or t?
t
Let t = -21 + 19. Let g be 3 + (-5)/(-2)*t. Let w be (-3)/g*(-4)/(-6). Does 1 = w?
True
Let b = 34 + -30. Let x(v) = -3*v + 13. Let o be x(b). Are o and -5 non-equal?
True
Let k be (140/(-44))/(3/12). Is k at most -13?
False
Suppose -6 = 2*j + 2*n, -18 = 4*j - n - 6. Let r be j*(-10)/15 + -2. Which is bigger: -1/83 or r?
r
Suppose 5*h = -306*p + 302*p - 7, -3*p = 2*h + 7. Is 6/977 <= h?
True
Suppose 2 = -5*l + 7*l. Is -6/31 greater than l?
False
Let v be 0 + 7 + (-780)/144. Is v bigger than 1?
True
Let z be 3*(-2)/9 - 165356/(-248637). Are z and 0 equal?
False
Let w = -12.57 + 11.37. Do w and -0.6 have the same value?
False
Let q = -629579/19 + 33128. Do q and -9 have the same value?
False
Let m = -1966 + 29552/15. Let w = m + -24/5. Suppose 0 = 5*b - 20 + 30. Which is smaller: b or w?
b
Let g = -12974/7 - -1844. Is 0.2 at least g?
True
Let f(r) = -r**2 - 5*r - 1. Let q be f(-5). Let v = -457194 + 53492297/117. Let g = -44/9 + v. Which is greater: g or q?
g
Let o = -121/4 - -31. Let c = -5 + 10. Suppose c*k = k. Which is greater: k or o?
o
Suppose 0 = 5*w - 10, -4*w + 5 = 2*y - y. Let r = -3 - y. Let s be (-6)/2 + -1 + r. Is s > -5?
True
Suppose 16*m - 73 = -89. Is -7/136 <= m?
False
Let k = 16 - 13. Suppose 6*q - q - k*v - 6 = 0, 0 = 3*q + 5*v - 24. Let p be 4*2/4 - 1. Which is greater: q or p?
q
Let f = -15.8 - -14. Let x = f + 1.4. Let r = -3.6 + x. Is r > -2?
False
Suppose 16*o - 36 = 4*o. Let d = 3 - 3.06. Is d smaller than o?
True
Suppose 2*r = -3*c + r + 1, -2*c - 1 = -r. Suppose x = -q - c*q + 5, -22 = -4*q - 2*x. Let g = 3 + q. Which is smaller: 8 or g?
8
Let z = -22948/623 + 258/7. Which is greater: 0 or z?
z
Let p = 26 + -27. Let q = -2 + 4. Suppose -4*l = a + 29, -2 = 4*a + q. Is l greater than p?
False
Let r(j) = -j**2 + j - 11. Let x be r(6). Is -42 at most as big as x?
True
Suppose 34 = 73*s - 74*s. Let a = s + 34. Which is smaller: 2/51 or a?
a
Let u = -12 + 15. Suppose -c + 3*k + 18 = 0, c + 2*c - 2*k = 19. Suppose 0*l - c*l = -3. Is l at most as big as u?
True
Let t = -31 + 31. Which is smaller: 1/27 or t?
t
Let u(f) = 4*f + 5*f**2 + f**3 + 2 + 0*f**2 - 12*f**2 + f**2. Let t be u(5). Is t < 2?
True
Let j = -181 + 198. Which is smaller: j or 16?
16
Let o = -155120/11 + 14112. Which is bigger: o or 10?
o
Suppose 3*k + 2*l - 14 = 5*k, -5*k - 5*l + 15 = 0. Let u be 1/(-2) - 75/30. Let g be ((-2)/u)/((-18)/27). Which is smaller: g or k?
k
Suppose 3*v = v + 8. Suppose -v*m + 44 = -0*m. Suppose 14*x = m*x + 3. Which is greater: x or 10/11?
x
Let c be (-184)/(-32)*-4 + 5. Which is bigger: -4 or c?
-4
Let b = -22 - -25. Suppose 0 = -11*q + b*q + 8. Which is greater: -1 or q?
q
Let r(k) = -53*k - 1. Let v be r(0). Is v equal to 3/1346?
False
Let a be (-1 - 4)*(5 + 156/(-30)). Is a < 20/89?
False
Let a(b) = -b**2 + 6*b - 9. Let x = -17 + 25. Let s be a(x). Let k = s + 57. Is k >= 31?
True
Suppose -4*m = -3*f - 7, 0 = -2*f - 0*m - 2*m. Which is smaller: f or -12/151?
f
Let r = -7944/5 - -1597. Which is smaller: 8 or r?
8
Suppose 14*x - x - 208 = 0. Let q(a) = 2*a**2 - 33*a + 14. Let g be q(x). Let t be (-1)/(3/10) - -1. Is g greater than or equal to t?
True
Let m(y) = -28*y + 22. Let u be m(1). Which is smaller: -1/3 or u?
u
Suppose -d - 83 + 85 = 0. Let g be (-160)/56*3/(-4). Which is smaller: g or d?
d
Let o = 5 + -5.27. Let v = -78.9 - -79. Which is bigger: v or o?
v
Let u = -136/3 + 46. Which is smaller: 6/31 or u?
6/31
Let t = 879 - 9683/11. Let c be 0 + 3 + 2/(-4)*8. Are t and c nonequal?
True
Let a(n) = -n**3 - 17*n**2 - 60*n - 8. Let q be a(-8). Let k = 4302 + -8807/2. Let t = q - k. Is t less than or equal to -4?
False
Let u be 5/5 - (-4)/(-6). Let q = -2/3 + u. Suppose 3*d + 0 + 3 = 0. Is q at least as big as d?
True
Suppose 3*u = -11 + 2, -4*x - 4*u + 432 = 0. Suppose m + 0*l - 94 = 4*l, -4*m - l = -444. Which is bigger: m or x?
x
Let i be ((-10)/(-6))/(1*(-20)/(-24)). Let k = -780 + 8592/11. Which is smaller: k or i?
k
Suppose -p - 4*p = -2*h - 16, 3*h = 5*p - 14. Suppose g = 5*z + 40, -g + h*g = 0. Which is smaller: z or -6?
z
Suppose 3*n - 6*n - 10 = -4*a, -5*a - 2*n + 1 = 0. Is -2/147 less than or equal to a?
True
Let g be (-2 + 44/33)/(1/9). Do g and 1/26 have different values?
True
Let b(d) = 5*d - 5. Let t be b(5). Suppose -t = 5*r, 3*r = -0*f + f - 12. Let i = 21/13 + -239/156. Which is greater: f or i?
i
Let w be 1/(-15) + 0/2. Suppose -a - 4 = -13. Suppose a = 12*m - 3*m. Does w = m?
False
Let k be 2*((4 - 1) + -1). Suppose k*t = 9*t - 45. Let z = t - 8. Which is smaller: z or -2/15?
-2/15
Suppose 0 = -4*r + 5*a - 552, -3*r - 67*a + 63*a - 445 = 0. Which is smaller: r or -144?
-144
Let k(h) = h. Let p(n) = -12*n + 47. Let c(q) = -6*k(q) - p(q). Let l be c(10). Let v = 13 + -1. Which is greater: l or v?
l
Let r be 0 + 1 - 1/1. Suppose 1354 = -5*d + 29. Let y = 1331/5 + d. Which is smaller: r or y?
r
Let p = 25 + -26. Let q be (-2)/p*(-2)/2. Which is greater: q or -4?
q
Let h = 28 + -16. Let b be (0/(h/(-4)))/2. Suppose 3*l = 3*w - b*l + 15, -3*l = 3*w + 33. Which is bigger: -7 or w?
-7
Let s(d) = -136*d**2 + 