
18
Suppose 0*p + 4*p = 16. Suppose q = -3 + p. Which is greater: q or 3?
3
Suppose -3*t - x + 8 = 0, 2*t + 4*x = 3*x + 4. Suppose t*k - 5*k = 0. Which is greater: k or 1?
1
Let x(d) = d**3 - 3*d**2 + 2. Let f be x(2). Suppose 3*p = 2*p + 2. Suppose 2*l - 3*l = 1, 4*a = -p*l - 6. Are f and a equal?
False
Let m = 31.1 + -48. Let k = -17 - m. Let j = -1.8 + 2. Which is greater: k or j?
j
Let h be 54 + (2/(-1) - -3). Let m = -163/3 + h. Which is smaller: m or 5?
m
Let l be (-663)/(-63) - 4/6. Is l greater than or equal to 10?
False
Let f = -2 + 2. Let w = f - 3. Let a be w/12 + 10/(-56). Is a at least -1?
True
Let i be (-2)/9 - 26/(-36). Suppose 16 = 2*x + 38. Does i = x?
False
Let b = 13 - 8. Suppose -f = -b*f + 20. Suppose -25 = f*c - 5*s, 5*c + s - 1 = 4. Do -2/19 and c have different values?
True
Let d(i) be the first derivative of -i**2 - 20. Let x be (1 - 3/5)*-5. Let b be d(x). Does 4 = b?
True
Let j = 61/2 + -2617/86. Which is greater: j or -1?
j
Let m = -2.5 - 13.5. Is m > 1/2?
False
Let l be (-99)/27 + (-4)/(-6). Let z be l/(-6)*(1 + 1). Which is bigger: -1/4 or z?
z
Let q = -95/1071 + -1/153. Let p = -67/474 - 2/79. Which is greater: p or q?
q
Let v = 1.4 + -0.5. Let p = -0.7 + v. Are 1 and p nonequal?
True
Let u = 350 + -357. Let r be (-1)/(1 - 12/14). Is r bigger than u?
False
Let z(m) = m**3 + 11*m**2 + 11*m + 7. Let c be z(-10). Let p = c - -4. Let a be (4 - 3)/(2 - p). Which is smaller: 2 or a?
a
Suppose -4*p + 0*f = -f - 17, 6 = 2*f. Let m(d) = d + 3. Let o be m(-3). Suppose -4*a - 17 = s, 5*a + p = 2*s - o*s. Which is bigger: s or -3?
-3
Suppose 2*a - 179 = 289. Let x be 4/18 + (-91)/a. Which is greater: x or -1?
x
Let m = 55 - 53. Is -1 <= m?
True
Let x be (0 - 2/488)*53. Let i be (-240)/122 - 0 - -2. Let y = i - x. Which is smaller: y or 0?
0
Let n be (3/15)/((-4)/(-30)). Let f = -106 - -108. Is n <= f?
True
Let m(y) = -y - 7. Suppose 14 = -2*i - 0. Let u be m(i). Let r be (u - -1)/(1/4). Is r bigger than 2?
True
Let u = -0.08 + -0.07. Let j = 6.15 + u. Let h = j + -5.9. Is h less than or equal to -2/13?
False
Let f be ((-2)/3)/(2/(-6)). Suppose 0 = -4*m - 16. Let x = 4 + m. Is f greater than or equal to x?
True
Let g = 0.09 - 0.19. Is g not equal to 29?
True
Let s(p) = p**2 + 7*p + 8. Let n be s(-6). Suppose 4 = -3*o - n. Suppose 5*l + 10 + 5 = -5*h, 3*h = -4*l - 11. Is l greater than o?
False
Suppose g - 265 = 6*g. Is g equal to -53?
True
Let n(v) = -2*v**2 - 7*v - 7. Let l be n(-3). Is l greater than 1?
False
Suppose d = -4*d. Let b be 21/(-3 - (-6)/4). Let i be b/24 - (-4)/16. Which is greater: d or i?
d
Let c be 52/87 - (-4)/(-6). Let a(s) = s**2 - 20*s - 1. Let x be a(20). Which is smaller: x or c?
x
Let w be 14/(-30) + 4/(-20). Is -0.2 bigger than w?
True
Let x = 0.7 - -6.3. Let y = -703/5 + 141. Which is smaller: x or y?
y
Let o = 0.038 - 0.038. Is o less than -5.2?
False
Let n = 1 - 0. Let d be (-1 - -2)/n + 2. Let w be (-2)/d - (-4)/15. Which is smaller: -1 or w?
-1
Let w be (24/(-14) - -2)*-6. Let g = 146 + -148. Which is smaller: g or w?
g
Let w = 7 + -6.1. Let x = w - 1. Suppose -8 = -2*b - 4*a, -5*a = -3*b + 4 - 3. Is b greater than or equal to x?
True
Let t = -12 + 19. Suppose -26 = 2*y + 4*v, 5*v + 38 = -2*y + t. Is -4 not equal to y?
True
Suppose 1 + 0 = -a. Suppose -5*c + 73 = 3*m - 101, 0 = -2*m - 3*c + 116. Let p be (-16)/m*(-1)/4. Which is smaller: p or a?
a
Suppose -3*g - 2 = -5. Let z be (g + 0 - 4)/1. Suppose 0 = -2*i - 10, j - i = -0 + 2. Do j and z have different values?
False
Let m = -430 - -2993/7. Which is smaller: -2 or m?
m
Let a = 6 + -3. Suppose a + 7 = 2*n. Suppose -13 = -4*p + s, 2*p - 10 = -3*p - n*s. Is p bigger than 4?
False
Let m(v) = -v - 7. Let x be m(-6). Let l be 1 + x + 8/44. Which is smaller: l or 0?
0
Let b = -64 - -67.1. Let n = b - 0.1. Is n equal to 1?
False
Let t be (-1 + 3/6)*-4. Suppose -t = -4*n - 2*h - 0*h, -3*h + 11 = 2*n. Let x = -2 - n. Are x and -1/6 non-equal?
True
Let o be 1/(-3 - (-56)/20). Let a be (-1 + -1)/(o/(-3)). Let r(b) = b**3 - 6*b**2 + 4*b + 5. Let g be r(5). Is a < g?
True
Suppose l - m = -4*l + 8, 4*l - 6 = m. Is 5 greater than or equal to l?
True
Suppose k = 4*y - 3, y + 3 = -y - k. Let f = 6 + -4. Let w = f + -16/9. Which is bigger: w or y?
w
Let c = -4679/18 - -260. Is c not equal to 1?
True
Let y(z) = -z**2 + 7*z - 3. Let w be y(6). Suppose w*l + 0*l + 15 = 0. Let g be (l/(-4) - 1)/(-1). Which is greater: -0.3 or g?
g
Suppose 0 = -r + a + 6, a - 7 = 3*r + 3*a. Let t(f) = -3*f + 72. Let h be t(23). Is r at least as big as h?
False
Let p = 7 - 5. Which is bigger: -0.2 or p?
p
Let w = -6.2 - -6.3. Which is smaller: w or 3/8?
w
Let h = -4 + 0. Which is greater: h or 1/4?
1/4
Suppose 0 = -0*u - 2*u - 4. Let t be 3/(5/((-1300)/(-12))). Let i = 193/3 - t. Is u at least as big as i?
False
Let d = 0.23 - 1.33. Let y = d - -0.8. Which is smaller: y or 0.2?
y
Let g be (-441)/264*4/(-18). Let m = 4/33 - g. Which is greater: -3 or m?
m
Let k(u) = 29*u - 1. Let a be k(-1). Let j = a - -119/4. Is -4/3 at most as big as j?
True
Let k = -5.185 - -0.085. Let a = 5 + k. Is a at least 8?
False
Let p = -4 + 2. Let v = 0.4 + -0.2. Is v at least p?
True
Suppose 2*i - 9 + 3 = 0. Suppose 4*m = 5*o - 17, m + i = -4*o + 5*o. Suppose -3 = -5*q + m. Which is smaller: q or -2/7?
-2/7
Let p(x) = -x**2 - 13*x + 2. Let s be p(-9). Let f be s/88 - 8/32. Suppose -o - n - 26 = 4*n, -3*o + 5*n = -22. Is o > f?
False
Let j = -11 + 11.8. Let g = j - 0.5. Let p = 0.3 - g. Is p >= 2?
False
Suppose 306 = -2*n + 2*g, -3*n + 0*g - 456 = -2*g. Let v = n + 1203/8. Are v and 1 non-equal?
True
Let h = -1222/9 + 136. Is -0.3 bigger than h?
False
Let b(r) = r**2 + 6*r + 2. Let s be b(-6). Suppose -s*g + 5*v + 0 + 1 = 0, -5*g + v + 37 = 0. Which is smaller: g or 7?
7
Let q be ((-3)/8)/(2/(-4)). Is q less than 1?
True
Suppose 3*h - 10 = -2*w + 3*w, 3*h + w = 2. Let c be 0/h + -2 + 2. Which is smaller: 2/3 or c?
c
Let b(l) = -l**2 + 15*l - 18. Let w be b(13). Suppose -28 = 2*s - 6*s. Which is smaller: w or s?
s
Let u be ((-17)/(-2) + 1)*2. Suppose -3*h = -5*n - u, -4*n - 14 = -h - 2*h. Let j be 1 + 1 + h/1. Which is smaller: j or -1?
-1
Suppose 0 = -0*h + 5*h - 15. Suppose -h*q + 60 = q. Suppose p + 4*r = 2*p + 12, q = 5*r. Is p smaller than -0.2?
False
Let g(o) = -o**2 - 5*o - 2. Let t be g(-4). Let r be 90/(-70) - t/(-7). Is r <= -2?
False
Let d be 2 - ((-49)/(-15) + -1). Let a be (-1)/((-5)/2) + 54/(-135). Which is bigger: a or d?
a
Suppose 3*a = -a. Let s = -0.42 - -0.22. Is a <= s?
False
Let a = 223/4 + -56. Let p = -38 + 38. Which is smaller: a or p?
a
Let p(f) = -f**3 + 8*f**2 - f + 9. Suppose -225 = -8*y + 5*y. Let m be 1/2 - y/(-10). Let u be p(m). Which is greater: -3/7 or u?
u
Let z = 3.8 + -4. Does z = -1?
False
Let z(m) = m**2 + 2*m + 3. Let p be z(-2). Let h(g) = g**3 + 9*g**2 - 11*g - 7. Let t be h(-10). Does t = p?
True
Suppose -23 - 37 = -10*w. Is w > 11?
False
Let x be -3 - 1/(38/(-110)). Is -3/4 greater than x?
False
Suppose -z - 70 = -4*q, 0*z = -q - 4*z + 26. Let p = q - 20. Which is greater: -3/5 or p?
-3/5
Suppose 0*t - 2*t - 18 = 0. Is t >= -9?
True
Suppose -4*u + 6 = o - 15, -o + 5*u - 24 = 0. Is o >= -3/7?
True
Let j(m) = -m**2 + 5*m + 2. Let w be j(5). Is w > -1?
True
Let b = -283/5 + 57. Let w = 18 - 17.04. Let s = w - -0.04. Is s > b?
True
Let f(l) = l**2 - 4*l + 3. Let u be f(5). Let c be 4/u + 127/(-2). Let y = c + 569/9. Which is bigger: 0 or y?
y
Let o = -57 + 56. Does o = 1/44?
False
Suppose -h = -2*k + 8, -5*h + k - 5 + 1 = 0. Which is greater: h or 3?
3
Suppose 1 + 1 = 2*k. Let q = -8 + k. Is q greater than -8?
True
Let r(k) = -k**2 - 3*k - 2. Let s be r(-3). Let b be s/1*(1 - -1). Let o be b/(-3) - 3/9. Is o greater than 1?
False
Let o be 48/32 - (-26)/(-28). Suppose 0 = 2*x + 5*i + 25, 6*x = 2*x + 4*i + 20. Are o and x unequal?
True
Let w(f) = -f + 3. Let h be w(3). Suppose 3*j + h = 9. Which is smaller: 4 or j?
j
Let d(o) = -o**2 - 12*o + 15. Let i be d(-12). Is i smaller than 14?
False
Let h = 7 + -2. Let m(a) = -a**2 - 15*a + 2. Let x be m(-15). Which is smaller: x or h?
x
Let z = -3.96 + 5. Let b = z + -0.04. Which is smaller: b or -2/7?
-2/7
Let a(h) = 3*h**3 - h**2 - h. Let x be a(2). Let o be 4/x + (-16)/(-9). Which is greater: 1 or o?
o
Let o = 828 + -8