 v(6). Does a = 6/11?
False
Let s = 1108 - 7750/7. Which is smaller: s or 2?
s
Let s = -70 + 69.9. Which is greater: 2/29 or s?
2/29
Let v be (-929)/2184 + (-36)/(-84). Which is smaller: -1 or v?
-1
Let d = -1.5 + -1.5. Which is greater: d or 82?
82
Let g = 4.23 - 0.23. Let c = 4 - g. Let t = 2 - 1.94. Is t at least c?
True
Let q = -2/14617 - -44797/6913841. Is 1 less than or equal to q?
False
Let u = -49 - -52. Suppose u*k + 4*k + 7 = 0. Which is smaller: -24/11 or k?
-24/11
Let h(u) be the second derivative of u**5/5 - u**3/3 - u**2/2 + 12*u. Let v be h(2). Do 27 and v have the same value?
True
Let x be -2 - (-3 + 26*(-5)/4). Let t = x + -33. Let g be (12/(-10) - 0) + 1. Is t less than or equal to g?
False
Let m = 225 - 674/3. Is m at most 22?
True
Suppose -p - j = -20, 3*j - j + 5 = p. Suppose 7*m = 8*m - p. Let x = 16 - m. Which is bigger: -7 or x?
x
Suppose -2*s - 5*s + 427 = 0. Let v = s + -65. Are v and -4 unequal?
False
Let a = -24 + 24.1. Let g = 0.08 + a. Which is bigger: 0 or g?
g
Let h = -2.53 + -130.47. Let i = h - -134. Is 0.7 at least as big as i?
False
Let f be -201 - (4 + -9 + 10)*1. Which is smaller: f or -208?
-208
Suppose -2*n = -8*k + 3*k + 21, 3*k + 3*n = 0. Suppose -3*d = -3*t - 18, k*t + t + 3 = -3*d. Suppose 0 = -8*h + 4*h - 4. Which is bigger: d or h?
d
Let q be (4/3 - 2)/(28/(-42)). Let c be (q/4)/((-5)/(-80)*34). Is 0 at least as big as c?
False
Let g(o) = -20*o - 119. Let i be g(-6). Which is bigger: 2/553 or i?
i
Let n = 2.01 + -0.11. Let c = -0.9 - 1.6. Let o = n + c. Which is greater: 0 or o?
0
Suppose 5*u = 5 - 0. Let v = -3327 + 3330. Is u at most v?
True
Let z = 233 - 236. Suppose 4*j = -8 - 8. Which is smaller: j or z?
j
Let t = 2 - 1.5. Let y be (-109)/15 - (-24)/(-60). Let d = 8 + y. Is t less than or equal to d?
False
Let p = 76/315 - -2/45. Which is bigger: p or 0.05?
p
Suppose 230 + 70 = 10*i. Let f = i - 29. Which is bigger: -19/5 or f?
f
Suppose -174 = -49*y + 55*y. Do y and -27 have different values?
True
Let s = -1 - 11. Let o = -28 + 34. Let t(j) = j**3 - 6*j**2 + j - 7. Let g be t(o). Which is greater: g or s?
g
Suppose -z = -2*c + 12, -36*z + 7 = -37*z + c. Let d be (6/8)/(1/4). Let w = z + d. Are w and 0.22 equal?
False
Let k = 240 - 241.6. Which is smaller: k or -2?
-2
Let c = 543/2 + -1023/4. Let n = c - 16. Let h = 4.1 + -4. Is h < n?
False
Let w = -94 + 67. Let m = -29 - w. Which is smaller: m or -3?
-3
Let s(r) = r**3 + 9*r**2 + r + 9. Let a be s(-9). Suppose 2*t + t = a. Suppose t = v + 3*j - 11, -5*j + 0 = -5*v - 5. Are v and 0 equal?
False
Suppose -3*d - 2*r = -3, 7 + 5 = d - 3*r. Let p = 6 + -1. Suppose -2*t - p = -x, -d*t = 2*t - 5*x + 20. Is -4 < t?
True
Let l = -427 + 410. Let j = -1.1 - -2.1. Which is smaller: j or l?
l
Let x(f) = -f - 8. Let r be x(-10). Suppose w - r = 2*l, -8 = -w - 3*w. Let k = 3.9 + -4.3. Which is bigger: l or k?
l
Let c be ((-24)/108)/((-2)/18). Suppose -l + 5 = 3*y, c*l = 4*y - 2*y - 14. Which is bigger: -5 or y?
y
Let a be 6/(-2) - 1 - -6. Suppose -a*p - 3*p - 195 = 5*m, -m - 3*p - 41 = 0. Which is smaller: m or -37?
m
Let w(p) = -2*p - 6. Let h be w(3). Let d(v) = -2*v**2 + 4*v. Let x be d(-8). Let y be x/12 - (-2)/6. Is h not equal to y?
True
Let r = 2/9373 - -5183265/18746. Let k = -283 + r. Which is bigger: k or -7?
k
Let f = -2240 - -129923/58. Which is greater: -1 or f?
f
Let t(i) = -33*i - 99. Let r be t(-4). Let h(s) = s**2 + 4*s. Let j be h(-8). Which is bigger: r or j?
r
Let x = -11.8 + -3.2. Let t = x - -19. Let s = -4 - t. Which is greater: 0 or s?
0
Let k = -14/3 + 65/12. Let f be (-75)/(-6) + 3/(-6). Let t = -12 + f. Are t and k nonequal?
True
Suppose 5*z = 3*l + 136, l + 2*z = -l - 96. Let i = 87 + l. Let y be 6/(-4) + 52/i. Does 1 = y?
False
Let i be ((-18)/15)/((-321)/315 + 1). Is i greater than 63?
False
Suppose -5*x - t + 45 = -21, 2*x = -5*t + 8. Let v(j) = -j**3 + 4*j**2 + 5*j. Let p be v(5). Suppose -2*s = -p*s. Is s greater than x?
False
Let l be (-372)/(-90) + (-2)/15. Suppose 2*q + 3*n - 23 = 0, 0 = 3*q - l*q - 4*n + 19. Suppose -q*f = f - 24. Is f bigger than 4?
False
Suppose 3*y + 455 + 71 = 2*q, 880 = -5*y + 4*q. Is -174 at least as big as y?
False
Let h = 5524 + -1165562/211. Let p = -168 - -169. Are p and h unequal?
True
Let m = 46/33 - 8/11. Let v = -2/1045 + 992/1045. Is m at most as big as v?
True
Let g = -95 + 95.26. Which is bigger: -0.3 or g?
g
Let g be 8/3*(-36)/24. Let h be g/10 + 456/(-60). Let v be 12/40*h/(-12). Is 1 at most v?
False
Let d be 3/((-387)/240) + (1 - -1). Let k = 302/301 + d. Which is smaller: k or -1/4?
-1/4
Let v = -0.2 + 0.3. Let l be 4116/504*(-3)/(-35). Which is smaller: l or v?
v
Let h = 112 - 111. Suppose 7*l = 85 + 83. Which is bigger: l or h?
l
Let h be 3/(117/(-57)) + 2. Let g = h + -48/65. Let x be 4/(-3*(-6)/(-9)). Which is smaller: g or x?
x
Suppose -948 = -4*w + 4*j, 2617 = 9*w + 2*w - j. Which is bigger: 236 or w?
w
Let t = -0.421 - -0.081. Is t greater than -1?
True
Let d(j) = j + 4. Let p be d(-7). Let i be (p - 19/(-5))*-10. Let u(l) = -4*l - 19. Let s be u(i). Which is bigger: 12 or s?
s
Let d be (-2 + 2 + 1)*1. Let c(f) = -3*f**3 + f**2 - f + 1. Let a be c(d). Is a less than 7?
True
Let a be 3/12*4*1. Let y be 305/(-2) - 5/10. Let k = y + 4135/27. Are k and a equal?
False
Let x(d) be the third derivative of d**5/60 + d**4/24 - 2*d**3/3 - 7*d**2. Let c be x(-5). Let p be c/6 + (4 - 6). Is p < 2/23?
False
Let k(q) = -4*q + 2. Let w(m) = 3*m - 3. Let r(z) = -2*k(z) - 3*w(z). Let c be r(4). Let y be 3*(3 - (-20)/(-5))/1. Is y bigger than c?
False
Let h = 1642 + -441693/269. Does h = 0?
False
Let d = -206/335 + 1/67. Let m = 19 - 26. Let x be (-1)/7 - (-13)/m. Do x and d have different values?
True
Suppose 0 = -5*x + 5*h - 10, 4*x = h - 1 - 1. Suppose 15 = -5*q - 5*v, 0*q + 4*v = -q. Are x and q nonequal?
True
Let p(z) = z**2 + 14*z + 49. Suppose 3*o = 2*r + 31, -6*r + 2*r - 2*o - 22 = 0. Let l be p(r). Which is smaller: -3 or l?
-3
Let d = -625/3 + 209. Which is bigger: d or -7/12?
d
Suppose 64 = -22*r + 86. Are 20/81 and r non-equal?
True
Let n be (-45619)/228 - (-2)/24. Are -201 and n equal?
False
Let l = 96 + -56. Let q = -43 + l. Which is smaller: q or -8?
-8
Let l = 247544/35 - 36122/5. Let h = l - -152. Which is smaller: 0.07 or h?
0.07
Let m(v) = v**3 - 5*v**2. Let c be m(5). Suppose c = -3*b + 6*b. Which is smaller: b or -2/21?
-2/21
Let k be (4 + 0 - 2)*(-2 + 25/(-50)). Let j(y) = -y**2 - 4*y + 5. Let v be j(-6). Which is smaller: k or v?
v
Let x be (-2185)/60*2*42/(-21). Is 145 < x?
True
Let y(d) = -3*d**2 - 40*d + 16. Let x be y(5). Which is smaller: -260 or x?
-260
Let w be (-24)/(-99)*(-27)/12. Is w less than 2/23?
True
Let m = 0.1986 + -0.0986. Are m and -13/7 equal?
False
Let i = 3.1 - 3. Let m = 265 + -291.2. Let w = m - -26. Which is smaller: i or w?
w
Let u = -2918 - -26248/9. Let h = -5 - -2. Does h = u?
False
Let l be -4*(-14)/(-48) + 1. Is -8 at most l?
True
Let c(w) = -w**2 + 15*w + 3. Let p be c(25). Does -248 = p?
False
Suppose 0 = -3*q + 11 + 4. Which is smaller: 10 or q?
q
Let v(s) = -5*s - 9. Let f(q) = -16*q - 26. Let c(k) = 3*f(k) - 10*v(k). Let y be c(6). Let t = y + -266/11. Which is smaller: t or 2/17?
t
Let s(x) = 2*x**3 - 4*x**2 + 3*x - 2. Let i be s(2). Suppose -k - 2 = 2*z, 5*z + i*k + 0*k = -5. Let b = 2/469 + -964/6097. Is b less than z?
False
Let w be (-249)/9*(-35)/(-105). Which is smaller: -10 or w?
-10
Let x(h) = h**2 - 5*h + 179. Let q be x(0). Is q equal to 178?
False
Let n(c) = 2*c - 17. Suppose 0*g = -2*g + 16. Let d be n(g). Which is smaller: d or 2/19?
d
Suppose -4*n - 114 = -4*p + 2*p, -3*p = -9. Let x be (2 + -17)*2/n. Suppose 7 = -13*b + 7. Which is smaller: b or x?
b
Let o = -247 + 247. Which is smaller: -8/31 or o?
-8/31
Let x(c) = -c + 3. Let g be x(5). Let l = g + 10. Suppose 5 = -y - l. Is y at most -13?
True
Let l = 2 + 0. Are 5/7 and l equal?
False
Suppose 2*x = 2*f + 52, 4*f + 4 = 2*x - 42. Is 15 at least x?
False
Let p = 23 - 32. Let y be p/21 - (-151)/385. Suppose -6*o = -11*o. Which is bigger: y or o?
o
Let z(w) = 6*w - 4. Let o be z(1). Let v be 5/(5/2) + -26. Let c be ((-30)/4)/(18/v). Which is bigger: o or c?
c
Let w = -45 - -38. Let n be (1/w)/(2/(4/(-2))). Is n >= 0?
True
Let m = 33.933 + 0.067. Let c = -32.7 + m. Let