y?
5
Let p = -0.05 - 1.95. Let c = p + 1.9. Let m be (-1 + -1)*4/(-32). Is m equal to c?
False
Suppose y + 0 + 2 = 0. Suppose 5*z + 6 = 1. Which is smaller: y or z?
y
Let t be 8/168*(0 - 75*-1). Which is smaller: 2/5 or t?
2/5
Let p be 0/(-3) + 3 - 2. Let o = p - 2. Let w be (-4)/18 - 16/90. Do w and o have the same value?
False
Let k(m) = m - 3*m + m. Let d be k(-5). Which is bigger: 4 or d?
d
Let r(f) = -6 - 3 + f - 2*f. Let t(m) = -m - 2. Let g be t(4). Let k be r(g). Which is greater: k or -2?
-2
Let r be (0 - (0 - -1)) + 2. Let w(h) = -2*h. Let x be w(1). Let o be (x/(32/6))/3. Which is smaller: o or r?
o
Let n be 3 + -1 + (4 - -25). Suppose 0 = -4*l + 8*l + 3*a - 24, -4*a + n = 5*l. Suppose -q = -4*b - 22, -1 + 10 = -l*q - 3*b. Do 2 and q have different values?
False
Let w(l) = -2*l - 31. Let n be w(-13). Is -5 at most n?
True
Suppose a - 3*a - w = 40, 0 = -a + 2*w - 10. Let o be (-1 - 33/a) + -1. Is 1 at least o?
True
Suppose 16 = 7*d - 3*d. Suppose -2*s = -d*a - 16, -4*s + 3*a = -0*a - 7. Let b = s + 1. Do b and -1/4 have the same value?
False
Let g(n) = 4*n**3 - n + 1. Suppose 6 = 5*f + 1. Let i be g(f). Let u(q) = q**2 + 4. Let k be u(0). Is k at least as big as i?
True
Let c be (-18)/31*(-5)/15. Which is bigger: 0 or c?
c
Suppose -14 - 8 = -11*a. Which is bigger: a or -3/10?
a
Let l = 0.87 - 0.07. Let z = 1.12 - 0.3. Let r = z - l. Is r != 1/3?
True
Let z = 7 + -11. Let j = z - -5. Which is bigger: -0.2 or j?
j
Let y(x) = -7*x + 21. Let i(o) = -o + 1. Let q(b) = -6*i(b) + y(b). Let t be q(12). Suppose -t*m = m. Which is smaller: m or 2?
m
Suppose 0 = -3*o + 31 - 7. Is 8 bigger than o?
False
Let q be 4/(-6)*(-9)/15. Let u = -4 - -8. Let d = -3 + u. Which is bigger: d or q?
d
Suppose 3*w + w + 14 = 3*y, -4*w = 8. Is 24 < y?
False
Suppose -4*q = 4*r - 1400, q = -5*r + 320 + 1442. Let j = 1759/5 - r. Let l = -1 - -1. Which is smaller: j or l?
j
Let l = 2 + -2. Suppose -a + l*a = 5. Is a at most as big as -6?
False
Let w(h) = h**3 + 2*h**2 - 3*h - 3. Let g be w(-2). Let k be (3/27)/(1/g). Let t = -3 - -3.2. Which is smaller: k or t?
t
Let i = -12 - -14.6. Let d = 0.4 + i. Suppose 3*y + 3*f + 1 = -2*y, -4*f = 8. Is d at most y?
False
Let d be ((-2)/(-7))/((-99)/(-77)). Is 2 smaller than d?
False
Let j = -10 - -5. Let a(o) = o + 1. Let d(c) = 2*c - 1. Let g(v) = 3*a(v) - d(v). Let m be g(j). Which is smaller: -2 or m?
-2
Let g(z) = z + 3. Let u be g(-3). Let i = -11 - -14. Suppose u = -4*s + 7 - i. Which is bigger: -1 or s?
s
Let i = -3 + 5. Suppose -i*x = -7 + 3. Which is smaller: x or -1?
-1
Let s = 0.89 - -0.21. Let g = -0.1 + s. Are g and 2/3 nonequal?
True
Suppose m + 4*m = -15. Let k be (2/m)/(2/(-5)). Which is bigger: k or 1?
k
Let u(l) = -67*l**3 - 3*l**2 - l + 2. Let q be u(1). Is q < -68?
True
Let a be 4/(-12) + 4/3. Let o be (-20)/30 + a/(-3). Which is greater: o or -2/13?
-2/13
Let r(z) = z**3 - 4*z**2 + z + 7. Let m be r(3). Is m bigger than 2/13?
True
Let r(g) = -g**2 - 7*g + 5. Let b be r(-7). Suppose -18 = 2*q - 0*v + 4*v, 3*q + b*v + 23 = 0. Is q > -2/5?
False
Suppose 2*f = 3*f. Suppose -3*l - 5*r + 15 = f, -5*l + r - 3*r = -25. Let m be (-14)/40 + (-2)/l. Is m less than -1?
False
Suppose -4*w + 0*d = -5*d + 4, w = -2*d - 1. Are 1/7 and w unequal?
True
Let k be 9/1 + 0 - 1. Suppose 0 = -4*o + 9 + 35. Let b = o - k. Is b smaller than 2?
False
Let k = 0.018 + 4.982. Let n = 0 - 0. Let p = 0.2 - n. Is k at most p?
False
Let s = 194.45 + -194. Is 0.1 greater than or equal to s?
False
Let a be 4/((-48)/(-2)) + (-249)/(-126). Is 1 greater than or equal to a?
False
Let m be (2 - 1)*(-7 - -7). Suppose -2*s = 3*v + 17, 4*v + 5*s + 0*s + 18 = m. Does v = -8?
False
Let v be 2 - 3*(-992)/(-1500). Which is greater: 2/3 or v?
2/3
Let p(j) = -j**2 - 10*j - 8. Let t be p(-8). Let d = t - 6. Which is bigger: 0 or d?
d
Suppose h = 5*i + 3*h + 1, 5*i = -5*h + 5. Is i > -16/7?
True
Let f = 1481/7 - 212. Which is smaller: f or 2?
f
Let b = 9 - 9.8. Let t = 0.7 + b. Let l = 0 - -1. Which is smaller: l or t?
t
Suppose -3*s + 2*s - a = 2, a - 7 = 2*s. Is s greater than -7/4?
False
Suppose 3 = 3*s, s = -5*n - 11 - 3. Which is smaller: -24/7 or n?
-24/7
Let h be 4 + 0 + (-1 - 0). Suppose -3*v - h = 3. Let g(o) = o**2 + 4*o. Let y be g(v). Is y < -4?
False
Let l = 2 - -2. Let m(k) = -k + 7. Let c be m(10). Let q be 3/9 + l/c. Is -3 smaller than q?
True
Let p = 103 - 1132/11. Is 0 <= p?
True
Let z be (-511)/2*-2*-1. Let w = 5625/11 + z. Which is smaller: w or 1?
w
Let h = -0.18 + 0.08. Are -0.04 and h equal?
False
Suppose w + 4 = -3*w. Is w at least as big as -1/13?
False
Let u be 4/(-6)*(-135)/(-18). Let r = u + 3. Let z(d) = -d**3 - 4*d**2 - 4*d - 2. Let f be z(r). Which is greater: -7/5 or f?
-7/5
Let m be (-1)/(-5) - 9*(-5)/50. Which is smaller: 0 or m?
0
Let g = -185/2 - -101. Which is smaller: g or 9?
g
Let t(x) = -3*x**2 + 2*x - 3. Let d be t(3). Let n be 2*(-2)/d*2. Are 1 and n equal?
False
Let q = -2 - -3. Suppose -3*u + 4*u + q = 0. Suppose -2 = 11*t - 13. Which is greater: u or t?
t
Let h be (-4 + 6)/2 + 1. Which is smaller: -3 or h?
-3
Let z = -44 + 39.6. Let g = -4 - z. Let k = -0.3 + g. Is 0 > k?
False
Let f = 5 + -3. Let g = -3 + f. Suppose 29 = 4*n - 0*b + 5*b, -4*n = -4*b + 16. Which is smaller: n or g?
g
Let r be (26/5)/(2/(6 + 4)). Are 27 and r unequal?
True
Let z(x) = x**3 + x**2 - x. Let s(m) = 3*m**3 - m**2 + 1. Let w(t) = -s(t) + 2*z(t). Let i be w(2). Let p = -3/4 - i. Is -0.1 > p?
False
Let k(g) = -g + 9. Let o be k(6). Suppose 0 = 5*n + 4*i, -o*n + 3*i - 37 = -2*i. Is n >= -4?
True
Let g be 6 + -8 + 1*119. Let v = g + -459/4. Is v < 2?
False
Suppose 0 = u + 5*t - 23, -3*u + 0 = t + 1. Is u at most as big as 0?
True
Suppose -60 = 5*a - 0. Which is smaller: a or -13?
-13
Let b = 5 + 0. Suppose b*k = -0*k - 25. Let v = 1 + k. Is v less than -5?
False
Let b(x) = x - 1. Let n(z) = z**2 - 9*z - 4. Let w be n(9). Let m(o) = -o**3 - 5*o**2 - 5*o + 1. Let k be m(w). Let c be b(k). Do 4 and c have the same value?
True
Let k(g) = g - 2. Let t be k(3). Suppose -2*l = 5*d + 11, l + 0*d - d = 5. Is t greater than or equal to l?
False
Let k = 5.08 - 0.08. Let x = k + -7. Is 0 < x?
False
Let v = 53 - 68. Which is bigger: v or 1?
1
Let g(o) = o**3 + 4*o**2 - 4*o + 4. Let z be g(-5). Which is greater: 1 or z?
1
Let u be (-66)/36 - (-5)/2. Which is smaller: u or 1?
u
Suppose 5*m - 15 = -f, 0 = -4*m + m - f + 11. Suppose 4*o + 5*j + 75 = 0, 4*j - 30 - 74 = 5*o. Let t be 2/(-10) + (-9)/o. Which is bigger: t or m?
m
Let y = 18 + -20. Is y > -1?
False
Let n(u) = -u**3 + 3*u + 3. Let f(c) = -c**2 + 2*c - 2. Let o be f(2). Let l be n(o). Suppose -l*j = 13 - 3. Is j >= -2?
True
Let j = 5 + -2. Suppose -j*p - 18 = -p. Let n be 32/(-36) - 2/p. Is n < -3/2?
False
Let l be (-6)/3 + 6 + 2. Suppose -9*h = -l*h. Which is greater: h or -2/25?
h
Suppose 4*x - 4 = -3*i - 10, 2*i - x = 7. Let u = -10.3 + 11. Let j = u + 0.3. Which is greater: i or j?
i
Let x be -10*(-2)/(1/(-1)). Let o be ((-4)/5)/(8/x). Is o > 1?
True
Let i(w) = 11*w**2 + w. Let f be i(-1). Is 9 smaller than f?
True
Let r = 20 + -22. Are -2 and r nonequal?
False
Let c be (-12)/(-10) - 4/20. Suppose 0 = 5*t - t. Suppose t = 2*l + l. Which is bigger: l or c?
c
Let s = 1/275 + 3293/1925. Which is greater: 3 or s?
3
Let k = 0.05 - 0.1. Let t = k - -0.35. Is 0 less than t?
True
Let a = -8 + 11. Let k = -3 + a. Is k equal to -1/3?
False
Let g = -2.89 + -0.11. Which is bigger: g or -1?
-1
Let z be (-4)/((-5)/3 - -2). Let r be z/(-4) - 2/1. Is -3/8 not equal to r?
True
Let k(v) = -v**3 - 3*v - 1. Let i be k(0). Let r be -1 + (-2)/5 + 1. Which is smaller: r or i?
i
Let x be (1 + 0)*(-54)/9. Let o be (x - -8)*(-2)/4. Are o and -1/2 unequal?
True
Suppose 2*o + 0*o = 0. Suppose -2*q + 4*f + 2 - 8 = 0, o = 4*q - 2*f + 6. Is -2 smaller than q?
True
Let j = 1 - 0. Which is smaller: -0.6 or j?
-0.6
Let m be (-4)/(-3)*(-8 - -5). Let l be (7/m)/(5/20). Is l bigger than -7?
False
Let u be 4104/(-2070) - (-1 - 1). Is -1 < u?
True
Suppose 38 = 5*d - 2*n - 0*n, 5*d - 3*n = 42. Suppose -z - d - 2 = 0. Is z less than -7?
True
Let w = -3.4 + 3. Let d = w + -0.9. Let p = d + 0.3. Is p at least as big as 1/2?
False
Suppose -5*k - 3*y - 2 = -62, -k - 3*y = 0. Let f be ((-4)/(-5))/(6/k). Is 0 less than f?
True
Let z 