igger: s or w?
w
Let v be -2*3/186*-2. Let l = -32 - -33. Is l equal to v?
False
Let c = 0.12 + -5.12. Let o = -6 - c. Let k = -0.04 - 0.26. Which is smaller: o or k?
o
Let b(f) = -f + 5. Let x(n) = 2*n**2 + 5*n + 2. Let j be x(-4). Let g = -9 + j. Let p be b(g). Which is smaller: p or -1?
-1
Let m(u) = u**2 + 2*u - 4. Let b be m(-4). Suppose b - 2 = -2*q. Let a(k) = -4*k + 10. Let t be a(3). Is q at least as big as t?
True
Let j(z) = -z**3 + 3*z**2 + 4*z - 6. Let n be j(4). Let v be 8/(-10)*(-45)/n. Let i be (-1)/1 + (-3)/v. Which is smaller: i or -0.2?
i
Let p = -39 + 38.81. Let n = -0.39 - p. Which is bigger: n or 5?
5
Suppose -3*x - x + 20 = 0. Suppose 4 - 6 = -d, a + 12 = x*d. Suppose -8 = 5*i - t, -t - 1 + 3 = i. Is i >= a?
True
Let h be 5*-2*(12/13)/(-6). Which is smaller: h or -1/2?
-1/2
Suppose -129 = 2*k - l, -5*k + 2*l + l - 321 = 0. Let z be 30*(k/(-69) + -1). Let m = 224/207 + z. Is -2/5 bigger than m?
False
Let u be (-1 - 1)/2*1. Let m = 125 + -120. Are u and m equal?
False
Let a(k) = k**2 - 5*k + 2. Let d be a(5). Suppose 2*j - 6*j = 20, 33 = d*m - 5*j. Suppose -m*b + r = -0*b - 3, 3*r + 9 = -b. Which is smaller: 0.2 or b?
b
Suppose 5*t = 10 - 15. Which is smaller: 3 or t?
t
Let k = 0 - -0.2. Let s = 0.3 - k. Let q = 0.1 - 0. Is q at most as big as s?
True
Suppose -5*s + 20 = -2*o, -2*o - 4*s + 16 = -3*o. Which is bigger: 1 or o?
1
Let b = -11 + 15. Suppose 20 = 4*c + b. Suppose -6 - c = -5*i. Which is smaller: i or 2/3?
2/3
Let f be (10/(-6))/(1/3). Let c = 6 + -7. Let m = f - c. Do m and -5 have different values?
True
Let k = 33 + -35. Is k bigger than -0.2?
False
Let h be (-2*1 - 2)/(-2). Suppose -h*l + 5*l = 0. Do l and -2/13 have different values?
True
Let l be 4*((-6)/3 + 3). Do 3 and l have the same value?
False
Let h be 1 + 1/11*1. Which is smaller: 1/4 or h?
1/4
Suppose w + 1 = 4*g, 0*g - g = -4*w - 4. Is g equal to -1/88?
False
Let z = -68 + 68.1. Let j = -2 + 1. Which is smaller: z or j?
j
Let b be 1/1*4 + -2. Suppose 0*k + 4*y = 4*k - 8, 5*y = -b*k - 17. Is k at most -2?
False
Let k = -0.09 - 0.01. Is 2 bigger than k?
True
Suppose 0 = n + 3*n + 2*u - 20, -5*n + 18 = -u. Let w = n - 5. Which is smaller: w or 0.2?
w
Let a = 6 - 16/3. Suppose -4 = -5*p + 1. Which is greater: p or a?
p
Let a = 8 + -33/4. Let h = 1/152 - 267/152. Is a less than h?
False
Suppose 20 = 4*g, 2*p + 2*p - 85 = -5*g. Let v be (3/p)/(6/(-10)). Suppose -5*s = -4*n - 3*s - 14, 3*n - 17 = -4*s. Which is smaller: n or v?
n
Let i be (-3)/7 + (-287)/(-441). Suppose 4 = -p - 1. Let z = 6 + p. Which is greater: z or i?
z
Let x = 94 + -67. Suppose -3*d = i - 38, 6*d - 5*i = 3*d + 8. Let n be (-6)/x + d/9. Are n and 1 non-equal?
False
Let y(c) = -2*c**2 + 4*c - 10. Let r be y(4). Do r and -27 have the same value?
False
Let c = 1.1 + -0.2. Let i = 15 - 16. Let k = c + i. Is k greater than or equal to -3?
True
Suppose -w - o - 3*o + 9 = 0, -3*w + 4*o - 5 = 0. Let s be 2/(-3) - (-8)/(-6). Let z be (-2)/4*w/s. Is 1 smaller than z?
False
Let b = 14/19 + 53/57. Which is smaller: 2 or b?
b
Let m = 2.3 - 1.2. Is m < 1?
False
Let i = 24 + -36. Let q be (-2)/4*(-8)/i. Let z = -5 - -6. Which is smaller: z or q?
q
Let p = -0.2 + 0.3. Let a be (2 - 15/12)/3. Which is smaller: p or a?
p
Let y = 307 - 447. Let v be (-6)/10 + (-144)/y. Is v >= -1?
True
Let l = -1093/6 - -182. Which is greater: l or 0?
0
Let k be 1 - 0/(-3 - -1). Is 9 > k?
True
Suppose -5*d + 6 = -3*d. Which is bigger: 2 or d?
d
Let g(p) = 2*p + 11. Let m(o) = 9*o + 54. Let w(a) = -24*g(a) + 5*m(a). Let x be w(6). Let t be (-14)/6 - (-8)/x. Is t at most -1?
True
Let z(c) = c**3 - 8*c**2 - 13*c - 10. Suppose -j - 20 = -3*j. Let i be z(j). Let m be 39/i + (-2)/8. Which is smaller: 0 or m?
0
Let r be (-16)/(-2)*(-6)/8. Let t be (0/(-2))/(r/3). Suppose 4*h - 5*h + 2*s + 10 = 0, 5*s = 4*h - 28. Is h != t?
True
Let q be (0/(-3))/(-1 + 0). Let x be 0*(1 + (0 - q)). Let h = 33 + -32.7. Do h and x have different values?
True
Let z = -95 + 169. Let a be z/14 - (-2)/(-7). Is a >= 5?
True
Let b = 0.6 + -0.1. Let v = b - 1.5. Which is bigger: -0.1 or v?
-0.1
Let v be (21/(-9))/(2/(-12)). Let q = v - 27/2. Let p = -1/6 - q. Which is greater: p or -1?
p
Let x = 16 - 27. Which is bigger: -3 or x?
-3
Let w(u) = 2*u**2 + 1. Suppose -2 = -3*c + 2*g - 11, -g = -3*c - 6. Let h be w(c). Suppose s + 12 = -h*s. Are s and -4 nonequal?
True
Let t be 60/18*(-84)/(-5). Suppose -5*l + 8 = -0*h - h, t = 3*h + l. Suppose r + 3*o - 2*o = -2, -2*r + h = -5*o. Which is greater: r or 0?
r
Suppose -3*u - r = -2, 4*u + 4*r + 3 = -5. Suppose -9 = -5*v + d, -5*v + u*d = 1 - 9. Let y be (v - 0) + 6/(-3). Is -1/5 >= y?
False
Let n(f) = -f**2 - 5*f + 3. Let k be n(-6). Let c = 5 - 7. Which is smaller: k or c?
k
Let u be -2*1*1/(-2). Suppose -5*r = 2*d + 11, 2*r - 2 = -8. Is d smaller than u?
False
Suppose 3*p - 3*x + 21 = 0, -3*x + 7 = -8. Let r = -37259/4 - -9390. Let k = r + -76. Which is smaller: p or k?
p
Let m(g) = g**3 - 10*g**2 - 13*g + 7. Let x be m(11). Let u be (1/(x/6))/2. Is u greater than 0.2?
False
Let i = 22.007 - 0.007. Which is greater: i or 1/3?
i
Let l be 1/(-2) - (0 - 1). Let w = 4 - 4. Is l at most as big as w?
False
Let b = -35 - -15. Is b greater than -20?
False
Let k = 0 + -0.08. Which is smaller: k or 0.04?
k
Let a = 5 - 8. Let w = 0 + a. Let o = w + 5. Which is smaller: 2/7 or o?
2/7
Suppose k + 1 - 9 = 0. Let q = 11 - k. Does 2/7 = q?
False
Suppose 2*x = 4*x + 2. Let y be (-1 + x - -2)/(-1). Are 6 and y equal?
False
Let j be (-6)/(-4) + (-29)/18. Which is smaller: -1 or j?
-1
Let x = -232088/141 - -1646. Which is bigger: x or -1?
x
Suppose m = -4*x + 66, 6*m - 10 = m. Which is smaller: x or 15?
15
Let q(c) = -13*c + 1. Let u be q(1). Let l be (2/(-4))/(u/8). Which is smaller: -0.1 or l?
-0.1
Let s be 46/14 + 6/(-21). Suppose -2*h = -2*p - 2, h = p - 2*h + s. Let d be (-5)/(-8)*6/(-10). Is p greater than d?
True
Let g be (-580)/(-16) + 4/(-16). Which is smaller: g or 3?
3
Suppose 15*a + 16 = 17*a. Which is greater: 6 or a?
a
Suppose -32 - 23 = -4*t + 5*w, t - w - 13 = 0. Which is smaller: t or 21/2?
t
Let n = 11.43 - 11.7. Is n < -1?
False
Let p be (-2)/(-8) - (-15)/84. Let n(w) = w**3 - 3*w**2 - w - 3. Let y be n(3). Let z = 7 + y. Is p at least as big as z?
False
Let x be (7 + -1)*(-5)/(-195). Which is greater: -1 or x?
x
Let u = 2.6 - 2. Let c = 0.05 + 0.35. Let a = u + c. Is a less than 0?
False
Suppose -9 = 5*s + 21. Which is smaller: -3 or s?
s
Let m be 3*(2 + (-64)/33). Let k(t) = t**3 + 3*t**2 + 2*t + 2. Let d be k(-3). Let f = -4 - d. Is m at least as big as f?
True
Suppose 7*k = 12*k. Let x be 5/(-4) + (-2)/(-8). Is k equal to x?
False
Let m(y) = -28*y**3 + y. Let r be m(-1). Suppose -2*i - n + 31 = 0, -2*i + 5*n = 2*i - r. Let s be -3*(i/(-15) + 1). Which is smaller: 2 or s?
s
Let j = -0.2 - -0.2. Let s = -0.1 - -0.3. Let t = s - 0.4. Is t > j?
False
Let b = 8.6 + -1.6. Let s = 11 - 15. Let t = s + b. Are 1 and t unequal?
True
Let d be 91/(-6) - (-2)/12. Let l = d - -15. Which is bigger: -4 or l?
l
Let k = -1/5 + 7/85. Is -10 greater than or equal to k?
False
Suppose -2*y = 3*m - 44, 6*m = 4*y + m - 88. Which is greater: y or 23?
23
Let w = 258 + -162. Let r be (-6)/(w/(-20)) - 1. Which is bigger: r or 1?
1
Suppose 5*g + 44 + 25 = 4*p, 0 = -3*p - 12. Is -16 not equal to g?
True
Let j = -18 - -17. Which is bigger: 1/22 or j?
1/22
Suppose 3*c - 4*v = 32, 3 = -c - 4*v + 19. Let z be (40/c)/(11/699). Let m = z + -212. Which is smaller: -1 or m?
-1
Let t be (6 - 12)*(-1)/8. Let g be 6*4/6 - 2. Do t and g have different values?
True
Suppose -11 = 5*r + 2*m + 29, 2 = 3*r - 4*m. Let x be ((-18)/44)/(r/(-8)). Suppose -5*v = -2*v - v. Do x and v have the same value?
False
Suppose 3*n + 2*n = 5. Which is smaller: n or 10/7?
n
Let k(w) = 11*w**2 - 2*w + 3. Let n be k(1). Is 12 at least as big as n?
True
Let d = 1 + 3. Let g = 2 - 6. Let s = g + d. Are 1 and s non-equal?
True
Let j be (2/(-12))/(7/(-42)). Which is greater: -1 or j?
j
Let f be 1 + (44/(-12) - -3). Let n = 15 + -15. Which is smaller: f or n?
n
Suppose w + a + 14 = -43, 0 = 2*w - 5*a + 142. Let f = w - -96. Let r be (-6)/(-15) + (-24)/f. Which is bigger: r or 0?
0
Let d be (-2)/(-8) + 5/(-20). Suppose d = 2*j - 4*j + 6. Are j and 7 nonequal?
True
Let k = 