 0. Let r be (1 - 2) + 0 + p. Suppose 3*i + 4*d - 17 = r, 5*i + 7*d = 3*d + 15. Is -2/5 smaller than i?
False
Suppose -16 = -l + 4*k, l + 5*k + 9 = -2. Suppose 5*f = -l*u + 5 - 1, 0 = -f - 2*u + 2. Which is bigger: 3/4 or f?
3/4
Suppose a = 4*m - 1, -5*a + 0*m + 39 = 2*m. Let k(y) = y - 8. Let j be k(a). Which is smaller: 1/3 or j?
j
Suppose 6 = 2*k - k. Suppose 4*y - y - k = 0. Let s be 6/8*1/(-3). Is s greater than or equal to y?
False
Let w = 69 - 1381/20. Which is smaller: w or -1?
-1
Let v = 37 - 44. Is v != -7?
False
Let t(m) = -m**2 + 5*m + 3. Let l be t(5). Suppose l*o - 6*o = 0. Suppose 2*q = 4 - 6. Which is smaller: q or o?
q
Let q be (-1 - 1)*(10/(-4) + 3). Suppose f + 5*n - 4 = -2*f, 0 = n - 2. Which is smaller: f or q?
f
Let p = -25 + 173/7. Which is bigger: 0 or p?
0
Let s = 44 + -46. Is s smaller than 24?
True
Suppose 29 = 4*m - 4*p - 19, -p + 23 = 4*m. Suppose 0 = 2*q - 4*k + 10, 0 = 2*q - m*q - 5*k - 55. Which is smaller: -8 or q?
q
Let x be 2 + -1 - 1*(-50)/12. Is x <= 4?
False
Suppose -5*g + 29 = b, -b - 2 = -2*g + 4. Is b at most as big as 4?
True
Let v = -92 - -100.9. Let d = -9 + v. Which is smaller: 1/2 or d?
d
Suppose 4*g = -5*g. Let n be -5*(0 - (-1)/(-1)). Is g < n?
True
Let h be 2 + -2 + (-389)/(-72). Let d = h + -45/8. Suppose 3*l + f + 5 = 0, -4*l - 4*f = -12 + 32. Do l and d have the same value?
False
Let v = 3.5 + 0. Let s = v + -3. Let q = -0.5 - s. Are q and 0.4 non-equal?
True
Let b = 22 + -20. Suppose 4*i - 16 = 3*l, -b*l - 4 = -i + 2*l. Are 4 and i unequal?
False
Suppose -5*q + 12 = -9*q. Which is greater: 0 or q?
0
Let y = 0.254 + 0.146. Let o be -3 - 2*(1 - 2). Which is smaller: o or y?
o
Let b = 9 + -8.86. Let o = b - 0.12. Is o greater than or equal to 0.2?
False
Let r = -18 + 19. Which is smaller: r or 0.2?
0.2
Let w = 15 - 8. Let f = 6 - w. Let a be (-2)/(-2) - (0 + -1). Are a and f equal?
False
Let n = 17 + -6. Which is bigger: n or 12?
12
Suppose 5 = -2*d - 3. Let n be ((80/6)/4)/((-16)/24). Is n != d?
True
Suppose -5*y + 0 - 5 = 0. Let a be (-14)/(-35)*3/6. Is y greater than or equal to a?
False
Let g(z) = z**2 + 6*z + 4. Let f be g(-6). Let v be f/14 - 4222/5712. Let t = -4/51 - v. Is 1 > t?
True
Suppose 2*l + 0*l - 20 = f, -5*l = 2*f + 31. Suppose -3*q + 3*o = 0, 16 = 3*q + 2*q - o. Let g be f/30 - q/10. Is g bigger than -2?
True
Let j be (-40)/12 + (3 - 0). Which is greater: j or 0.06?
0.06
Let w(k) = k**2 + 5*k - 7. Let g be w(-7). Which is smaller: 9 or g?
g
Let v = -437/13 + 35. Which is smaller: v or 1?
1
Let o be (-1 - 0)/(0 + -1). Suppose 5*l = 5*w + 300, -31 + 281 = -5*w - 5*l. Let x be o/(-6) - w/(-30). Is -3 at least x?
False
Let g(a) = -2*a - 17. Let d be g(-7). Which is bigger: d or -5?
d
Let s be ((-12)/24)/(9/4). Which is greater: -8 or s?
s
Let m = 0 + 10. Suppose -4*b - 2 = m. Is -3 bigger than b?
False
Let c(j) = -j**2 - 16*j. Let x be c(-13). Is x greater than or equal to 38?
True
Let x be ((-12)/8)/(6/(-32)). Which is smaller: x or 10?
x
Suppose 3*r = -3 - 18. Is -12 equal to r?
False
Let o = 0.28 + -0.08. Let j = -17.8 + 15. Let u = j - o. Which is bigger: u or 0?
0
Suppose 6 = -5*v + d + 2*d, -5*v - 3*d + 6 = 0. Let b = 8 - 6. Let y be ((-1)/2)/((-1)/b). Which is smaller: y or v?
v
Let i = -4 + 8. Let y be 2/(-3)*6/i. Let v = -4 - y. Is -3 at least as big as v?
True
Let b = 4.4 + -1.4. Is -0.1 bigger than b?
False
Suppose 74 = 4*h - 5*l + 249, -5*l = -3*h - 130. Let i be (-2)/7 - h/35. Let b be (-2 - -2) + (-4)/10. Which is greater: i or b?
i
Let h be 2*-2 + 544/144. Which is smaller: 5 or h?
h
Let x(t) = t**3 - 10*t**2 + 9*t + 1. Let j be x(9). Which is greater: 1/8 or j?
j
Let s = -0.6 - 2.4. Let f = 6 + s. Let c = -2.9 + f. Which is smaller: -2 or c?
-2
Let t = -6/77 + -8/77. Which is smaller: 0.2 or t?
t
Let s = 39 + -38. Which is greater: 4 or s?
4
Let d be 2/(-12)*(-4)/(-5). Let z be 6/18 - 22/(-6). Suppose 0 = -z*a - 4 - 0. Which is smaller: d or a?
a
Let v = 0.01 - -0.19. Let p = -17 + 33/2. Is p smaller than v?
True
Let b(k) = -k**2 + 11*k - 1. Let g be b(11). Which is smaller: 2/27 or g?
g
Let k(q) = q**3 - 2*q**2 - 2*q + 2. Let n(u) = u**3 + 6*u**2 + 3. Let x be n(-6). Let t be k(x). Suppose 10 = t*c, 0 = g + c + 2. Which is smaller: g or -5?
-5
Let c be (3/2 + -2)*0. Let d be 0 - (2 + 0)*-1. Suppose 2*g = q - 4, 0 = g - 2*q - d + 7. Is c less than g?
False
Let k = -0.8 + 0.7. Is 9 greater than k?
True
Suppose -6*d + 110 = 5*d. Which is smaller: 9 or d?
9
Let y = 2.6 - 2.5. Which is bigger: 14 or y?
14
Let h = -1.8 - 1.2. Let p = h - -2.9. Is p at least as big as 1/3?
False
Let m = -4 - -4.1. Let p = m + -7.1. Are p and -2 unequal?
True
Let f = 16 + -2. Suppose 3*m + 54 = 3*p, -6*p + p - 2*m = -62. Is p at most as big as f?
True
Let m = 53 + -142. Is -88 > m?
True
Let x be 2*3/(-6)*-1. Let g = x + 0. Let b be ((-2)/20)/(g/6). Is -0.1 <= b?
False
Let r = 3256/7 + -466. Which is smaller: r or -2?
-2
Suppose -2*c = 2*c - 556. Let j = 699/5 - c. Which is bigger: 2 or j?
2
Let j be (-172)/(-36) - 4 - (-2)/9. Let u be ((-1)/(-3))/((-2)/6). Let p be (u/(-3))/(26/12). Is j bigger than p?
True
Let o(w) = -w**3 - 7*w**2 - 2*w - 13. Let g be o(-7). Which is smaller: -1/109 or g?
-1/109
Let m(n) = n**3 - 12*n**2 + 2*n - 15. Let o be m(12). Let k = 17 - o. Which is bigger: 7 or k?
k
Suppose s + 0*s - 6 = 0. Let i be (-3 + (s - 2))/1. Is i at most as big as 1/6?
False
Let l = -29 - -57/2. Suppose 6*w = w - 5. Which is smaller: l or w?
w
Let g = 11106/7 + -1593. Which is smaller: g or -5?
g
Suppose 3*y = 14 - 5. Suppose -2*o - 5 = -y. Let m = -1947/8 + 243. Which is greater: o or m?
m
Let b(w) = w - 2. Let q be b(5). Which is greater: q or 1?
q
Let x be 2*(-3 + 9 + -4). Suppose 1 = -2*i + 3*u, 5*i - 1 = x*u - 7. Suppose -3*c - t = -3*t + 2, 0 = -t - 5. Is c > i?
False
Let r(u) = u + 23. Let i(a) = 11. Let g(m) = 5*i(m) - 2*r(m). Let l be g(6). Let w be 114/70 - l/(-7). Which is bigger: w or 0?
w
Suppose 0*c + 25 = -5*c. Let g = c - -4. Is -2 greater than or equal to g?
False
Let p be (-477)/162 + (0 - -3). Which is smaller: -1 or p?
-1
Suppose -4*u + 0*y - 41 = -y, -5*u - 3*y - 64 = 0. Which is bigger: -12 or u?
u
Let d be 1 + 2 + 0/2. Suppose -5*t = -d*m - 0 + 1, 2*m = -3*t + 7. Is 4/3 != t?
True
Let s(j) = -j**2 - 12*j - 15. Suppose -5*k - 12 = 38. Let m be s(k). Suppose 0 = m*u - h + 31, -5*h = 2*u - 0*u + 7. Which is bigger: -5 or u?
-5
Let i be ((-4)/(-52))/(2/8). Which is bigger: i or 1?
1
Let j = 19 - 58/3. Suppose 0 = -5*c - 20, 2*c + 2*c = 2*v - 24. Let y be (-1 - -1)/(v/(-2)). Is y less than j?
False
Let l be ((-15)/12)/(-1 + 0 - 0). Which is bigger: l or 2?
2
Let c(z) = z**2 + z. Let y be c(-2). Let f = 61/60 + -7/20. Which is smaller: f or y?
f
Let p(q) = -q + 12. Let y be p(9). Let t be 12/y - (8 - 3). Is -1 at least t?
True
Suppose 2*x = -2*x. Is -2/13 less than or equal to x?
True
Let o = 1/36 + -49/36. Is 1 < o?
False
Let p = -3 - -2. Let c = -0.18 + 0.16. Let v = -0.18 + c. Does p = v?
False
Let u = -48 - -47. Which is smaller: -1/7 or u?
u
Let l(d) = d**3 + 25*d**2 - 25*d + 19. Let c be l(-26). Let f be 57/(-9) - (-1)/3. Is f >= c?
True
Let z = -1.2 + 3.9. Let w = 0.6 - z. Let v = w + 2. Which is bigger: v or 0.03?
0.03
Suppose -2*b = -2*n - 12, 4*n + 2*b - b + 19 = 0. Is -32/7 less than n?
False
Let i be ((-12)/(-30))/((-2)/(-10)). Suppose i*t - 2 = 3*t. Do -3 and t have different values?
True
Let x = 1/36 - 7/36. Which is bigger: x or -1?
x
Let r be ((-1)/22)/(2/8). Suppose 5*u + 4 = -1. Which is smaller: u or r?
u
Let d(r) = r**3 + 4*r**2 - 3*r - 7. Let v be d(-5). Is -17 greater than or equal to v?
True
Let p be (2/2)/(6/(-4)). Let o be 3/(-5)*2/(-3). Is o at least p?
True
Let m = 0.33 + -0.13. Which is smaller: -4/7 or m?
-4/7
Let r(v) = -v**3 + 3*v**2 - 7*v. Suppose -x + 1 + 5 = 0. Let l be r(x). Let d = l - -1052/7. Which is greater: 1 or d?
1
Let d(p) = p**3 - 6*p**2 + p - 6. Let f be d(6). Suppose 0 = -2*x + 10 - f. Suppose -x*b = -3*b. Is 2 smaller than b?
False
Suppose 17 = -6*a + 59. Which is bigger: 8 or a?
8
Let x be 6/(-8)*32/(-252). Are x and 1 unequal?
True
Suppose -6*l - 2 = -8*l. Which is bigger: l or -4/7?
l
Let n = -19 + 31. Let z be ((-3)/n)/(-1)*-2. Is z at least -1?
True
Suppose 3*c - 5 = -3*d - d, -2*d = 2*c - 2. Let q(b) = -b**2 + 1