s 4 < k?
False
Let l = -1227/56 - -156/7. Let c = -0.2 + 0.3. Which is smaller: l or c?
c
Let b be (-2 + 2)*(-2)/(-4). Let c(o) = -o + 7. Let d be c(5). Let w be (-11)/(-7) + (d - 4). Which is greater: w or b?
b
Suppose -32 = -a - 5*l, 2*a - 4*l + 0 = 8. Let d(n) = 6*n - 2. Let f be d(2). Let v = a - f. Which is smaller: v or 3?
v
Suppose -3*d = d + 40. Suppose -2*q = 10 + 2. Let i = d - q. Do -4 and i have different values?
False
Suppose 4*m = 2*f + 16, 0 = -3*f - 3*m - 2*m + 20. Let w be -3 + 2 + (f - -2). Suppose 2 = c + w. Is 3/2 > c?
True
Suppose 2*w = w + 61. Let m = w - 367/6. Are 1 and m equal?
False
Suppose 4*p = 12 + 4. Suppose p*r = r. Let l(q) = q**3 + 4*q**2 - 6*q - 4. Let o be l(-5). Which is smaller: r or o?
r
Let u(g) = -g + 2. Let m be u(0). Let s(i) = i + 5. Let b be s(6). Let f(o) = o**2 - 11*o - 1. Let p be f(b). Is m smaller than p?
False
Let f(y) = -2*y + 5. Let k be f(4). Suppose 0 = 2*q - 0 + 2. Let l = q + -3. Which is greater: l or k?
k
Let p = 0.08 - 0.1. Let z = 2.02 + p. Let l = 0.38 + -0.38. Which is greater: z or l?
z
Let u be (-5 - 261/(-51)) + 144/(-935). Is u >= -1?
True
Let y be 22/(-77) - 47/7. Which is smaller: y or 1?
y
Let m = 9 - 9. Suppose m = -5*t + 10*t. Are -5/7 and t nonequal?
True
Let y be 10/(-88)*(12 - 3). Let i = 21/44 + y. Which is bigger: i or -1?
i
Let g = 95 + -100. Which is greater: g or -14?
g
Let h = -4 - -3. Let k(t) = 6*t. Let x be k(-1). Let j be (x/2)/((-21)/(-4)). Is h less than j?
True
Suppose -5*t + 39 - 9 = 0. Is 41/6 at least t?
True
Let g(a) = -2*a - 4. Let s be g(-7). Is s less than or equal to 10?
True
Let s = 95155/41 - 2321. Which is greater: s or -1?
s
Let f = -2.4 + 3. Let g = f + -0.8. Do g and -1/3 have different values?
True
Let s = 4 - 6. Let z = s + 2. Let h(y) = -2*y + 6. Let n be h(3). Is n > z?
False
Suppose 0 = -3*q + 18 + 12. Let j be (-2)/(-12)*q/15. Is 1 >= j?
True
Let w = -4 - -8. Let s be (-6)/w*(-6)/15. Let m(x) = -x**3 - 5*x**2 - 3*x + 4. Let y be m(-4). Is s at least as big as y?
True
Suppose 8 = -0*g - 4*g. Let v be -1*1/((-4)/(-2)). Is g > v?
False
Let x = 7/8 - 13/24. Let d = 6 + -4. Let o = d - 3. Which is smaller: x or o?
o
Let h = 116 - 116. Which is bigger: h or 17?
17
Let y be 14/(-91) - 55/(-104). Which is smaller: 1 or y?
y
Let h = 7 - 7.06. Let k = 1.94 - h. Let l = 36 - 35. Which is bigger: l or k?
k
Let c = 5/3 + -7/6. Let d = -2 - -2. Let w = d + -0.1. Is w != c?
True
Let q(j) = 5*j**2 - 16*j - 6. Let g be q(4). Is 10 >= g?
True
Let w = -6 - -5. Let i be -3*1*(-1)/(-7). Which is greater: w or i?
i
Suppose -2*y + 8 + 4 = 0. Let i(o) = -o**3 + 5*o**2 - 6*o + 5. Let l be i(3). Is l at least as big as y?
False
Let d = -2558/7 + 364. Which is smaller: 0 or d?
d
Suppose -21 = -2*k - 7. Let a = 0 - -7. Is k less than or equal to a?
True
Let u(f) = 3*f**2 + 10*f - 4. Let z be u(-4). Suppose 5*l + 2 = 7. Let j = l + 2. Which is greater: j or z?
z
Let t be (1 - (-15)/(-9))*3. Let u be ((-14 - t)/(-3))/2. Let n be (5/u - 1)*2. Are 4 and n nonequal?
True
Let p be (-20)/9 - (0 - 2). Suppose -4*w + 2 = -x, 0 = -5*w + 4*w + 1. Suppose -x*z = k + 4, 5*k = -4*z - 5 - 3. Is p greater than or equal to k?
False
Let b be (-3)/18 + (-26)/(-36). Is b equal to 2?
False
Let m be -1*(-3)/((-51)/2). Is m smaller than 1?
True
Let n = 34/15 - -157/30. Is n not equal to 9?
True
Suppose 0 = -0*m - 6*m + 6. Let g = 0.04 - -0.36. Does g = m?
False
Suppose 0 = -4*k - 0*k. Let m = -8809 + 554987/63. Let t = m - 3/7. Are t and k unequal?
True
Let l be (28/(-21))/(4/(-18)). Suppose 2*m = l, -5*z - 3*m + 14 = 5. Is -2/7 at most z?
True
Suppose 0 = z + 2*z + 6. Let q be ((-16)/60)/(z/3). Which is greater: q or -3?
q
Let h be 61/63 + -1 - -3. Let g = -19/9 + h. Suppose 5*y - 24 = 4*z + 1, 5*y - 5*z - 30 = 0. Is g greater than y?
False
Let u(o) = -o - 1. Let v be u(-7). Let g be (-3)/2*(-16)/12. Let k be 7/(-6) - g/v. Is -3 <= k?
True
Let o = -130 + 130.3. Do o and -18 have different values?
True
Let k = 0.1 + -0.3. Let n = -4.1 - -4. Let w = k - n. Which is smaller: 1/6 or w?
w
Suppose -2*g = 5*c - g + 11, -2 = 2*c - 2*g. Let l = 5/12 + -199/132. Which is smaller: c or l?
c
Let y = -0.129 + -0.041. Is 0.2 equal to y?
False
Let q = 1.09 + 0.01. Let d = 0.1 - q. Is 5 equal to d?
False
Let x be 8/6 - 1/3. Let r be (-4)/(8/(-26)) - 2. Let d = r - 79/7. Is d at least as big as x?
False
Suppose -3*r = -5*i - 5 + 1, 4*r - 44 = -3*i. Suppose 3*t + r = -1. Is t greater than -1?
False
Suppose 3*s = 5*k + 9, 3*k + 0*s + 2*s = 6. Let z be -4 - (k - 2 - -1). Is -3/2 less than or equal to z?
False
Suppose 4*v = 6*v + 12. Which is smaller: -5 or v?
v
Let k = -718242 - -15086093/21. Let t = k + -530/3. Let o = t + 33. Which is smaller: o or 1?
o
Let w be (4 - 52/10)/(102/20). Do w and 0 have the same value?
False
Let f = -39 + 38. Is 8 greater than f?
True
Let v = -5 - -7. Suppose -v*t = t. Let c = 13 + -14. Which is bigger: t or c?
t
Let x = 26/29 + -1231/1276. Which is bigger: 0 or x?
0
Let x be 2/(-49)*(-7)/5. Is x at least -1?
True
Let f be 124/12*(-1)/(8/18). Which is bigger: f or -24?
f
Let q(d) be the third derivative of d**4/8 + d**3 + 3*d**2. Let k be q(-6). Is -11 less than or equal to k?
False
Let t = -4 + 1. Let b = 87 - 85. Are t and b equal?
False
Let h(i) = i - 14. Let y be h(10). Let n = 14 - -8. Let m be 3/(-12) - n/8. Which is smaller: m or y?
y
Let n(w) = -2*w**3 - 11*w**2 - 5*w - 2. Let m be n(-5). Which is greater: 5 or m?
5
Let u = 29 + -29. Let h = u + -0.2. Which is smaller: 0 or h?
h
Let u = 65/6 - 31/3. Is u greater than -0.09?
True
Let d = 271 + -174. Let p = 680/7 - d. Which is smaller: p or 1?
p
Suppose 171 = -5*n + 2*i, 2*n + i = -i - 74. Let q = n - -23. Is q at least as big as -13?
True
Let q be (-1)/4 + 17/32. Let k = 127/224 - q. Let o = 2.13 - 0.13. Is o > k?
True
Suppose -149 = -4*a - t, -4*a = -5*a - 3*t + 51. Which is smaller: 35 or a?
35
Suppose -9*f + 246 = -105. Which is smaller: 38 or f?
38
Let x = 23 + -25. Which is smaller: x or -2/5?
x
Let c be (-2)/(-3) + (-4)/(-12). Let g be (-247)/(-1 - (-5 + c)). Let s = g - -81. Is -1 <= s?
False
Let a = 35 - 40. Which is bigger: 2/5 or a?
2/5
Let g = 4 - 4. Suppose 0 = 5*x - g*x - 20. Which is bigger: 2 or x?
x
Let s = 90 + -83. Let n be 2/7 + 94/14. Is n at most s?
True
Let x = -8 + 8. Suppose -2*b + 7*b - 10 = -2*a, x = 5*a + 4*b - 8. Which is greater: 2/35 or a?
2/35
Suppose -10*v = -0 - 0. Let c = -95576 - -24945293/261. Let t = c - -8/29. Is t <= v?
False
Let l(s) = -s**2 - 10*s + 8. Let r be l(-11). Let p be 5/(-15) + 20/r. Is p >= -6?
False
Suppose -3*d = d. Let l = 144 - 213. Let u = l - -343/5. Is u not equal to d?
True
Suppose 17 = -2*m + 51. Suppose 3*r - 4*p + m = 4, -r = 5*p - 21. Is r != 0?
True
Let z = 167 - 168. Which is smaller: z or 0.28?
z
Suppose 10 = -3*n + n. Let u(h) = -h**2 - 3*h + 5. Let f be u(n). Is f smaller than -4?
True
Let i be (-49)/(-14)*(-12)/(-7). Suppose 4*s - 6*s = i. Is s >= -3?
True
Let f = 297/5 - 59. Let d = -69 + 47. Let a = d + 43/2. Is f < a?
False
Let r = 541 - 11359/21. Let h(f) = f**3 + 8*f**2 + 7*f. Let p be h(-7). Suppose d - 4*d = -2*z - 1, -4*z - 4*d + 8 = p. Which is greater: r or z?
z
Let j(i) = i**3 - 4*i**2 + 3*i. Let m(o) = o**3 + o. Let a be m(1). Let p be j(a). Is p < 1?
True
Suppose 3 = 5*w - 12. Which is smaller: -0.6 or w?
-0.6
Let z be ((-1848)/(-110))/(-12)*4/14. Let v(b) = 5*b**2 + b**3 + 0*b**2 - b - 7 + 2. Let n be v(-5). Do z and n have the same value?
False
Let n(t) = t - 3. Let i be n(5). Let u = -95 + 478/5. Which is bigger: u or i?
i
Let i(d) = 2*d + 19. Let a be (-42)/14 - 2*3. Let c be i(a). Which is bigger: -0.3 or c?
c
Let p = -22.54 - 0.46. Let o = -19 - p. Which is smaller: 2 or o?
2
Suppose 3*g - 14 - 34 = 0. Is 13 != g?
True
Let s be (4/(-6))/((-3)/9). Let m(n) = -2*n + 3. Let l be m(s). Let h = 3/65 - 29/65. Which is smaller: l or h?
l
Suppose 4*c - 27 = -4*v + 3*v, -5*v = -4*c + 57. Which is smaller: 9 or c?
c
Let r be -3*(-1)/(-1) - -1. Let c(l) be the first derivative of l**3/3 - 3*l**2/2 - l + 1. Let x be c(3). Is x >= r?
True
Let v be (-6)/10 + (-99)/(-15). Let x(k) = k**3 - 5*k**2 - 6*k + 1. Let w be x(v). Which is greater: 2 or w?
2
Let i = -41 + 25. Is -18 < i?
True
Suppose 2*l = -l - j + 5, -l - 20 = -4*j. Suppose l + 9 =