w(-11). Is o at least k?
True
Let b = 28 - 15. Suppose 0 = 13*j + b. Let r be 0 + ((-11)/8 - -1). Are r and j non-equal?
True
Let f be 104/676 - (-665)/(-13). Is -42 smaller than f?
False
Let r = 0.067 + -0.707. Let c = -0.74 - r. Which is greater: -0.04 or c?
-0.04
Let k = 22 - 23. Do k and 14/5 have the same value?
False
Let r(g) = g**3 + 2*g**2 + g. Let c be r(-1). Suppose 5*n + 1 = -k - c, 17 = 3*k - 5*n. Let z be k/(-35) + (-2)/(-5). Which is bigger: z or 1?
1
Let s = 161.8 + -164.8. Is s equal to -0.57?
False
Let y = -58.488 - -61. Let j = y - -0.088. Is j bigger than -0.2?
True
Let t = -3.89 - -3.99. Which is greater: t or -2/15?
t
Suppose 0 = g - 2*g. Suppose 4*m - 3 + 51 = g. Let z(s) = -2*s**2 - 24*s + 1. Let c be z(m). Which is smaller: c or -2/7?
-2/7
Let w(s) = -18*s + 251. Let u be w(14). Which is bigger: -8/87 or u?
-8/87
Let g = -83 - -91. Let d be 2/((-4)/g*(1 - -3)). Which is smaller: 35 or d?
d
Let w(i) = -i + 4. Let q be w(2). Let g be (-14)/21*(-15)/q. Let j(b) = b**2 + 3*b + 2. Let y be j(-3). Do y and g have the same value?
False
Suppose 0*k + 12*k - 156 = 0. Is 12 < k?
True
Let s = 15 + -4. Let r be s + 0 - (1 - 5). Suppose 33*t + 42 = 36*t. Which is smaller: t or r?
t
Let y be ((-3)/(-2))/(2286/(-144)). Is 1 less than y?
False
Let q = -2.5 - -11. Let c = 10 - q. Let y = c + -2.5. Which is bigger: y or 5?
5
Let u(p) = -p + 1. Let o(a) = 2*a - 1. Let w(d) = 6*o(d) + 11*u(d). Let x be w(-7). Let v = 404.2 + -404. Is v bigger than x?
True
Let j be 105/279 + 7/(21 + 0). Which is greater: 0 or j?
j
Suppose -g = -0*g - 6*g. Is g <= -21/20?
False
Suppose -3*d + 113 = 4*b, -4*d - 4*b = -b - 146. Let x be 14/d - 82/5. Is x smaller than -14?
True
Suppose -69 = 35*v - 104*v. Which is smaller: 7/32 or v?
7/32
Let v = 892/7293 + -2/429. Suppose -4 = 3*j + 2. Let l = 2 + j. Which is greater: v or l?
v
Let n = 0.1234 - -81.9766. Let i = n - 82. Which is bigger: i or 53?
53
Let a = -0.93 + -13.27. Let n = a - -14. Is -2 at least as big as n?
False
Let y be 4*5/6 + -3. Let n = 3.98 - -0.02. Let z = n + -3. Is y at least as big as z?
False
Suppose 0 = 3*v + 51 + 27. Which is smaller: -34 or v?
-34
Let x = -106 + 111. Let r(m) = -m**2 - m**3 + 6 + 3*m + 2*m**2 - 2*m. Let k be r(0). Do x and k have different values?
True
Let k = -313 - -321. Which is greater: k or 38?
38
Suppose -5 - 1 = -2*f. Suppose 3*y - 3*u + 2 + 7 = 0, f*y + 2*u + 19 = 0. Let x(z) = -z**3 + 4*z**2 + 2*z + 9. Let b be x(5). Is b smaller than y?
True
Let z = -9.07 + 0.07. Let q = z - -17. Let n be 10/(-4)*(-8)/80. Is q smaller than n?
False
Let m(l) = l**3 + l**2 + l + 1. Let i be m(-1). Suppose i = 4*o - 17 + 5. Suppose -2*c - o = c. Which is smaller: 3/8 or c?
c
Let u = 27567/37 - 745. Suppose -4 + 12 = 4*k. Suppose k = 12*f - 10*f. Which is greater: u or f?
f
Let o = -11539142/9 - -1280548. Let b = o - -1581. Which is smaller: b or 3?
b
Suppose 2*v + 18 = -62. Let b = v + 35. Is b smaller than -2?
True
Let o be (2*265/(-20))/122. Let p = -309/2 - -18853/122. Let q = o - p. Which is greater: q or 0?
0
Let l = -89 + 75. Let g = -0.1 + -12.9. Let v = l - g. Do v and -12 have the same value?
False
Suppose 3*v - 5*v = -28. Let l be 667/(-222) + (17 - v). Let a = -203/4218 + l. Which is smaller: -1 or a?
-1
Suppose 5*x - 3*m - 40 = 0, x + x - 15 = m. Let l be (-8)/5*x/19. Is 1 at least as big as l?
True
Suppose -77*l = 129 - 52. Is l at least -4/23?
False
Let u(b) be the first derivative of 3*b**2/2 - 9*b + 6. Let h be u(3). Is h greater than 3/44?
False
Let i = 514 + -752. Which is greater: -239 or i?
i
Let o = 61 - 61. Is o at most as big as -3/14?
False
Let s(b) = -2*b**2 - 15*b + 10. Let l be s(-8). Suppose l*r - 9 = -4*q - 47, r = -3*q - 17. Is r smaller than -1?
True
Let h = 178.2 + -171. Which is smaller: h or 1/5?
1/5
Suppose 2*h + 3*r + 9 = 0, -h - 14 = 5*r + 8. Suppose -h*s + 5*k = -28, 2*k = 4*s - k - 30. Suppose 0 = 3*p + 3 - 15. Is s at least as big as p?
True
Let r(u) = 6*u + 9*u**2 + 0*u**2 - 3 + u**2 - 8*u**2. Let q be r(3). Are q and 32 non-equal?
True
Let k be (1015/10 - -9)/((-1)/2). Which is smaller: -219 or k?
k
Let x = 49010/114669 - -10/3699. Let u = x - 3/31. Is u greater than -6?
True
Let m be (-132)/9*(-6)/4. Let c(l) = -l**3 + 28*l**2 - 29*l + 30. Let h be c(27). Let v = h + m. Which is bigger: v or -24/7?
v
Let q be 12 + (-10 - (-184)/(-36)). Is q at most -13?
False
Let b(y) = -y**3 + 10*y**2 + 10*y + 13. Let v be b(11). Suppose -v*t + 11*t = -225. Is t < -26?
False
Let w = 38 - -23. Let a = -59 + w. Do a and 5 have the same value?
False
Let n = -631/60 - -53/5. Suppose 2*b = 2*l + 8, -l + 3*b - 10 = -0*l. Are n and l nonequal?
True
Let j = -9 - -13. Suppose -2*u + 16 = 5*p + 2*u, j*u - 16 = 0. Which is bigger: -1/31 or p?
p
Suppose -b = -2*j + 5 - 0, 0 = 3*b + 5*j - 18. Which is smaller: 1/40 or b?
1/40
Suppose 0 = -z + 4*x + 56, -z + 9 + 26 = 3*x. Let r be 3 + ((-138)/z)/1. Which is smaller: r or -1?
-1
Let y be ((-171)/36 - -5)*(-8)/9. Let j = -1 + 4. Which is smaller: j or y?
y
Suppose -5*z + 2*g = -23, 0 = z + 6*g - g + 17. Suppose -6*a = -z*a. Suppose a = -j - 4*j - 55. Is -10 > j?
True
Suppose 1416 = 14*q - 2*q. Is q less than or equal to 120?
True
Suppose 18 = -5*w - h, 0*w + 3*h = -w - 12. Is w greater than 3?
False
Suppose -2*n = -3*r + 41, -21*r + 61 = -3*n - 16*r. Is -23 at most n?
True
Let b = -60.7 - -34.6. Let j = b + 26. Is 35 less than j?
False
Let k = -1 + -9. Let l = k + 11. Suppose -2*v + l = 3*h - 4, -v - 4*h = -5. Which is smaller: 0 or v?
0
Let y(j) = -2*j**3 - 39*j**2 + 20*j - 22. Let z be y(-20). Which is smaller: -0.7 or z?
z
Suppose 288 = -30*t - 162. Let x(o) = 10*o**2 + 8*o**2 + 20 - 2*o**2 + o**3 + 16*o. Let c be x(t). Which is smaller: 3 or c?
3
Let o = -359/3 + 715/6. Which is greater: o or -384?
o
Let c be (-6292)/(-429) + 1/(3/4). Suppose 6 = 3*d - 39. Is d equal to c?
False
Suppose 6*n - 226 - 74 = 0. Which is greater: 195/4 or n?
n
Let g = 0.1025 + -0.0025. Which is greater: g or 4/339?
g
Let s = 0 - -6. Suppose 4*a = s + 6. Let t be 0 - 9/(27/(-6)). Which is smaller: a or t?
t
Let a(m) = -m**3 - 7*m**2 + 2*m - 7. Let c be a(-7). Let r = c - -32. Suppose 0 = -5*x + r + 19. Do -2/5 and x have the same value?
False
Let g = 97.62 - 122.598. Let c = g - 0.022. Let x = -25.1 - c. Which is smaller: -1/3 or x?
-1/3
Let g(y) = 8*y**2 + 43*y + 14. Let d be g(-5). Which is smaller: 8.9 or d?
d
Let b(y) = 3*y - 1. Let x be b(6). Suppose -13 + x = 4*a. Which is smaller: 3/2 or a?
a
Let d be 3 + -1 + (6/9 - 1). Suppose -2*z - 72 = -5*s, -s + 3*z = -0*z - 17. Let w = 15 - s. Is d bigger than w?
True
Let s(y) be the first derivative of 9*y**4/4 - 2*y**3/3 + 3*y + 15. Let g be s(2). Is 66 bigger than g?
False
Let p = 0.1 + 5.9. Let c = p - 3. Let g = -203 - -200. Which is bigger: g or c?
c
Let o = -89 + 147. Is o smaller than 58?
False
Let v = 398 + -893. Let q = 10893/22 + v. Which is greater: q or 0?
q
Let i = -13 - -7. Let k = 5.1 + i. Let y = k - -1. Do y and -3 have different values?
True
Let c be 684/95*(-30)/9. Does -9 = c?
False
Let f be (11 + -5)*(-2)/(-4). Let c = 36 - f. Are c and 34 unequal?
True
Let m(y) = y**2 - 7*y + 6. Let h be m(7). Suppose 0*w - h = 6*w. Let t = -1/241 - -269/6748. Which is smaller: w or t?
w
Let j = 1/371 + 175481/742. Is 0.1 at least j?
False
Suppose 238 = 2*l - 2*p, -5*l + p = -6*l + 119. Which is greater: l or 117?
l
Suppose 4*c + 52 = -0*q - 2*q, -3*q = 3*c + 78. Let t = -24 - q. Suppose -5*k = -2*k - 4*b - 11, k = t*b + 5. Is k greater than -4/27?
True
Let y = 9 - 9. Let g(n) = -n**3 + 27*n**2 - 30*n + 102. Let a be g(26). Which is greater: a or y?
y
Let b be -1 + 3/3 - -9. Let f be ((-3)/b*0)/1. Let d = 1146/41 + -28. Is d <= f?
True
Let f be 2046/4 + 8/(-16). Let s be (-2)/(7/(f/6)). Let k = s - -28. Do 5 and k have the same value?
False
Suppose 0 = 13*h - 529 + 2739. Does -168 = h?
False
Suppose 14 = 5*j - u, -5*u = -j - 3*j + 7. Suppose 2*l - j*l = 4*d + 17, -4*l - 3*d - 3 = 0. Let v be 1*(l - 2)*-1. Is -2/19 less than or equal to v?
False
Let u = 1281 + -1136. Is -1/3 at least as big as u?
False
Let b(r) = -r**2 + 4*r - 1. Let w be b(4). Let h = -385/414 + 400019/4554. Let n = 87 - h. Which is bigger: n or w?
n
Let y be 63/30 + -10 + (4 - 0). Is y less than -3?
True
Let f(r) 