 -3). Which is bigger: 0 or f?
0
Suppose -2*q + 10 = 4*z, 3*q - 8 = 3*z - 2*z. Suppose 2*a - 5*i = q, 3*i = -6*a + 4*a - 5. Are -2/7 and a equal?
False
Let r(m) = -33*m + 1. Let g be r(-1). Let k = -240/7 + g. Suppose -3*p + 3*i + 0*i = -6, -4*i = p + 13. Which is bigger: k or p?
k
Let i = 4 + -2. Let q be 2/5 + 24/15. Let c be 4 + i/(-2) - q. Which is greater: 4 or c?
4
Let t = -11 - -6. Which is bigger: 2 or t?
2
Let t = -7 - -11. Let h be ((-2)/(-8))/(t/8). Let i(g) = g + 4. Let b be i(-4). Is b not equal to h?
True
Suppose -v = 2*k - 12, 2*k + 3*k = 5*v. Let m be k/3 + 17/(-51). Suppose 8 = 5*u + 4*i, 3*i = 4*u + 2 + 4. Do m and u have different values?
True
Let g(p) = -5*p**3 - 2*p**2 - 2*p - 1. Let z be g(-1). Suppose 5*r + 16 = x, -r + z = x - 0*r. Let w be (-6)/(-4)*8/x. Is w greater than -0.2?
True
Let g = 167 + -163. Which is bigger: g or 8/3?
g
Let n be ((-148)/(-28) + -5)*7/(-3). Let w be -1 - ((-1)/(-1))/(-1). Which is smaller: w or n?
n
Let h = 3 + 7. Let m = -9.7 + h. Are -2/5 and m nonequal?
True
Let o(t) = -3*t + 3. Suppose 4*m + 0*m - 12 = -4*f, 0 = f - 2*m. Let d be o(f). Suppose 0 = 2*q - 5*j + 23, -3*j + 2 + 7 = 0. Which is bigger: d or q?
d
Suppose -5*s = 5*j - 10, 5 = 5*s + 3*j + 1. Is 1/10 at most s?
False
Let b be 1 + (2 - 1 - 2). Let s be ((-42)/(-49))/((-1)/(-7)). Suppose -v = -s*v. Is v at most b?
True
Let i = 171719/111 - 1547. Which is greater: i or -1?
i
Let l(r) = r**2 + r + 1. Let h be l(0). Let i(p) = -p - 1. Let k be i(-1). Let o = h - k. Do o and 0 have different values?
True
Let b(t) = -2*t + 64. Let g be b(31). Which is smaller: g or 0?
0
Suppose -12 = 3*a, -5*u - 3*a - 15 + 3 = 0. Which is smaller: u or 2/47?
u
Let b = 1495 + -16471/11. Is b greater than or equal to -2?
False
Let n = -239 - -1679/7. Let l(m) = 1 - 3*m - m + m**2 + 2. Let w be l(3). Which is smaller: w or n?
w
Let l(b) = 3*b - 4. Let y be l(3). Suppose 0 = 5*r - 5, t + y*r - 5 - 12 = 0. Let u be ((-4)/(-6))/(8/t). Is u at most -1/3?
False
Suppose -a = -0*a. Let j = -1 + a. Let o be -2 - 0/2 - (0 + 1). Which is smaller: j or o?
o
Let w = 42.7 - 46. Let c = -3 - w. Let a = c - -0.7. Is -0.1 greater than or equal to a?
False
Suppose w = 4*m + 23, -4*m - 28 = -w + m. Let b = -5 + -4. Let z = -7 - b. Which is bigger: w or z?
w
Let m be 0 + 1 - 0/(-16). Is 4/23 != m?
True
Let v = 9.991 + 0.009. Which is smaller: v or 0.2?
0.2
Let t = 5.7 + 0.1. Let f = t - 0.8. Let n = 6 - f. Which is smaller: n or -0.2?
-0.2
Let v = 0.098 + -0.108. Which is bigger: v or 0.1?
0.1
Suppose 5*p = 2*p - g - 807, 0 = -p - 5*g - 269. Let q be ((-846)/4)/(11/14). Let d = p - q. Is 0 smaller than d?
True
Let b = -12 - -11.9. Which is bigger: -0.05 or b?
-0.05
Let k = 0.09 + -0.49. Let n = 1.4 + k. Let f = -1.2 + 0.2. Which is smaller: n or f?
f
Let i(h) = -h**3 - 3*h**2 - 2*h - 4. Let d be i(-3). Let s be 0 + 0/(d - 3). Let g = 0 - s. Is g at least 1?
False
Let p = -2 + 2. Suppose 4*s = s + 3*x - 6, 5*x = p. Let c be -4 - ((-10)/2 - -2). Is c <= s?
False
Let k = 2 - 2. Let y be (-2 + -7)/((-2)/2). Suppose 3*g = -0*g - y. Which is smaller: k or g?
g
Let f(p) be the first derivative of -p**4/4 + 2*p**3 + 5*p**2/2 + 9*p + 5. Let v be f(7). Which is greater: -3 or v?
-3
Let g = -6.87 - 0.13. Which is greater: g or 1?
1
Let o = 43 + -42. Is o > 11?
False
Let n = 115 + -1726/15. Is n less than 1?
True
Suppose 0 = h - 3*x + 8, 0*x = 5*h + 3*x + 58. Let k = 11 + h. Which is bigger: -2 or k?
k
Suppose -10 = -i - 4*i. Suppose 3*o + 2 = j - 9, -i*o + 16 = j. Is j != 15?
True
Let p be (-3)/(-9) + 110/(-6). Let w = -7 - p. Let j(s) = s**3 - 10*s**2 - 11*s + 1. Let x be j(w). Does x = 0?
False
Let z be ((-10)/(-6) + -2)/(6/18). Is -2/47 >= z?
True
Let t = 37/6 + -91/15. Let d = -2 + 3. Are d and t nonequal?
True
Suppose 8 = -4*y - 4. Let t be y - -3 - 1*-1. Let z = 5/68 + -9/1972. Which is smaller: z or t?
z
Let l = -0.17 - 0.03. Let d = -0.26 - l. Let s = d - 0.04. Is s at most as big as 4?
True
Suppose -2*v = -4*b - 26, 4*v - 5*b = -v + 40. Suppose 0 = -2*a + v*c, 11 = -2*a - 5*c - 5. Let r be (-1)/(-1) - (-2 - -6). Are r and a equal?
True
Let x be (1/(-3))/(7/(-21)). Which is smaller: x or -61?
-61
Let j = 29/21 - 5/3. Let v be (-6 + -2)/(2/(-4)). Let z be (-14)/8 - (-12)/v. Is z less than or equal to j?
True
Let y = -54 - -58. Which is greater: 11/4 or y?
y
Let o(r) = r - 4. Let a be o(4). Let j = 5 - 3. Let c = 0 + j. Is a greater than c?
False
Let a = -0.01 + -2.99. Suppose 0 = 28*l - 33*l. Is l bigger than a?
True
Let f = 5 - 2. Let i = 2 + 1. Suppose 3*w - 24 = i*o, o - 16 = -8*w + 3*w. Which is smaller: w or f?
f
Suppose -3*h = h - 20. Suppose 2*i + 3*c + 1 = -3, i - h = 2*c. Which is greater: 2/41 or i?
i
Let y = 164.4 + -171. Is 0.2 greater than y?
True
Let f(w) = w - 2. Let g(o) = -o**2 + 4*o + 3. Let i be g(4). Let k be f(i). Is -4/9 at most as big as k?
True
Let p = -1.26 + 1.3. Are p and 1/2 equal?
False
Let m = 71 + -70.9. Which is smaller: 6 or m?
m
Let o be 0/((-1)/1*-1). Is 4 < o?
False
Let m = 15 + -13.8. Let d = 1 - m. Let b be 2 - ((-3)/4)/(4/(-8)). Is b greater than d?
True
Let x be (0 + -1)*(-4)/36. Let d = 5 - 8. Let u be 2/(18/(-3))*d. Which is smaller: x or u?
x
Let w(d) = -d**3 + 5*d**2 + 8*d - 5. Let r be w(6). Suppose i - 4 = 2*a + 4, -2*i - 3*a = 5. Suppose -r = -f + i. Is 10 smaller than f?
False
Let i be (-15)/4 - (-3 + -1). Which is greater: 2/7 or i?
2/7
Let c = 1.88 - 1.58. Is c greater than 12?
False
Let b = -7.82 + -0.18. Does b = 3?
False
Let y be -1 + 3 + 5 + -6. Is y less than 0?
False
Suppose 10*d + 3 - 13 = 0. Are 1 and d nonequal?
False
Let k(r) = r**2 - 8*r + 7. Let t = -16 - -23. Let l be k(t). Which is smaller: -1 or l?
-1
Let u be (8/(-32))/((-6)/16). Do u and 5 have the same value?
False
Let j be 292/18 + (-8)/36. Let w be j/(-16)*(8 - 1). Which is bigger: w or -8?
w
Let p be (-5)/52 + 1/4. Let k(b) = b**2 - 8*b + 8. Let v be k(7). Is p greater than v?
False
Suppose -3*k = -16 + 85. Is k smaller than -24?
False
Suppose -4*s + 48 = 4. Which is smaller: s or 19/2?
19/2
Let n be -1 + 0/(6 - 2). Is -2/29 smaller than n?
False
Let v = -203/6 + 34. Let w = 2 - 1. Which is smaller: v or w?
v
Let v = 13 - 37/3. Let j(i) = i**2 - 2*i - 3. Let z be j(3). Suppose z = 4*g - 4 - 4. Does v = g?
False
Let n = 710 - 51828/73. Is -1 less than or equal to n?
True
Let y be 1 - ((-105)/(-12))/7. Let q be -2 - 6/(-8) - -1. Is y != q?
False
Let b = 0.5 - 0.6. Let j = -0.2 - b. Which is bigger: -4 or j?
j
Let r(t) = -4*t. Suppose 0*f - 3*f = 24. Let g = f + 6. Let o be r(g). Which is smaller: o or 9?
o
Let u be (0 - -1 - 1)/1. Which is bigger: u or -9?
u
Let j = 1.3 - -4.7. Is j greater than 0.2?
True
Let r be 2/(-9)*3/(-4). Let t be -3*(-3)/(-9)*0. Which is greater: r or t?
r
Let z be (3 + -1)*(4 - 3). Let p be z*1 + (-2)/(-1). Suppose -w + p*w = -3. Which is bigger: -0.3 or w?
-0.3
Let r be ((-20)/(-35))/(-2) + (-162)/21. Is r > -8?
False
Let o be (2/4)/(2/84*-3). Does -6 = o?
False
Let v be 2/12 + (-20)/(-24). Let w(m) = -m**3 - m**2 + m. Let q be w(-2). Are q and v unequal?
True
Suppose 5*c = o + 5, 0*o = -3*c + o + 5. Let y = 11 + -7. Suppose -2*h - 4*n = n, 3*h - y*n = 0. Is c not equal to h?
False
Suppose -3*j = q - 6, 2*q - 4*q = -4*j + 18. Is q greater than -4?
True
Let h = 4 - 3. Let l = 2 + -1. Does l = h?
True
Let v(l) be the second derivative of -l**3/6 + l**2 - 7*l. Let s be v(2). Which is greater: 1/7 or s?
1/7
Let t = -2.86 - -3. Let v = -2.14 + t. Which is smaller: v or 2/13?
v
Let y be (2/(-4))/(6/12). Let z = y + 1. Is -1/5 greater than or equal to z?
False
Suppose 176 = -4*g - 12. Which is smaller: 1 or g?
g
Suppose -5*n + 5 = 0, -5 = -5*b + 3*n - 8*n. Which is smaller: b or -2/7?
-2/7
Suppose 0 = -2*u + 3*a + 25, u + 3*a = -3*u + 5. Suppose 0*y - u = 5*y. Is 2/9 less than y?
False
Let d(b) = -b**2 - 6*b - 5. Let r be d(-5). Suppose r = -a + 5*a. Let y be (1 - -1)/(-15 - -2). Is a smaller than y?
False
Let i = -71 - -91. Is i less than or equal to 22?
True
Suppose 0 = -2*t - 3*t + 5*p - 30, -3*p - 14 = 5*t. Let w be (-6)/(-9)*-3 + -2. Is w greater than t?
False
Let v be (-1)/((-2)/(-2) - -6). Let r = -15 - -27. Let p = 12 - r. Which is smaller: v or p?
v
Let s = -36 + 110/3. Is -1.2 >= s?
False
Let u = -0.133 + 0.033. Let t = 0.3 + -