aller: u or 18/121?
u
Suppose -23*i + 63*i = 0. Is 1/127 at most i?
False
Suppose -5*f - 2*z = -243, 0 = -4*f - 0*z - z + 192. Suppose -f = -3*d + 7. Which is smaller: d or 19?
d
Suppose -8 = -3*k - k. Suppose -8 = 5*n - k*y, 0 = 4*n + 4*y - 11 - 5. Let o be n - 0 - (-2 + 2). Which is smaller: o or -2?
-2
Let c = -5/43 + 2/387. Let n(s) = s + 7. Let x be n(-8). Let m be (-2)/(x/2*-4). Which is smaller: m or c?
m
Let z be 5 - (-1 - 1) - -3. Let d be 6/(-15) - (-34)/z. Suppose d*q - 5 = -3*v + 4, 4*q + 3*v = 10. Are q and -6/17 nonequal?
True
Suppose 3*f + s - 35 = 237, 0 = 4*f + s - 361. Let z = f - 68. Is z >= 20?
True
Let t be ((-324)/(-30))/(2/5). Let q be t/(-124) + (-1)/(-4). Which is greater: q or 0?
q
Suppose -3*f - 43 = 4*v - 8, -3*f = -5*v - 37. Let a = v - -3. Which is smaller: -3 or a?
a
Suppose 4*s - 4 = 2*v - 0*s, 4*s = 3*v + 4. Is v >= -1/80?
True
Suppose 0 = 2*k + 11 - 31. Suppose -6*c + 9*c - 30 = 0. Are c and k nonequal?
False
Suppose 2*k = -5*x - 44, k + x = -k - 28. Let o be (4 + 88/k)*3. Let z = o + 24. Is z smaller than 1?
False
Let u be 1 - (4/4 - 0). Suppose -3*m + m + 8 = u. Suppose 3*f + x + 4 = 10, -m*f - 3*x + 13 = 0. Which is bigger: 2/17 or f?
f
Let d = 1327 + -1324. Let r = 13556/8703 + -2/967. Which is smaller: d or r?
r
Let w = -26 - -21. Let p = w - -5. Which is greater: p or -1?
p
Let a = -204 - -184. Which is greater: -12 or a?
-12
Let x(k) = -k**3 + 2*k**2 - 2*k + 7. Suppose 0 = -4*r - 2 - 2. Let g = 4 + r. Let f be x(g). Is -3 > f?
True
Suppose -10*x = -13*x - 312. Let o = x + 105. Is o < 26/11?
True
Let a = 124 + -139. Is a greater than -6?
False
Let y(q) = -q**2 - 5*q + 2. Let w be y(-5). Let r = -92.3 - -97. Let x = 4.6 - r. Do w and x have the same value?
False
Let g be 8*3/12*1 + -3. Which is smaller: g or 4/149?
g
Let t(d) = -d**3 + 32*d**2 - 32*d + 31. Let x be t(31). Is 1/798 greater than x?
True
Suppose 3*m + 4 - 81 = -4*p, 10 = -2*m. Suppose -11 = -2*l - 3*f, -5*l - 5*f + 7 = -p. Let i = 23 + -16. Are i and l equal?
True
Let t = -0.1464 + 0.1464. Is -693 > t?
False
Let y = -329 + 309. Is -138/7 less than or equal to y?
False
Let j(v) = v**3 + v**2 - 3*v - 7. Let y be j(-3). Which is bigger: -17 or y?
y
Let x = 84 + 131. Is 215 less than x?
False
Let h(u) = u**3 + 7*u**2 - 3*u - 24. Let m be h(-8). Is -584/9 <= m?
True
Suppose 42*l + 95 = -31. Which is greater: l or -7/3?
-7/3
Let o be -1 + -3*6/9. Let v be (-2*(-9)/15)/((-3)/(-10)). Suppose 0 = -4*g + 8*g, 0 = v*p - 3*g + 8. Which is bigger: o or p?
p
Let b be -1 - -7*(-1)/(-9). Let y(l) = 11*l**2 + 26*l + 2. Let v be y(-3). Suppose -5*n + m = -v - 24, 3*n = m + 27. Is b < n?
True
Let t = -1249 + 185. Let s be (2 - -2) + t/930. Let m = -72/31 + s. Do m and 0 have the same value?
False
Suppose 0 = 2*w - 4, -5*y = 2*w - 71 + 22. Let l be (-6)/y*(-1 - 23). Suppose -2*f - 5*v + 32 = 0, -8*f = -4*f - 2*v - l. Which is greater: f or 7?
7
Let l = 87.9 + -88. Let m = -23 + 10. Which is smaller: m or l?
m
Suppose v - 36 = 5*u - u, -2*v = -3*u - 27. Let h(t) = 3*t + 27. Let o be h(u). Is o > 2/125?
False
Suppose 54*x - 64*x - 20 = 0. Suppose 5*i - 4*p - 64 = -229, 3*p = 5*i + 165. Let a be (-4)/i*15 + -2. Is a at most x?
False
Suppose -4*o - 233 + 97 = 4*v, 20 = 4*v. Let c = o + 39. Is -1/35 at most c?
True
Let s(u) = 7*u + 7 - u**2 - 3*u**2 + 2*u**2 - 10*u. Let a be s(4). Is -36 at least as big as a?
True
Suppose 3*h + 3 = -4*w + 11, 2*h = -8. Suppose -5*n - 14 = -3*n - 3*d, w*d = 10. Which is smaller: n or -3?
n
Let s = 20.6 + 2.4. Let v = -10 + s. Let r = v + -14. Which is smaller: 0 or r?
r
Suppose 2*i = 8, 4*i + 2 = 2*x - 12. Suppose 0 = -0*y - y + 14. Which is smaller: x or y?
y
Let w = -54 - -56. Suppose 0 = -0*s + 2*s + 6. Let g be 0 + (0 + s - -6). Which is bigger: g or w?
g
Suppose 3*o + 2 = -4*w, 0 = -3*o + w + 13 + 10. Suppose o*b - 2*b + 24 = 0. Suppose -4*g + g - 20 = -u, 5*g = 5*u - 40. Is g <= b?
True
Let t = 5 - 1. Let s be (-6)/t + (-38)/(-4). Suppose 2*z - 6*z + 32 = 0. Are z and s non-equal?
False
Let n = -23 + 22.7. Let f = -93/7 + 13. Which is greater: n or f?
f
Let k(s) = -s**3 + s**2 + s + 58. Let l be k(0). Let y = l + -49. Is y greater than or equal to 6?
True
Let p = 611/3 + -7973/39. Suppose -17 = -b + 18*b. Which is smaller: b or p?
b
Suppose -m - 5*j + 27 = 0, 2*m = 5*m - 4*j - 5. Suppose 5*h + 13 = -m. Suppose 6 = -3*b, -3*b = -4*u - 4*b - 22. Which is smaller: h or u?
u
Suppose 3*i = 9*i - 12. Suppose -i*c + 2 = -5*n - 0, 4*n + 12 = -c. Which is bigger: -5/6 or n?
-5/6
Let h = -2796 + 2799. Let q = 3 + -2. Is q smaller than h?
True
Let n = -1815 - -94389/52. Which is bigger: 1 or n?
1
Suppose 5*g = -4*t + 1861, 2*t - 55*g = -60*g + 943. Which is greater: 460 or t?
460
Suppose 13*d + 368 - 394 = 0. Let t = 2 + -4. Which is greater: t or d?
d
Suppose 4*r = -3*t + 4 + 51, 4*t = r + 10. Let v be ((-114)/40)/3 + r + -9. Is v > -1?
True
Let c be 64/352 + (-266)/11. Are c and -24 equal?
True
Let g(k) = 5*k + 7. Let j be g(-3). Let a be (8 - 7)/(-1 + 10/11). Is j equal to a?
False
Suppose 5*a = -3*a + 32. Suppose a*r - 13 = -13. Is -0.2 greater than r?
False
Suppose s - 3*z = -16, 0 = -0*s - 5*s + 4*z - 58. Let a(k) = 4*k + 4. Let i be a(-3). Is s != i?
True
Let n be -7*17/75 - (-1)/(-3). Which is smaller: -2 or n?
-2
Let y(p) = -p**2. Let z be y(0). Suppose -3*o = -0*i + 4*i - 20, 5*o - i - 64 = 0. Let t = o - 14. Which is smaller: t or z?
t
Let q be 0/(-1) + 9 + 63. Suppose 2*t + 11 = -5*f, -3*t - q = f - 23. Is t at most as big as -17?
True
Let a = 0 - -3. Let h(b) be the first derivative of 3*b**2/2 - 9. Let q be h(1). Is q not equal to a?
False
Suppose 20*a = 24*a - 96. Let l be ((-8)/(-14))/((-8)/a). Is l <= -1?
True
Let q be (-4)/(-12) + (-2)/6. Let u be 9/(-36) + 2/((-984)/(-115)). Which is smaller: q or u?
u
Suppose 0*b + 2 = 2*b - 2*s, 0 = b - 3*s + 1. Suppose j = -b + 1, j = -4*t + 83. Which is smaller: 22 or t?
t
Let c = 0.0956 - 4.0956. Is c bigger than 132?
False
Let m = 17.9 - 18. Which is bigger: m or -12?
m
Suppose 3*t - 10 = -2*t. Suppose -s + k = -t, 2*s + 2*s + 2*k + 4 = 0. Let h = 263/5190 - 3/173. Which is smaller: h or s?
s
Let u = -2.19 - -2.19. Which is greater: u or 2/33?
2/33
Let p = -833 + -4165. Let d be (-2)/(-11) + p/(-3003). Is 2 less than d?
False
Let d = 12 + 2. Let f = d + 2. Is 16 at most f?
True
Let z(i) = i**2 + 3*i - 8. Let y be z(-6). Suppose 14 = -4*s + y. Let o = -481/8 - -60. Is s less than o?
True
Let k(b) = -2*b**2 - 15*b + 4. Let l be k(-7). Let f be 1/(-2)*4 - l. Let y be (0 + 0)*(f + 12). Which is smaller: y or -2/23?
-2/23
Let m = -5336/55 + 97. Is -1 > m?
False
Suppose -2*n + 0 - 59 = -3*c, 27 = -n + c. Is n at least 3/4?
False
Let z = 10.5 - 13. Let f = 0.9652 + 1.0348. Which is bigger: z or f?
f
Suppose -40*n + 46 = 1046. Is n < -220/9?
True
Let m be (2*4/(-8))/((-4)/(-144)). Are m and -249/7 unequal?
True
Let v be 1/(-2) + 7/(-2). Let i(x) = x**3 - x**2 + x - 6. Let m be i(0). Which is greater: v or m?
v
Let b(l) be the third derivative of 7/60*l**5 + 1/3*l**4 + 0*l + 1/120*l**6 + 0 - 10*l**2 + 1/2*l**3. Let k be b(-5). Which is greater: k or 15?
15
Suppose 3*z = -5*a - 1054, -a - 39 = 5*z + 163. Let l = a + 1693/8. Is -1 greater than or equal to l?
False
Suppose -1104 = -4*q + r + 41, -6*r - 600 = -2*q. Is q > 283?
True
Let j = 20588/14366055 - -2/11539. Which is greater: 1 or j?
1
Let o(p) = -p**3 - 6*p**2 - 3*p - 15. Let u be o(-6). Suppose u*w + 13 = 5*b, 0 = -b + 2. Let s be -1*2*(-2)/46. Which is bigger: s or w?
s
Let x = -399 + 405. Let u be 1*(4/2 + 3). Is u smaller than x?
True
Let w(u) = u + 11. Let d = -19 - -4. Let n be w(d). Which is greater: n or -5?
n
Suppose 0 = 4*w - 3*w - 6. Let j(d) = -d**2 + 12*d - 37. Let z be j(w). Is 1/9 greater than or equal to z?
True
Let u be 8/(-6)*(-315)/(-14). Let k be 2/54*u/20. Which is smaller: -0.1 or k?
-0.1
Let h(a) = -2*a**2 + 15*a + 6. Let w be h(8). Let q be w*(-12)/(-16)*-14. Is q < 21?
False
Let b = 1.5 + -2.1. Let v = b + -1.4. Let w = 0 - 0.4. Which is smaller: w or v?
v
Let q be (354/(-9))/((-3)/18*2). Is 121 > q?
True
Let w(a) = 9*a**2 - 29*a + 89. Let r be w(6). Which is greater: r or 236?
r
Let c = -363 + 373. Let y be (-1 + -1 - -1) + 1. Let q = c + y. Which is greater: 12 or q?
12
Let a(q) be the third derivative 