
Let p be 21/30*16/28. Are p and 0 equal?
False
Let x be -2 + (-3)/12*-2. Let w(g) = g + 1. Let p(c) = c**3 - 8*c**2 + 7*c - 3. Let a be p(7). Let h be w(a). Is h at most x?
True
Let t = -27 - -9. Let f = -25 - t. Let v = -4 - f. Which is greater: 1 or v?
v
Let o = -56 + 57. Which is greater: -1 or o?
o
Let h be 6 + (-9)/3 + 0. Let b be (-6)/h + (1 - -3). Suppose 4*g - 3 - 9 = 0. Which is smaller: g or b?
b
Let w be 9/(-12)*40/4155. Which is smaller: -1 or w?
-1
Suppose -n = -3*z + 3, 3*n = 4*z - 5 + 1. Let m be (6/(-4))/((-2)/4). Suppose 3 = v - m*c + 4*c, -5*c + 15 = -3*v. Is n greater than or equal to v?
True
Let p be 2/1 - 0/(-4). Which is smaller: 0 or p?
0
Let v(q) = 6*q + 3*q + 0*q - q**2 + 6. Let m = -29 + 39. Let a be v(m). Which is bigger: -7/2 or a?
-7/2
Let d = 13814/3 - 4656. Suppose -3*j - 156 = -4*k, 2*k - 164 = 3*j - 8. Let g = j - d. Which is smaller: g or 1/5?
g
Suppose -10 = 6*u - u. Let c be 1*1/(-2)*u. Let w be (6 - (-60)/(-8))/(33/(-4)). Which is smaller: c or w?
w
Suppose 2 = -2*g - 0. Which is greater: -1/33 or g?
-1/33
Let g(j) = 5*j**2 + 2. Let k be g(-2). Suppose 4*q = -n + 13, -2*n - 2*n + k = q. Suppose -3*c + q*c = 1. Which is bigger: c or 0?
0
Let n = 3.04 - 0.04. Let l = 3.4 - n. Let s = l - 0.4. Is -0.2 at least s?
False
Suppose -4*s + 28 = 4*z - 8, -2*z - 5*s + 33 = 0. Suppose -z*d + 0*d + 8 = 0. Suppose 4 = d*y - 0*y. Which is bigger: y or 1?
y
Let l be (-4)/20 + 2/10. Is l smaller than 7?
True
Suppose -8 + 0 = 4*k. Let r = k - -1. Does -0.1 = r?
False
Let j = -0.5 - -0.4. Let w be 2/(3 + -3 - 2). Is w bigger than j?
False
Suppose -3*g = -0*g - 126. Let u be g/(-8) + (-2)/(-8). Is -4 smaller than u?
False
Let d = -48 - -47.9. Is d equal to 1/9?
False
Suppose 2*a + 4*v - 26 = 0, 0*a = -4*a + v + 7. Let t be (24/(-21))/(a/7). Which is greater: -3 or t?
t
Let o = -4 - 0. Suppose -4 = 3*z + 11. Which is smaller: z or o?
z
Let f(x) = -x**2 + 6*x + 6. Let t be f(7). Let n = 3 + t. Is -0.2 smaller than n?
True
Suppose -2*d = -4*z - 16, 0*z + 2*d = -4*z. Which is smaller: z or -2/3?
z
Let m(k) = k**2 - 2*k - 1. Let x be m(3). Let c(h) = h**3 + h**2 + 1. Let o(i) = i**3 + i**2 + i + 2. Let y(j) = x*o(j) - 3*c(j). Let w be y(-1). Is w != -1/20?
True
Let u be 33/6*(9 + 1). Does u = 54?
False
Let s = -0.13 + 0.02. Which is smaller: 0.1 or s?
s
Suppose 3*g + 170 = 2*b, -3*g - 348 = -4*b - g. Let d be b/20 - (-2)/(-5). Which is smaller: 5 or d?
d
Let l = 7 - -1. Let s = l - 4. Suppose -s*q - 5*p + 20 = 0, -16 = -4*p - 0. Is q at most 1?
True
Suppose -83 = 2*j + 5*f, 5*j + 22 = 4*j + 4*f. Which is greater: j or -35?
j
Let c(v) = v + 2. Let u be c(-3). Which is smaller: 2/21 or u?
u
Suppose 0 = -2*q + 1 + 7. Suppose q*l - 2 - 2 = 4*c, 2*c - 7 = -l. Let d(x) = x**2 - 3*x + 1. Let y be d(l). Is -1 equal to y?
False
Let v = -1698/7 + 242. Is 0 less than or equal to v?
False
Let z(c) = c**2 - 2*c + 2. Let w be z(2). Let y be ((-1)/(-3))/(w/(-18)). Let j = y - -2. Are -2 and j unequal?
True
Let u = -29 - -144/5. Let n = 2 - 1. Is u at most as big as n?
True
Let u(l) = l**3 - 3*l**2 - 4*l - 1. Let b be u(4). Let x be -64 - ((-6)/4 - b). Let n = -65 - x. Which is smaller: n or -1?
n
Let t(b) = -b**2 - 17. Let x be t(0). Are 0 and x equal?
False
Suppose 2*m + f + 7 = 0, -m - 2*m - 5*f = 7. Suppose 3*g - 6 + 0 = -3*b, -2*g + 12 = 4*b. Let v = m + b. Which is bigger: v or 1/2?
1/2
Let d = -19 - -23. Let k = d - 2. Which is greater: k or 4/5?
k
Suppose -2*r = -6*r. Let w = r + 1. Let u be (-4)/8 + (-26)/(-36). Which is greater: w or u?
w
Let x = 0 - -2. Suppose -7*j - x*d = -3*j - 30, -45 = -2*j + 5*d. Let g(q) = -q + 10. Let s be g(j). Is 1 greater than s?
True
Let x = -1/25 + -4/25. Let v = 1 - 2. Are x and v equal?
False
Let t = 77 - 75. Are 1/2 and t unequal?
True
Let g be ((-4)/10)/((-2)/30). Suppose 2*c = g*c - 8. Suppose -c*a - 3*a + 10 = 0, 3*a - 10 = -4*r. Is r less than 0?
False
Let p = -15783/4 + 4001. Let x = -55 + p. Is x at most as big as -2?
False
Let u be ((-1)/(-6))/(-5*8/(-240)). Which is smaller: -1/7 or u?
-1/7
Let h = -35/52 - -12/13. Let y be (0/(-2))/(-2 + 0). Suppose b - 4 = y, -2 = -m - b + 1. Which is greater: m or h?
h
Let s = -7 + 11. Suppose 0 = s*i, -3*l + 0 = i + 3. Is 0 at most l?
False
Suppose -5*l = -5*c + 125, -3*l - 2*l = -3*c + 119. Let z = l + 16. Is z smaller than -5?
True
Let t = -1.94 - 0.06. Let p = 0.22 - -0.08. Is t <= p?
True
Let x be (6/(-8))/(39/12). Which is smaller: 0 or x?
x
Let v = -0.2 - -1.2. Let t = 0.9 - v. Let a = t + 0.1. Are -4 and a unequal?
True
Let q = 4.6 - 5.6. Is 0.114 <= q?
False
Let c be 4/(-4 + (-2408)/(-612)). Let h = c - -61. Which is greater: -1 or h?
h
Let n = -6 - -8. Let p = 1 - n. Suppose 0*d + 6 = -3*d. Are d and p nonequal?
True
Let s(l) = 4*l + 1. Let q be s(-1). Let z = 12 + q. Let u be ((-12)/(-32))/((-3)/(-72)). Are z and u non-equal?
False
Let d = 24 + -47/2. Is d less than 1?
True
Let o = 15 - 16. Is o bigger than -2/19?
False
Let t = 1 - 2. Suppose 0 = 2*i, -3*m + 0*i = 4*i + 6. Which is smaller: t or m?
m
Let j(w) = w**3 + 3*w**2 + 1. Let g be j(-3). Suppose 2*r = 5*s + 1, r = 3*s - 0*r + g. Do 2/11 and s have the same value?
False
Suppose 0 = 2*v - 0*v + 2*v. Is -0.3 < v?
True
Suppose 0 = -5*b + 4*a - 1, -5*b - 4*a - 5 = 4. Let h = 1/15 - -1/3. Which is smaller: b or h?
b
Let r(y) = -y + 5. Let t = 1 - -5. Let p be r(t). Let x(w) = -3*w + 1. Let l be x(p). Which is greater: l or 3?
l
Suppose 5*f = 5*p + 1 - 6, 4*p - 4 = -f. Suppose -7*b + 4*b = 6. Let n = b + 4. Which is smaller: p or n?
p
Suppose -4 = -s - 13. Suppose 3*v + 23 = -h, 4*v - 4*h = -0*h - 36. Is s < v?
True
Let v be 61/(-21) - (-9)/9 - -2. Is 1 at least v?
True
Let u = 158 + -148. Which is greater: 55/6 or u?
u
Let v be 44/6*(-6)/(-4). Suppose 3*g - 5*n = -v, -5*g = 2*n - 20 - 3. Let t(r) = r**3 + 2*r**2 - 3*r - 3. Let l be t(-2). Does g = l?
True
Suppose -o + 3 = -5*r, -5*o + 8 + 7 = -5*r. Is 1 > r?
True
Let n = 2773/17 - 163. Let p = -20 - -19. Is n at least as big as p?
True
Let x = 0.03 - -1.27. Let g = x - 1.1. Is g less than 1?
True
Let f = 134 - 136. Suppose -4*v = 8 + 4. Which is smaller: f or v?
v
Suppose -o - 8 = -7. Let c be (-959)/(-10) + 1/(-2). Let i = c - 95. Is i at least o?
True
Let k be 2/(-8) - 9/12. Let g = -356/3 + 117. Is g greater than k?
False
Let r(a) = a**3 + 2*a**2 - 3*a + 2. Let j be r(-3). Suppose b + b = -j. Let t = -4/17 - 9/34. Which is smaller: t or b?
b
Suppose 4*c + 2 = 3*l, 2*c - 6 = -2*c - l. Suppose 3*t - 2*d - 4 = 0, -2*t = 2*t - 4*d - 8. Which is smaller: t or c?
t
Let v = 100 - 115. Is v greater than or equal to -0.4?
False
Let c = 13.8 - 18. Let z = c + 4. Is -4 > z?
False
Suppose -2 = -z + 2*z. Suppose 5*t + 1 = -4. Which is smaller: z or t?
z
Let j(l) = l**3 + 6*l**2 - 7*l + 4. Let s be j(-7). Suppose 5*z - r + s = 0, 3*r = z + 6 + 6. Which is bigger: -1 or z?
z
Let x = 4 + -4. Is 0.1 less than x?
False
Let i = 1.6 - 1.3. Let b = 2 - 1. Let y = 0 + b. Do i and y have different values?
True
Let f be (-2)/6 + 50/15. Let n be 69/(-21) - 4/(-14). Let o = n + 6. Is f at least as big as o?
True
Let w be (-38)/(-5) - 12/(-30). Which is bigger: w or 4?
w
Let s be 15 + -16 - (0 - 1). Let m be (-2 - s)*(-80)/(-32). Which is greater: 0 or m?
0
Let y(s) = 11*s + 13. Let k be y(-3). Are k and -20 non-equal?
False
Suppose -4*n + 9*n - 75 = 0. Let f be 3/((n/(-4))/5). Let p be (10/f)/(5/(-10)). Which is smaller: p or 6?
p
Let f(m) = 2*m - 4*m + m - 4. Let j be f(-4). Which is smaller: j or 2/29?
j
Let u(z) = 6*z**2 - 10*z + 51 - 49 - z**2 - 4*z**2. Let w be u(10). Which is bigger: w or 4?
4
Let n(o) = o**2 + 5*o - 6. Let t be n(-7). Suppose -t*f = -5*f - 18. Is 6 >= f?
True
Let x = 24119677/25 - 964642. Let g = x + -145. Is -0.1 at least as big as g?
False
Suppose 2*z + 1 = 11. Suppose 5*o + 6 = -t, 4*t - t - z*o - 2 = 0. Which is greater: t or -2?
t
Let i be 4 - 52/12 - (-4)/72. Do i and 1 have the same value?
False
Let h = 8 - 8. Which is smaller: h or 1/3?
h
Let u be (-18)/12 + (-22)/(-4). Let a be u + -5 + 2 + -2. Are 5 and a equal?
False
Let t = -1 - -0.9. Let f(q) = q**2 - 6*q - 8. Let d be f(8). Let m = d + -8. Which is greater: m or t?
m
Let k = 109236 + -365612889/3347. Let b = -528841/16735 + k. Let x = b + 32. Which is bigger: -1 or x?
x
Let i 