 z unequal?
True
Let y = 27/815 - -784737/3260. Let u = -242 + y. Is 1/4 bigger than u?
True
Let a(r) = -2*r**2 - 3*r + 2. Let x be a(-3). Which is smaller: x or -40/7?
x
Suppose 3*o + 29 = -2*n, 5*n + 2 = 2*o + n. Let p(z) = z**2 - 6*z - 1. Let j be p(5). Which is smaller: j or o?
o
Let u = 669 - 3937/6. Is 14 >= u?
True
Let r(s) = 2*s**2 - 2. Let t be r(-2). Suppose -5*q - 3*f = -17 - 4, 0 = 3*f - t. Suppose -q*o - o = -d - 21, -d + 3*o - 16 = 0. Is -2/3 greater than d?
True
Suppose k + 1 = 6. Let d(z) = 2*z**3 - 2*z**2 + 3*z - 2. Let v be d(1). Which is bigger: v or k?
k
Let p = -12 - -23. Suppose -4*u + 7*u = 36. Which is smaller: u or p?
p
Let i = -165/4 + 41. Suppose -19 + 7 = -3*o. Let h = o - 3. Which is smaller: h or i?
i
Let d be 3/(-5) + 1/5. Which is smaller: -11 or d?
-11
Let x = -0.06 + 0.06. Is -0.3 less than x?
True
Let z(c) = c. Let t be z(-1). Let f = -89/90 - -7/18. Which is smaller: f or t?
t
Suppose 2*j - 4 + 8 = 0. Let i = -2.1 + 0.1. Let x = i - -2.2. Is j greater than or equal to x?
False
Let l be (0 - (-1 + 3))/(-2). Suppose r = -2 + l. Is -1 < r?
False
Let n = -18 + 25. Let k = n - 5. Suppose -2 = -k*p - 4. Which is smaller: p or 2/5?
p
Let t(o) = 0*o**2 + 0 + 6*o + 3 - o + o**2. Let u(c) = -c - 4. Let y be u(0). Let q be t(y). Is 1 < q?
False
Let q = 79 - 78. Let k = 1 + -1.4. Is k <= q?
True
Let o = -32 - -255/8. Which is smaller: -1 or o?
-1
Suppose 0 = 3*w + t - 5, 2 = 2*w - 6*w + 3*t. Which is greater: w or -1/59?
w
Let d be (16 - 19)*(-1)/3. Do d and -1/21 have the same value?
False
Let x = 178 + -379/2. Is x > -13?
True
Suppose -20 = -4*z - 0*z. Suppose 0 = 3*j + 2*j - z. Which is bigger: 1/6 or j?
j
Let d be (-6)/4 - (1 + -2). Let v = 2.5 - -0.5. Let a = v + -2.9. Which is greater: d or a?
a
Let u be 8/6*60/(-70). Is u less than -1?
True
Let p be (0 - 0)*11/11. Which is greater: p or 2/109?
2/109
Let d = -6 + 4. Let l be -1 + 268/92 + d. Is l smaller than -1?
False
Let z(u) = 11*u - 28. Let n be z(9). Do 71 and n have the same value?
True
Let b be -1 + 0 + (-1155)/(-18). Let s = b - 63. Let p = 2 + -2. Which is bigger: p or s?
s
Let c = -27 - -55/2. Which is bigger: c or 2?
2
Let p be -3 - 0/(1 + 0). Suppose 12 + 7 = -5*g - 4*k, 0 = -5*g - 3*k - 18. Are g and p unequal?
False
Let p(u) = 45*u - 16*u + 6*u**2 - 23*u + 8 - u**3. Suppose 4*g - 3 - 25 = 0. Let y be p(g). Which is smaller: y or -1/6?
-1/6
Let n be 4/6 + 2/6. Let m be ((12/21)/4)/(-1). Do n and m have different values?
True
Let u = -3 - -2.6. Let w = u - 0.6. Do w and 3/2 have different values?
True
Let n be 3*3/(-27)*2. Which is bigger: n or 0.1?
0.1
Let d(b) = -b - 8. Let u be d(-9). Let m = u - 1. Is m smaller than 3/5?
True
Let f = -646/7 - -13011/140. Let t = f - 5/4. Is -2 smaller than t?
True
Let m(u) = -u + 6. Let f be m(4). Let o(q) = 4*q + 1. Let i be o(1). Suppose i*l - 3 = 2*l. Which is smaller: f or l?
l
Let j be 21*5/(30/(-8)). Let v = -43 - j. Is v greater than or equal to -16?
True
Let f = -24 + 24. Let q = 0 + -1. Is q less than f?
True
Let g be (6/14)/((-6)/4). Which is smaller: g or 0?
g
Suppose 4*p = -s - 4 - 6, 0 = 2*p - 3*s - 2. Which is smaller: -2/3 or p?
p
Let h = 11 - 4. Let w = h + -62/9. Is w at least 1?
False
Let r be (-4)/(-14) - (-38)/14. Let p be (1/(-12))/(r/(-8)). Let z = 1 + -2. Which is bigger: z or p?
p
Let y = 8 + -1. Let i = y + -6. Suppose 0 = -0*p + p + 1. Which is smaller: p or i?
p
Let f be 14/(-15) - (-5)/15. Is f >= 2?
False
Suppose -4*h - 2*w - 6 = 2, 0 = 3*h + 4*w + 11. Let x be (-1)/(-2) - 168/915. Let k = x + -1/61. Do k and h have the same value?
False
Let y = 64 + -47. Which is smaller: y or 16?
16
Suppose -2*g - 22 = -4*u, 5*g - 4*g - 7 = -4*u. Suppose -r = u*r - 24. Let z be (-18)/(-24)*2/r. Which is smaller: z or 1?
z
Let j(u) = 2*u + 1. Let f be j(2). Suppose 15 + 0 = -f*b. Suppose 5 - 3 = -o. Which is smaller: o or b?
b
Let b(y) = y**2 - 8*y + 1. Let u be b(6). Let j = u + 10. Which is greater: 1 or j?
1
Suppose -194 = 3*i - 0*p - 2*p, 219 = -3*i - 3*p. Let t = -136 - i. Let y be t/(-104) - (-2)/(-4). Is y less than -1?
False
Let p be (0 - 1)/(2/(1 - 59)). Which is greater: p or 28?
p
Suppose -4*v = -5*b - 22, -2*v + 4*b - 48 = -7*v. Suppose -5*m + 37 = -v. Which is smaller: m or 10?
m
Let x be (4 - 0/(-1))*4/(-40). Let r be (-2)/(-8) + 2/(-8). Which is bigger: x or r?
r
Let f(c) = c**2 - 2*c + 2. Let a be f(0). Is a != 5/4?
True
Let q be (4/212)/(0/2 - -2). Is q != 1?
True
Let q(m) = m**2 + 2*m + 3. Suppose 0 = 4*y - 5*y + 2*u - 2, -u = 0. Let n be q(y). Let p = n - 1. Is 2 greater than or equal to p?
True
Let h = 0.062 + -0.172. Which is bigger: -1/2 or h?
h
Let i be (-20)/(-8)*(-4)/5. Let k be ((-1)/i)/((-15)/210). Is k at most as big as -7?
True
Let g(u) be the first derivative of -u**3/3 + 5*u**2 - 15*u + 5. Let y be g(8). Is y greater than or equal to -4/11?
True
Let f(m) = m**3 + 5*m**2 - 2*m - 6. Let a(l) = l - 1. Let z(h) = 4*a(h) - f(h). Suppose -21 = 7*r + 21. Let n be z(r). Does n = 2?
True
Suppose 2*x = 7*x - 5. Let r = 5/8 + -41/40. Do r and x have the same value?
False
Let m = -74.8 + 69. Let h = 6 + m. Is h smaller than 2/3?
True
Let d be 50/(-16) + (-2 - -1). Let y = d + 355/88. Which is smaller: 0 or y?
y
Suppose -2*d + 10 = 3*d. Let x(y) = -y**d + 1 - 4*y - 1 + 2. Let a be x(-4). Is a at most 3?
True
Let h(v) = v**3 + 3*v**2 + 2*v + 3. Let n be h(-2). Let l be 12/(-8)*(-1)/n. Let b = 1 + -1. Which is smaller: b or l?
b
Let c = 0.21 + -0.18. Are -1/4 and c unequal?
True
Suppose 0 = 17*j - 9 + 26. Which is smaller: j or -9/22?
j
Let r be 779362/(-10080) - (-4)/14. Let j = -688/9 - r. Let n = j + -3/16. Which is smaller: n or 0?
0
Suppose 2*i - 6 = i. Suppose k + i = -k. Is k less than or equal to -5?
False
Let p be 1 - ((-3)/18 - (-86)/12). Let g(c) = c**3 - 6*c**2 + 4*c - 2. Let h be g(5). Are h and p non-equal?
True
Suppose -14 - 6 = -2*m - 5*s, -12 = 5*m - 3*s. Do -1 and m have different values?
True
Let x = 0.6 + -0.2. Let r = x - 0.4. Is r less than 6?
True
Suppose -368 - 318 = 14*q. Is -48 less than or equal to q?
False
Let q(x) = x**2 + 4*x - 2. Let b be q(-5). Let m be -1*(5 + (-6)/b). Let u be m/(-15)*5/4. Is 0 < u?
True
Suppose -4*f + 6*f = -6. Let a be 114/(-18) + 2/f. Is a equal to -6?
False
Suppose 2*z + z = 0. Let s = -0.21 - 7.79. Let i = s + 5. Which is smaller: i or z?
i
Let k(a) = 3*a - 8. Let v be k(4). Is v < 0?
False
Suppose 3*u = 5*u - 2, -2*d + u = -7. Suppose -d*c + 6 = -3*c. Is c < 6?
False
Suppose v = -v + 4*y + 36, 3*v + 3*y - 54 = 0. Are v and 18 equal?
True
Let p = 39 - 39.2. Let g = -4 + 2. Is p > g?
True
Let f = -9 + 12. Let a = f + -1. Which is bigger: -2 or a?
a
Let o = -81/2 - -42. Which is smaller: o or -2?
-2
Let x be (-15)/10 + 2/4. Let k(m) = 2*m**2 + 2*m + 1. Let c be k(x). Do c and -2/13 have different values?
True
Let p be -1 + (-68)/(-35) + -1. Let a be (2 - -2)*(-3)/12. Which is bigger: a or p?
p
Let m = 1.8 + 0.2. Let a be (-15)/12*2/10. Which is bigger: a or m?
m
Suppose -3*x = -6*x + 12. Suppose x*t + 6 = 2. Does t = 1?
False
Let w = 7 - 5. Suppose 4*r = -5 + 17. Suppose 3*o = -w*z + 1 - 12, -r*o + 1 = -z. Is 1/3 equal to o?
False
Let x = 433/5 + -86. Which is smaller: x or 1?
x
Suppose -c - 4 + 2 = -5*x, 3*c = -4*x - 6. Let r(i) = 2*i**2 - 4*i. Let f be r(3). Let s be (-11)/(-7) - (7 - f). Is x less than s?
True
Let k be 17/4 - (-7)/(-28). Let f be (2/1)/(k + -2). Let g be 0*(3 - 2) + f. Which is bigger: g or -2?
g
Let l be 3/15*18*-5. Let o = -3 - l. Which is smaller: o or 14?
14
Let z = 1379/15 + -92. Let m be -1 - (125/(-175) - 4/14). Which is smaller: m or z?
z
Let i be ((-2)/3)/(10/(-45)). Let v(l) = -i*l + 2*l - 3 + 2. Let g be v(1). Is g at least as big as -1?
False
Let f = 12 - 10. Let p be 8 + (-1 - 2/f). Suppose -9 = -2*g + 3. Is p at most as big as g?
True
Let d = -2/495 - -299/495. Which is greater: d or 3?
3
Suppose -4*p - 4*i + 6*i = -8, 5*p - 5*i - 20 = 0. Let g be -2 - (p + 2/(-1)). Let a(l) = -l + 5. Let q be a(5). Is q greater than g?
False
Suppose s - 5*b = -s - 13, -5*s - 3*b = -14. Is 1 >= s?
True
Let a = 53 - 88. Let c = 10582/3 - 3562. Let k = a - c. Is k > -1/3?
False
Let i = 69/5 - 1171/85. Which is smaller: i or -1?
-1
Suppose 5*i + 19 = 4*s, 5*s + 2 + 8 = -5*i. Suppose -3*y - 20 = 2*y. Which is smalle