ss than or equal to c?
False
Let g = -26 + 22. Let d = g + 23. Which is smaller: d or 17?
17
Let p(z) = -z**3 - 5*z**2 - 8*z - 26. Let t be p(-6). Suppose -15*c + t = 13. Is 2 at least c?
False
Let i = -261.85 - -1.85. Which is smaller: i or 1/4?
i
Let p(x) = 2*x + 1. Let h be p(-9). Let c(z) = -z**2 - 18*z - 9. Let m be c(h). Is 9 greater than m?
True
Let y(j) = 5 - j + 7 - 6*j - 4. Let l be y(-7). Suppose -2*v = 4*n - 5*v - l, 4*n - 55 = 5*v. Which is greater: 16 or n?
16
Suppose 4 = 4*v, 0*h = -h + 5*v - 3. Suppose -3*i - h*i = 0. Suppose 4 = -4*m - i. Is -3/13 less than or equal to m?
False
Let o be (-4)/6 + 6 + -6. Let a = 3.97 + -0.27. Is o > a?
False
Let n = 1/342 + -745/20862. Which is greater: n or -1?
n
Let z be (1/((-118)/1))/((-6)/12). Let m = 3 + -2. Is m not equal to z?
True
Let w(g) = -2*g**2 + 15*g + 163. Let s be w(-6). Which is bigger: 1/1936 or s?
s
Let g = -8624/15 + 575. Let l(q) = q + 8. Let s be l(-9). Which is smaller: g or s?
s
Let r = 2992 + -2128. Let y be (r/220 + -4)*-5. Which is smaller: y or -2/7?
-2/7
Suppose 0 = t - r - 7 + 14, -5*t = -r + 55. Let x(k) = -k - 14. Let u be x(t). Is -4 at most as big as u?
True
Let w = -14 - -16. Suppose 0 = -w*l + 14 + 6. Let y(p) = p**2 - 10*p - 3. Let d be y(l). Which is smaller: d or 0?
d
Let v be ((-2)/3)/((-2)/6). Let x be ((64/(-20))/(-8))/(32/(-50)). Which is bigger: v or x?
v
Suppose h + o + 26 = 0, 0 = -10*o + 15*o - 20. Is h <= -4?
True
Let p = -16 - 25. Let j = p + 43. Is j bigger than 0.09?
True
Let p = 122 + -124. Is p less than -2/167?
True
Let m be (-8)/(-20)*-1*-65. Let f = m - 23. Which is smaller: -3 or f?
-3
Let l = -26 - -18.9. Let z = 0.1 + l. Let h = -3 - z. Which is bigger: h or -0.4?
h
Let w = 0.42 + -19.42. Let y = 39 + w. Let r = -27 + y. Which is smaller: -1 or r?
r
Let w(h) = -h + 5. Let c be w(5). Suppose c = 6*q - 2*q. Is 10/9 < q?
False
Let h(o) = 6*o + 8. Let j be h(-4). Let b = j - -19. Suppose 0 = -3*s + 5*c + 13, b*s + 4*c + 26 = -6. Is -2 > s?
True
Let t = -3045578/501 - -6079. Which is smaller: 0 or t?
0
Let g = 52 + -164. Let m = g - -115. Which is smaller: m or -6?
-6
Suppose 435*s = 436*s - 97. Which is smaller: 96 or s?
96
Let m = 1.1 - 0.7. Let b = -2 - -1. Let z = b - -4. Which is smaller: m or z?
m
Let o = -149 - -148. Is -5/12 at least o?
True
Suppose 78 = 5*h + 2*a - 86, 3*a + 43 = h. Let o = -23 + h. Suppose -r - o = -10. Is 0 < r?
False
Suppose 3*v - 5*z - 70 = 0, -z = -3*v - 21 + 95. Suppose 3*x - 27 + 1 = h, -2*h = 5*x - v. Which is bigger: 6 or x?
x
Let g = 27.01 + -27. Let u = g + -0.11. Let w = 37/6 - 371/66. Do u and w have different values?
True
Suppose -4*f = -q - 134, -3*q - 20 = -4*f + 110. Suppose 1 - f = 3*t. Which is bigger: -2 or t?
-2
Let o be (-12)/10*-240*(4 - -3). Let h = -3949/2 + o. Is h equal to 41?
False
Let c(y) = 4*y - 1104. Let h be c(64). Which is bigger: -849 or h?
h
Let j = 9831 + -344051/35. Is 0 < j?
True
Let k = -495 + 497. Which is smaller: k or 34.6?
k
Suppose 0 = -2*x - 6, 4*k + 0*k - 50 = 2*x. Let u be k/4 + 1/4. Suppose -d + 8 = 3*d. Which is smaller: u or d?
d
Let d = 83 + -85. Let r be 3 + d + -1 - (-11 - -1). Is r at least 7?
True
Let l be (6/(7 + -13))/462. Which is smaller: 1 or l?
l
Let i(n) = -n. Let o be i(12). Which is smaller: o or -5?
o
Suppose -3 - 6 = -3*k. Let m(d) be the first derivative of -d**4/4 + 3*d**3 - 7*d**2/2 - 5*d - 11. Let x be m(8). Is x at least as big as k?
True
Let q(c) = 3*c**3 + c**2 + 3*c - 4. Let r(i) = 13*i**3 + 6*i**2 + 12*i - 16. Let m(h) = -9*q(h) + 2*r(h). Let k be m(3). Which is greater: -22/5 or k?
-22/5
Let s be 315/21*(-4)/10. Let y(d) = d + 1. Let w be y(-1). Suppose -f = 5 - w. Which is greater: s or f?
f
Let o = 2 - -7. Let n = -257.2 + 257. Which is greater: o or n?
o
Let y = 8617/16 - 539. Is 0 at most y?
False
Let m = -431188 - -19402534/45. Let d = -30104/5 - -6000. Let q = m - d. Is 0 at most as big as q?
True
Let k = -51 - 1. Let u = -48.3 - k. Which is greater: u or 0?
u
Let g(a) = a - 4. Let u be g(4). Let q be (-216)/(-52) + (-4)/26. Suppose q*c - 2*z - 6 = -0, 5*z + 8 = 3*c. Is u smaller than c?
True
Let k be (-10)/(-12)*(-3)/(-60). Let j(y) be the third derivative of -13*y**4/24 - 53*y**3/6 + 8*y**2. Let g be j(-4). Which is smaller: g or k?
g
Let t = 121 - 148.95. Let q = t + 28. Is q at most -4/3?
False
Let k(v) = 2*v - 3. Let p(y) = -3*y + 6. Let c(b) = 5*k(b) + 3*p(b). Let u be c(0). Are u and 5 nonequal?
True
Let d(k) be the first derivative of -7*k**2/2 - 2*k - 8. Let f be d(-4). Suppose -h - 3 = 2*i - 12, -3*i = 4*h - f. Which is bigger: i or 5?
5
Let d(p) = 2*p - 6*p + 5*p - 2. Let l be d(0). Let s be -6*(-3)/12*-2. Is l < s?
False
Let n be ((-55)/11 - -13) + 48. Which is bigger: n or 52?
n
Let t(b) = b**2 + 2*b - 9. Let u = -23 - -19. Let k be t(u). Is k at most -12?
False
Suppose -37*x - 4*k + 95 = -36*x, x - 98 = -5*k. Which is greater: x or 86?
86
Suppose 2*a + 2*c - 5 = 1, -5*c - 33 = -3*a. Suppose a*y = 1 - 7. Do 18 and y have the same value?
False
Let c(j) = -2*j**2 + 30*j + 4. Let r be c(15). Suppose -r*y - y = m - 32, 22 = 3*y + 2*m. Let s = -10 - -14. Does s = y?
False
Let k = 7370/19 - 388. Suppose 4*h = -3*b - 13 - 152, 0 = b + 5*h + 55. Let p be (b/10 + 5)*0. Which is smaller: p or k?
k
Suppose -2*x + 6 = -2*j - 46, -3*x = 2*j - 58. Suppose 6 = 4*y + x. Let h be y/(-14) + 40/(-56). Which is smaller: h or -1?
-1
Let w = 1.816 + -0.216. Let l = -5 - -4. Let f = -2 - l. Do f and w have different values?
True
Let m(r) = -r**3 - 10*r**2 + 2*r + 10. Let x(s) = -s**2 - s. Let z(c) = -m(c) - x(c). Let h be z(-11). Let t be (4/5)/(h/5). Is 3 greater than or equal to t?
False
Let u(o) = o**2 + 6*o + 1. Let q be u(-6). Let x = -16/105 - -1468/1365. Which is bigger: x or q?
q
Let k = -273 - -270. Is 1/41 bigger than k?
True
Let f = 207 + -577. Is f smaller than 0.1?
True
Let z = -2/51 - 292/357. Which is bigger: -1 or z?
z
Let t be 420/9*(-18)/15. Which is smaller: t or -55?
t
Suppose -z + 5*z = 64. Let u = z + 16. Let v be (4/u - 2) + 2. Which is smaller: 2/3 or v?
v
Let a be 3/2 - 3/6. Suppose -5*g + 37 = -j + 5*j, 28 = j + 5*g. Let m be 3/j + 35/(-45). Which is smaller: a or m?
m
Suppose 7*c - 2*c - 269 = 4*d, -4*c + 5*d = -208. Let r = 68 - c. Is r at least as big as 31/3?
True
Let s = 18590 - 18590.14. Let o = -6 - -4. Which is smaller: o or s?
o
Let x(f) = f**3 - 4*f**2 + 4. Let h be x(4). Suppose 6*q - h*q = 6. Suppose q*r + 1 = 2*l, -2*l = -4*l + 10. Is 2 greater than or equal to r?
False
Let o = 127 + -141. Which is smaller: o or 4?
o
Let p = 4 + 0. Suppose 0 = 4*n + p*k + 692, 5*k - 885 = 7*n - 2*n. Let t be (-1 - 1) + (-364)/n. Which is smaller: -1 or t?
-1
Let f(t) = -4*t**2. Let z be f(-1). Let q be (z/(-76)*-2)/1. Which is greater: -1 or q?
q
Suppose 0 = -6*f - 5*f. Suppose f = 7*w - 0. Let z be 200/(-152) - (1 + -2). Is z != w?
True
Let g = 0.2 - -9.6. Let s = g + -9. Let a = s - 1.1. Which is smaller: a or 4?
a
Suppose 3*h + 58*q = 56*q - 52, -3*h + 5*q = 80. Let p = -56 - -34. Is h less than or equal to p?
False
Let j = 12 - 9. Let t be 24 + (-20)/(-15)*j. Let c = t - 27. Which is bigger: c or -3?
c
Let j be (-3)/(-11)*(-33)/(-3). Which is greater: 20/7 or j?
j
Suppose -2*u + 25 = 5*q, -u - 10 = -13*q + 8*q. Which is bigger: -183 or q?
q
Let c = -2591/2821 - 1/217. Let o be (0 + 0)/(6/3). Is c less than or equal to o?
True
Let z = -40 + 30. Suppose -x - 2 = 8. Is z > x?
False
Suppose 0 = -2*h + 2 - 12. Let w be -1*2*(6 + h). Let j be ((-2)/6)/((-1)/w). Which is bigger: j or -0.2?
-0.2
Let s be (0 + (-4)/6)*(-9)/(-102). Which is bigger: s or -1?
s
Let j(u) = u + 1. Let d be j(-11). Let t(z) = z**2 + 10*z + 8. Let k be t(d). Which is smaller: -0.2 or k?
-0.2
Let g = 3/3329 + 9489/552614. Let m = g + -709/2490. Which is bigger: m or 0?
0
Let f = 16 + -14. Suppose 0 = f*u + 4 - 2. Let n be (-32)/(-110) + u/5. Which is greater: n or -1?
n
Let i be 2/13 - 193/(-13). Let d be -2 + (-1)/(-3)*i. Is d >= 3?
True
Let u = -10 + 20. Let b(m) = -m**2 + 13*m - 31. Let i be b(7). Which is smaller: u or i?
u
Let u(y) = 10*y + 123. Let g be u(-12). Which is greater: 7 or g?
7
Let b = 13 + -33. Is b greater than -21?
True
Suppose 14 = 2*f - 4*s, -5*f + f = 2*s + 2. Which is greater: f or -0.309?
f
Let s = 7 + 3. Let t be 2/s + 1