0*x + q + 5. Suppose 0 = x*b + 5*r - 5, -4*b - 3*r = -7 - 0. Let n = -8 + b. Which is smaller: -2 or n?
n
Let r = -167/36 - 1/36. Let d = r - -5. Which is smaller: 0.2 or d?
0.2
Let x be ((-14)/(-6))/((-1)/(-3)). Let o = -7 + x. Which is greater: o or 1?
1
Suppose 0 = u + 2*c - 2, 3*c = -4*u - u - 4. Let a(z) = z - 5. Let v be a(5). Suppose d + d = v. Which is smaller: u or d?
u
Suppose -2*d + 3 = 2*y - 29, 0 = -5*d - 2*y + 92. Suppose -3*j - j = -4*q - d, -q = -5*j + 21. Which is greater: q or 0.01?
0.01
Let h = -17 + 14. Is h less than -4?
False
Let j(l) = 3 - 4 - 3 + 2*l. Let u be j(3). Let a be -2*10/16 - -1. Is a at least u?
False
Let x be 1*5 - 12694/2530. Which is smaller: x or -1?
-1
Suppose -5*o - 25 = -1345. Let v be (o/(-20))/((-13)/5). Let n = v + -501/91. Is n at least 0?
False
Let j be (-5)/2 - (-2)/4. Let o = 6 + -2. Suppose -o*i + 0*i = 0. Is i greater than or equal to j?
True
Let w = 6.8 + -2.8. Are -2/27 and w unequal?
True
Let b = 14 - 11. Let i = b - 5. Suppose c + 0*d - d = -6, -4*c = -3*d + 21. Is c at most i?
True
Let o = 165 - 101. Let f be (-8)/36 + o/126. Is f less than 1/2?
True
Let m be -1*(-6)/4*(-16)/(-60). Suppose 0*t - 3*a = t - 15, 15 = -4*t + 3*a. Let k = 0 + t. Which is smaller: k or m?
k
Let k(t) = -1 + 3 - 9 + 6*t - 7*t. Let y be k(-7). Let d be 4 + (-1 - y - 2). Is d < 1?
False
Suppose 3*l - l - 6 = 0. Let o be 3 + -1 - (l + -1). Is o less than or equal to -1?
False
Let p = -14.7 + 14.34. Which is bigger: p or -0.2?
-0.2
Suppose 5*d + 0 - 15 = 0. Suppose 5 = -2*r - 4*j - 3, -j = 3*r - d. Let l = 190 - 755/4. Is r less than l?
False
Let m(w) = 10*w + 7. Let j(u) = -u - 1. Let t(q) = -22*j(q) - 2*m(q). Let s be t(-6). Let n be s/(-10) + (-1)/15. Is n less than 2/5?
True
Suppose 22 = 2*a - 0. Let y be (8/4)/(a + -1). Is -0.1 less than y?
True
Let j = -96973741/421218 + -1/140406. Let p = -549 + 319. Let b = j - p. Is 1 less than b?
False
Let a(k) = k**3 + 6*k**2 - 7*k - 6. Let o be a(-7). Let i be (-3)/o*(1 - 3). Is 1/8 < i?
False
Suppose 0 = 2*m - m - 1. Which is smaller: m or 1/4?
1/4
Let l = 4 - 0. Let y be 3 - l/(-6)*-3. Let u be 5*((-8)/10)/(-2). Which is smaller: y or u?
y
Suppose -t + 4*d = -4 - 17, 5*t = -2*d + 61. Suppose n + 0 - t = 2*q, n = -3*q - 7. Let m(j) = j**2 + 4*j. Let g be m(q). Which is bigger: g or 1?
1
Let z = 8 + -5. Let m = 7 - z. Is -1 greater than m?
False
Let y = -376 - -1495/4. Which is smaller: -1 or y?
y
Suppose 0*y = 5*k + 5*y - 685, k - 146 = 2*y. Let g = k + -698/5. Which is smaller: 0 or g?
0
Suppose 64 - 19 = -5*z. Is z != -8?
True
Suppose 4*j + 0*y + 4*y = 36, 4*y - 12 = 0. Let s be 3/3*4/j. Let a be 10/(-4)*(-5)/50. Is a > s?
False
Let f = 93 + -839/9. Which is greater: f or -8?
f
Suppose 5 - 6 = -o. Which is smaller: o or 1/4?
1/4
Let h be 1 + 4 + -2 + -31 + 13. Is h at most as big as -16?
False
Let p = 2.15 + -0.25. Let d = p + -4.9. Which is greater: 6 or d?
6
Suppose 3*n + n = -16. Let t be 1 - (-5)/(5/n). Is t at least -2?
False
Let p(v) = v - 25. Let b be p(-4). Is -30 greater than or equal to b?
False
Suppose 0 = -3*i + 3*r - r + 18, 3*i = -r + 18. Suppose 4*f = -2*s + 14, 5*f - 1 = 4*s + 10. Do s and i have the same value?
False
Let m(p) = p**3 - 14*p**2 + 14*p - 13. Let k be m(13). Which is smaller: 1 or k?
k
Suppose 0 = 2*k + 2*k + 3*r + 35, 5*k + 45 = -4*r. Is k at least 0.1?
False
Let q = 1 + 8. Let s = 9.1 - q. Which is smaller: s or -2/5?
-2/5
Let v(q) = q**2 - 2*q + 3. Let u be v(2). Suppose -5*r + u = -12. Let j be (-2)/(0 + r/(-6)). Is j bigger than 1/4?
True
Suppose 1 = -6*y + 5*y. Let w = 2 + -2. Suppose t + 2*t + 6 = w. Is y not equal to t?
True
Let h be 5/(-34) - 2/(-4). Does h = 1?
False
Let m = -25 - -19. Which is smaller: m or -4?
m
Let g = 14 + -1. Let b = 13 - g. Suppose 3*f - f = 0. Is b <= f?
True
Let i(m) = m**2 - 6*m - 1. Let c be i(6). Let g = -43 + 41. Which is smaller: c or g?
g
Let j = -0.7 + 0.9. Which is smaller: j or -7?
-7
Let x(o) = -o**3 - 3*o**2 - 5*o - 10. Let l be x(-4). Which is smaller: l or 24?
24
Let m = 526/91 + -90/13. Is 0 greater than m?
True
Let t = -84 + 83. Let i = 1 - 1. Which is greater: i or t?
i
Let y = 5 + -1. Suppose v + 4 = x + 13, -2*x + 7 = 3*v. Let t = v - 2. Which is bigger: y or t?
y
Suppose 0 = -2*b - 3*q - 15, q - 10 = 5*b + 3*q. Suppose 0*d + 2*d = -v - 1, b = -v + 5*d - 1. Which is smaller: v or -6/11?
v
Let o be -2 - 1 - 22*15/(-138). Do 0 and o have the same value?
False
Suppose 5*t = -3*d + 511, 515 + 17 = 5*t - 4*d. Does t = 104?
True
Suppose -8 = 2*o - 2*d, 5*d + 3 = 28. Let z = 13.01 + -13. Let h = z - 0.21. Which is smaller: o or h?
h
Let o be (3/9)/(5/(-15)). Which is smaller: -4/31 or o?
o
Let q = 22.5 + -22. Which is smaller: q or 0.1?
0.1
Let x(f) = -f**2 - 5*f + 7. Let p be x(-6). Suppose 0 = -z - p - 0. Let o = z - 0. Which is smaller: 2 or o?
o
Let a = -2/9 + -5/18. Let z = 6/13 - -1/26. Which is bigger: z or a?
z
Let g = -2/6049 + 114951/60490. Which is bigger: 1 or g?
g
Let t = -3/170 + 91/3230. Let p = t - 201/1045. Let i = -1 + 1. Is i equal to p?
False
Suppose 2*d = -4*j - d + 9, 50 = 5*j - 4*d. Suppose s = -2*s + j. Let u be 8/(-30)*3/s. Is u <= 1?
True
Suppose 0 = 4*o - 2*y - 8, -o + 3*o + 8 = -5*y. Let m be (-2)/3 - 34/(-78). Which is smaller: o or m?
m
Let s be 3 - (-2 - -6) - -1. Is -1/4 at least as big as s?
False
Suppose o + 43 = 4*l - 99, -62 = -2*l - 4*o. Let a be (4/l)/((-4)/10). Which is smaller: a or -1?
-1
Let a = 3 - 4. Let z = a + 0.9. Which is smaller: 1/6 or z?
z
Suppose -26 + 26 = 2*y. Are 9/14 and y equal?
False
Suppose -6 = -3*b, -3*u + 10*b - 10 = 5*b. Let y be 1 + -1 - 10/(-7). Let v = y - 8/7. Which is bigger: v or u?
v
Suppose -5*m - 2*b + 631 = 0, 3*b = -m + 192 - 58. Let l be (-2)/8 + m/340. Is -1 greater than l?
False
Let a = 0 - -5. Suppose 3*o = -12, s + 2*s = -a*o - 29. Let t be s/1*-1 + -7. Is t at most -7/2?
True
Let b = 45.6 + -50. Let y = -4 - b. Which is bigger: -1/4 or y?
y
Let c = -7 - -5. Let n = 36 + -39. Which is greater: c or n?
c
Let h(l) = -l**3 + 10*l**2 - 4. Let v be h(10). Let s be (-88)/(-14) + (-2)/7. Suppose 0 = -5*b + 5*k - 30, 3*b = 7*b + 2*k + s. Is b greater than v?
True
Let s = 33 - 33. Which is smaller: s or -9/7?
-9/7
Let f(v) = v**2 + v - 1. Let j be f(0). Let m be (-27)/12 - j/4. Is m <= -3?
False
Let m(g) = g**2 + 5*g + 3. Let b be m(-3). Let v = b - -3. Let h = v + 0. Are h and -1/4 nonequal?
True
Suppose -1 = -q + 2. Let o = 5 - q. Suppose 5*r = 3*j + 2 + 16, -o = -j - r. Is -1 at least j?
True
Suppose -3*k + 5 = 5*b, 2*b = 3*k - 2*b + 4. Suppose -n - 2*n = 0. Suppose 2*o + 0*o = 4*t, -4*t + 5*o - 6 = n. Is k less than or equal to t?
True
Let c(u) = 3 - u**2 + 9*u**2 - 9*u + 3*u. Let s be c(7). Let b = s + -4587/13. Which is greater: 1 or b?
1
Let o be (1 - -10)*4/(-4). Let l be -1 - -1*-3*1. Let g = o - l. Which is smaller: g or 1/3?
g
Let a(d) = -2*d**2 + 8*d - 12. Let h be a(3). Which is smaller: h or -10?
-10
Let n = -114.8 + 115. Which is bigger: n or -0.001?
n
Let c(q) be the first derivative of q**4/4 - q**3/3 - q**2/2 - 4*q + 3. Let h be c(3). Let s(m) = -m + 11. Let v be s(h). Is 1 > v?
True
Suppose -37 - 133 = 5*s. Which is smaller: -33 or s?
s
Let r be (2/(-7))/((-9)/63). Is 0.23 at least as big as r?
False
Suppose 0*m = 4*m - 4. Let b be (-9)/(-15)*(-20)/(-36). Is m smaller than b?
False
Let y = -5 + 5. Let i = -4 - -3.7. Let n = i - -0.4. Which is greater: y or n?
n
Suppose -4*h = b + 16, -4*b = -3*h + 5*h + 22. Let a be 1/b - 19/(-80). Let j = 169/720 + a. Are j and 2/3 equal?
False
Suppose 0*u = -4*u + 4. Suppose -5*z + 5*x - u = x, x = z. Is 1/4 <= z?
False
Suppose 20 = 2*u + 3*u. Is u at most as big as 4?
True
Let w be 2/(-11) + (-1080)/(-11). Let f be 7/(w/(-4)) + 0. Is f > 0?
False
Let i = 38 + -32. Which is bigger: 2 or i?
i
Let k(g) = 22*g**2 - g - 2. Let v be k(-1). Which is greater: 20 or v?
v
Let x = -2 + 4. Let b = -1 - x. Let w = b + 2. Which is bigger: w or 0.1?
0.1
Let i = 4 + -18. Is -13 < i?
False
Let w = 7/5 + -73/45. Let x = 185 - 186. Is w smaller than x?
False
Let s = -7 + 4. Let g be ((-3)/(-2))/(s/8). Let q be g/25*20/(-8). Which is bigger: q or 1?
1
Let h = -0.03 - 1.77. Let r = -2.04 + 0.04. Let o = r - h. Which is smaller: 2/5 or o?
o
Let z = 119/3 + -39. Let a = -1.1 + 1. Is z at 