et s = b + c. Is 1 > s?
True
Suppose -16*k = -491 - 581. Is k smaller than 69?
True
Suppose -z = z. Suppose 70*i + 3024 = 74*i. Let g = -23438/31 + i. Which is smaller: z or g?
g
Let q = -7551/7 + 7822/7. Let a = -39 + q. Is a greater than -17?
True
Let j(h) = -4*h + 19. Let x be j(-12). Let p = x - 86. Is -3 >= p?
True
Let z(m) = -3*m - 3. Let u(v) = -3*v - 4. Let a(q) = -5*u(q) + 4*z(q). Let d be a(-3). Let r be (-28)/(-21)*d*3. Is 1 <= r?
False
Let f(p) = -24*p**3 + 2*p**2 + p - 1. Let g be f(-1). Suppose 0 = 16*z - 4*z - g. Does z = 30/11?
False
Let d(t) = -t - 5. Let f be d(-10). Suppose -m = -f*m + 2068. Let j be (-4)/22 - m/(-2178). Do j and 2 have different values?
True
Let u(n) = n**2. Let a(x) = -x**3 - 2*x**2 - x + 1. Let l(s) = a(s) + 4*u(s). Let c be l(0). Let m be c/6 + (-117)/378. Is 1 greater than or equal to m?
True
Let d(y) be the second derivative of y**5/10 + y**3/6 - y**2 - y. Let l be d(2). Suppose 12*c - 265 + 85 = 0. Is l greater than or equal to c?
True
Let s = -5 + 2. Let c be 1 + (2 - 0) + (4 + -7 - 4). Is s less than c?
False
Suppose -28*x - 3852 = 1720. Do -198 and x have the same value?
False
Let g = 0.9 - -0.1. Let v = 0.074 - 123.074. Let p = v - -127. Which is greater: p or g?
p
Let d(u) = -u**3 + 24*u**2 - 20*u - 31. Let p be d(23). Which is smaller: 34 or p?
34
Let l = 526.6 - 526. Which is greater: -0.1 or l?
l
Let v = 347 - 242. Let r = v - 221/2. Is -7 smaller than r?
True
Let m = 2.95 - -9.05. Is 1/5 less than or equal to m?
True
Suppose 4 = 2*p - i - 2, -6 = 2*p + 2*i. Is 2 not equal to p?
True
Let q(s) = s - 2. Let f be q(-5). Let w be 7/(-21) + (-94)/(-3). Suppose w = -5*h + i, 5*h - 2*i = -23 - 9. Which is bigger: h or f?
h
Let r = -2/1997 + -3388/605091. Which is smaller: 1 or r?
r
Suppose 0 = -2*b - 3*y + 6 + 62, 204 = 5*b - y. Suppose -4*s + 5*n + b = s, 4*s - 38 = -2*n. Which is smaller: s or 10?
s
Let x be (0 + 1015)*8/(-20). Let l be (-4)/(-10) - x/35. Let o be ((-8)/l)/((-6)/(-9)). Is o greater than 0?
False
Let a(w) = w**3 + 7*w**2 + 7*w + 28. Let b(n) = -n**2 + 1. Let r(s) = a(s) - 5*b(s). Let h be r(-11). Which is greater: 66 or h?
h
Let j = -17 - -26. Let l = j - 8. Which is smaller: l or 4/9?
4/9
Let q = -17.16 - -15.16. Which is bigger: 19 or q?
19
Let s = 106 + -107. Let w be ((-108)/6)/(6/(-4)). Let x be (6/4)/((-9)/w). Which is greater: s or x?
s
Let s(i) = -i**2 + 15*i - 1. Let b be s(15). Let v be (-1)/((-3)/4 - b). Let c be 15/(-10)*v/6. Is c greater than or equal to -1?
True
Suppose -v = t - 0*t + 2, t + 6 = 3*v. Let x = -45.7 + 32.7. Which is bigger: v or x?
v
Let r be (-6)/27 - (-16)/72. Which is bigger: r or 5/192?
5/192
Let t = -945 - -2833/3. Is t greater than 25?
False
Let d be 0 + (-54)/60*2/5. Let y = -13/25 - d. Is y > -1?
True
Let x be (1/(-3))/((-19)/(-171)). Let h be x + (7947/(-4))/(-9). Let c = -220 + h. Which is greater: c or -3?
c
Suppose -n + 2*f = -5*n + 30, -n + 4*f = 15. Suppose -5*p - 190 = -w, n*p - w + 170 = 4*w. Let h be (2/p + 0)*-3. Are 0.4 and h non-equal?
True
Suppose -1138 = 3*a + 2*s, a + s = -4*s - 401. Let t = -4133/11 - a. Is 1 at least as big as t?
True
Let y(j) = j**3 - 13*j**2 + 13*j - 7. Let g be y(12). Suppose -g - 7 = 4*k. Is -11/3 equal to k?
False
Let o be -5 - 2583/45 - 2. Which is smaller: -63 or o?
o
Let c = -21 - -22. Let d = -587 + 6461/11. Which is bigger: d or c?
c
Let h = -875/2378 - -27/58. Is h at least as big as 0?
True
Let o(m) = 4*m + 28. Let b = -12 + 4. Let h be o(b). Is h at least as big as 2?
False
Let w = -62 + 249/4. Let q = 717.3 - 633. Let m = 86 - q. Which is greater: w or m?
m
Let b = 0.0371 - -0.3629. Does -0.77 = b?
False
Let k be ((-124)/(-31))/(0 - -4). Let l = 35 - 58. Which is smaller: k or l?
l
Let x = 8.28 + -8.2. Let k = -2.03 + 2. Let u = k + 0.13. Is u at most as big as x?
False
Suppose 140 = -10*u + 490. Suppose -5*j - f + 10 = 0, 2*f + 2*f = 0. Suppose j*d + 3*d = u. Is 6 < d?
True
Let q be ((-12)/10)/(8/((-80)/3)). Are q and 9 equal?
False
Let p(m) = m**3 + 19*m**2 + 18*m + 27. Let c be p(-18). Which is smaller: c or -2?
-2
Let n = -2559/7 - -2439/7. Is 1 not equal to n?
True
Let s = -64 - -66. Is -229/4 less than s?
True
Let j = -123182/5 + 24544. Which is smaller: j or -93?
-93
Let z(f) = -f**2 + 4*f + 3. Let g = 15 + -8. Let i be z(g). Let k be 8/i*2/(-16). Which is smaller: 0 or k?
0
Let b(p) = p**3 - 6*p**2 - 5*p - 11. Let f be b(7). Do 37/9 and f have different values?
True
Let v(r) = -r**3 + 12*r**2 - 10*r - 9. Let t be v(11). Suppose -11 + 5 = -t*s. Suppose 2*l - 8 = 3*a, 2*a - 5*a - 3*l = s. Is -5 at least as big as a?
False
Let y = 2.94 - 4.14. Are -2 and y unequal?
True
Let h = -16 - -59. Let x = h + -42. Let r be ((-7)/(-21))/(74/(-12)). Is x greater than r?
True
Suppose 3*m - n - 7 = -6*n, 0 = -4*m - 5*n + 6. Which is smaller: m or -1/363?
m
Let n = 11 + -9. Suppose 16 = -0*v + n*v. Let b = -9 + v. Is -1/9 at least as big as b?
True
Let u be ((-731)/51)/((-6)/(-18)). Is u at least as big as -1/2?
False
Let k = 6.0052 + -0.0052. Which is bigger: 7 or k?
7
Suppose -l + 5*l - 4 = 0, -d - l + 77 = 0. Which is smaller: d or 75?
75
Suppose 129*w = 121*w + 200. Which is greater: w or 21?
w
Let l(h) = h**3 + 21*h**2 - 43*h + 62. Let o be l(-23). Is -2 at most o?
False
Suppose 18*j + 32 = 14*j. Which is bigger: 14/11 or j?
14/11
Let i(q) = q**3 - 8*q**2 - 11*q + 1. Let g be i(-12). Let c = g + 24835/9. Which is smaller: c or 12?
12
Suppose 0 = 4*h + 4, 4*f - 3*h - 8 = 3*f. Suppose 13*i - 44 = 2*i. Suppose -3*r = -15, -i = -3*c + 6*c - f*r. Which is bigger: 11/2 or c?
c
Let o be (2/4)/(2/(-28)). Let z(w) = -635*w - 3182. Let c be z(-5). Is o bigger than c?
False
Let m(t) = -15*t + 383. Let f be m(27). Is -304/13 > f?
False
Let y be 4/(-20) + 3/15. Suppose -5*o + 7*o = y. Is -10/9 <= o?
True
Suppose 0 = f - 2*j - 7856, -2*j + 2 = -3*j. Let x = 39417/5 - f. Let n = 31 - x. Is -3 less than n?
True
Let c(b) = -5*b - 35. Let j be c(-9). Let r be 2/(-5) - (-288)/20. Let q = 23 - r. Are q and j nonequal?
True
Let k = -22.48 + 22. Let t = -0.18 - k. Is 0.9 > t?
True
Let i be (-15)/(-30) + (-1)/(-2)*1. Which is smaller: i or 2?
i
Let g(r) = r**2 + 3*r - 31. Let k be g(9). Let a be (-14)/k + 2 + (-39)/(-33). Do 1/6 and a have different values?
True
Let s = 1206 + -15679/13. Is -3 not equal to s?
True
Let n = 90.75 + -91. Let m = -0.35 - n. Is 67 greater than m?
True
Let z be (72/30)/((-2)/(-5)). Suppose -m + 2*m - z = 0. Is m greater than 6?
False
Let t(h) = 13*h - 41. Let n be t(12). Let f = 807/7 - n. Let u = 116/165 - 7/11. Is u at most as big as f?
True
Suppose -n - 2*q - 10 = 2*n, -4*n - 12 = 4*q. Let a be (-1 - (-4 - n))*1. Is -2/59 at most as big as a?
False
Let o(b) be the first derivative of -b**2/2 - 1. Let x be o(0). Suppose -3*g - 1 + 4 = x. Which is greater: -3/4 or g?
g
Let y = 24 - 16. Let r = 7 - y. Let i(l) = -2*l + 2. Let g be i(2). Which is bigger: r or g?
r
Let b = 5 - 1. Suppose 2*f - b*f + 32 = 0. Let n be (-7)/(-28)*f/14. Is -1/9 > n?
False
Let l = 6/215 + -2192/1505. Which is greater: l or 0?
0
Let x = 133/6 - 3869/174. Suppose 12 + 3 = -3*l, 3*l + 15 = -m. Suppose m*g - 2*g = 0. Which is smaller: x or g?
x
Let f = -2.48 + -0.02. Let o = -2.62 - f. Are 0.1 and o non-equal?
True
Let a = 72/17 + -199/51. Is a not equal to 0.256?
True
Let n be ((-146)/18)/(11/33). Let g = n + 23. Let c = 1 + -2. Which is smaller: g or c?
g
Let i = 3.99 - -0.01. Let r = 3159 - 3160. Is i smaller than r?
False
Let b = -2220 + 2217.746. Let d = b + 0.134. Let f = -0.12 - d. Which is bigger: f or 1?
f
Suppose 0*w + 18 = -w + 5*q, 10 = -3*w + 4*q. Let r be -4 + w + 30/2. Let z be r/10 + 2/(-4). Which is smaller: 1 or z?
z
Let c be (38056/(-13))/4 + (-2)/13. Which is smaller: c or -729?
c
Let w be 30/(-4)*2/(-3). Let g be (7/(-2))/(-1*1/2). Is g > w?
True
Suppose -5*n = 2*m - 110, -m = -n - 2*n + 66. Suppose w + w + n = 0. Let h be (-2)/24 + w/44. Which is bigger: -14 or h?
h
Let y = -34 - -137/4. Let s = -325 + 9426/29. Let k = s - 33/116. Are k and y equal?
False
Let d = -0.73 + 0.33. Let g = -1.5 + 3.4. Let f = d + g. Which is greater: f or -1/4?
f
Let x = -137 + 243. Let n = -73 + x. Is n at least as big as 33?
True
Let f be (-1244)/60 - ((-6)/5)/3. Are -21 and f nonequal?
True
Let z(k) be the third deriv