g)/3. Which is smaller: p or a?
a
Let p be (2 - 1)/((-1)/2). Let a = -3/4 - 0. Which is bigger: p or a?
a
Let c = -241/4 + 60. Let i be (-3 + 0)/(-3) - -8. Let a = 8 - i. Does a = c?
False
Let m(j) = j**2 + 9*j - 17. Let f be m(-12). Which is greater: 18 or f?
f
Suppose -l + 2*n = -7, 0*l + 4*n = 3*l - 29. Let x be ((-3)/(-30))/((-2)/l). Let g(b) = b - 6. Let o be g(6). Are o and x equal?
False
Let z(j) = -6*j - 94. Let k be z(-16). Let c = 2/37 - -25/222. Is c at least as big as k?
False
Suppose -h = 3*h - 32. Suppose 4*r - h = 16. Let m be ((r + -3)/(-6))/4. Is m at least as big as -1?
True
Let t = -8.98 + 9. Let j = t - -3.98. Is 1 at most as big as j?
True
Let i = -19 - -17. Which is bigger: i or -12/5?
i
Let k = 53 - 53.1. Is k at least -19?
True
Let z be (2 + -1)/(2/(-4)). Let y be (-12 + 2)*z/(-4). Is -4 greater than y?
True
Let i = 91 + -79. Are -1/3 and i nonequal?
True
Let r(a) = -a. Let c be r(-1). Let n be 0/c + -2 - 0. Let b be -1 - n - (-8)/(-6). Are -2/11 and b equal?
False
Suppose 70 = 5*s + 2*q - q, 2*s = -q + 31. Which is smaller: s or 14?
s
Let h = 109 - 37. Let s = 359/5 - h. Suppose -4 = -3*t - t. Is s < t?
True
Let p(v) be the first derivative of 25*v**3/3 - v**2/2 - v - 2. Let o be p(-1). Suppose 0 = -5*b + 5*j + o, -4 = b + j + 1. Is 5 greater than b?
True
Suppose 2*v = 4*w - 26, 4*w - 3*v = -0*w + 29. Suppose -52 + 7 = -w*r. Let b be ((-2)/(-78))/(3/r). Which is smaller: 0 or b?
0
Let b = -15 + 23. Is b bigger than 7?
True
Suppose k - 5*g - 8 = -3*g, 2*g + 8 = -k. Suppose k*c = c - w - 6, 10 = -5*c - 3*w. Let m = -983/7 - -140. Is c >= m?
True
Let q(b) = 5*b - 37. Let p be q(6). Which is greater: p or -5?
-5
Let t(d) = 3*d. Let i be t(1). Let r(h) = h - 4. Let k be r(i). Is k at least 4?
False
Let c(y) = y**2 - 7*y - 9. Let a be c(8). Is a at least as big as -2/25?
False
Let w = -1.1 + -0.5. Let t = 0.4 - w. Let k = 0.23 + -0.03. Which is smaller: k or t?
k
Let h(r) = -4*r + 9. Let f(g) = -g + 2. Let a(k) = 9*f(k) - 2*h(k). Let y be a(6). Is -6 smaller than y?
False
Let u = -15 - -19. Let l = -5 + 10. Is l at most as big as u?
False
Let a be (0 - -2)/(12/(-48)). Is a greater than -7?
False
Suppose -2*w - 5 = 5. Let f be (-20)/(-25)*5/2. Suppose -6 = -x + f*x. Is x at most as big as w?
True
Suppose 2*m - k + 2 + 2 = 0, -2*k + 8 = -3*m. Suppose -i + m*i - 1 = 0. Is i less than -0.3?
True
Let a = 24 + -39. Which is smaller: a or -17?
-17
Suppose 3*d - 4*g - 28 = 0, 2*d = -d - 3*g. Let q = 4 + -1. Is q bigger than d?
False
Let b = -2 - -1. Let m be ((-1)/18)/((-6)/24). Is m at most as big as b?
False
Suppose -r - r - 8 = 0. Let f be ((24/(-9))/r)/(-2). Is 1/2 equal to f?
False
Let w be -2 + (-9)/(-3) + -3. Which is bigger: w or 0?
0
Suppose -2*k + 6 = -0. Let b be -5 - (0/(-3) - k). Which is greater: -3 or b?
b
Let a(t) = 2*t**2 - t - 1. Let p be a(-2). Let v be (-5)/((-50)/76) - 10/(-25). Which is greater: v or p?
p
Let g(x) = 24*x**2 + x - 1. Let a be g(1). Let f be 198/a + (-2)/8. Which is smaller: f or 9?
f
Let j = 0 + 0. Let t = 11 - 11.1. Let l = j + t. Is -2 > l?
False
Let o = -64 - -75. Which is bigger: -1 or o?
o
Let y = 19.7 - 20. Which is smaller: y or -5/4?
-5/4
Let p(c) = -c**3 + 3*c**2 + c - 4. Let r be p(3). Let n = 1 - r. Suppose n*y + 2*v + 0 = -2, 2*y - 2*v = 2. Is y > 1/8?
False
Let b = 4399523/18 - 244173. Let u = b - 245. Is u at most as big as 1?
True
Let o be (5 - 0)/(1 - 0). Let a(b) = b**3 - 5*b**2 + 3*b - 2. Let w be a(4). Let h be (0 - 2)*w/(-12). Which is smaller: h or o?
h
Let c = -2/587 - -39337/2348. Which is smaller: c or 16?
16
Let p(d) = -d**2 + 18. Let x be p(-6). Which is smaller: -0.1 or x?
x
Let v(z) = 2*z - 4. Let o be v(-5). Is -16 > o?
False
Suppose -3*g - 7 = -34. Let l = g - 6. Let y be ((-6)/4)/((-1)/2). Does y = l?
True
Let o(u) = u**2 - 3*u - 1 - 3*u - 5 - 2. Let t be o(7). Do t and -2 have the same value?
False
Let z(g) be the first derivative of -4*g - 1/2*g**2 - 3. Let n be z(-5). Which is smaller: n or 1/10?
1/10
Suppose 30*u + 25 = 25*u. Which is bigger: u or -25/7?
-25/7
Suppose 0 = 5*p + 3*d + 4, 3*p - 4 - 5 = 2*d. Let m = -0.41 - -0.3. Let n = 0.09 - m. Is n at most as big as p?
True
Let b(f) = f**3 - 8*f**2 - 3. Let t be b(8). Suppose -2*w - 3*l - 12 = 1, -3*w - 11 = -4*l. Let j be w*1*(-6)/(-15). Which is smaller: t or j?
t
Suppose -2*q - 9 = p - 1, -p - 4*q - 16 = 0. Suppose p*n - 3*n + 3 = 0. Let w be 1/5 - (-9)/(-20). Which is greater: w or n?
n
Let d = -324/5 - -65. Do d and -0.01 have the same value?
False
Let i be 7 + -8 + (-8)/(-2). Which is smaller: 4 or i?
i
Let h(w) = -2*w**3 - w**2 + 2*w - 1. Let d be h(-2). Suppose -5*k - d = -17. Is -0.1 at least as big as k?
False
Let g = 3 - 3. Let k be (-8)/3 - (0 - (-18)/(-6)). Is k bigger than g?
True
Let a = -17 - -11. Which is bigger: -5 or a?
-5
Let l be (18/75)/((-4)/5). Let b be 16/(-2) - -4 - -4. Are b and l unequal?
True
Let q(l) = -2*l + 5. Let v(o) = o - 3. Let j(y) = 3*q(y) + 5*v(y). Let c be j(4). Are c and -4 equal?
True
Let z = 24 - 24.26. Is 2 equal to z?
False
Suppose 5*z + 9 = m, 0*m = -z + 2*m - 9. Are -3/8 and z unequal?
True
Let j be (-3 - (-1 + 3))*24/20. Which is smaller: j or 0.02?
j
Let p = -0.71 + -0.09. Let o = -1 - p. Let d = 0 - 0.2. Is o not equal to d?
False
Let x(l) = 2*l + 3. Let j be x(5). Suppose -o + 18 = j. Is o less than or equal to 3?
False
Suppose -2 = 2*w, 0*g + 4 = -g - 4*w. Are g and -9/10 unequal?
True
Let g = -20 - -20. Suppose 2*r = 4*a + 6, -2*a + g = -4*r - 6. Let t = -7 - -5. Which is smaller: a or t?
a
Suppose 16*n - 27 = 15*n. Which is smaller: n or 28?
n
Let z be (-110)/(-6) + (-3)/((-36)/8). Is 0 less than z?
True
Let g(o) = -o**2 - 4*o. Let q be g(-4). Let t be (-2)/4 - (-610)/1708. Does q = t?
False
Let m = -2442/119 + 135/7. Is m bigger than -1?
False
Let y = 49 - 25. Is 25 less than y?
False
Let a = -0.07 + -0.03. Let i = 0 - a. Let s = 4 + -3.9. Does i = s?
True
Let m(a) = 0 + 5*a**2 + 2 - 4*a - a**2 - a**3. Let s be m(3). Is s < 0?
True
Let y be 8/28 - 44/259. Let s = y - 17473/1036. Let c = s + 17. Is c greater than 1/3?
False
Let n be -1*((-12)/4)/3. Is n less than or equal to 1?
True
Suppose -w - 4 = w. Let c = 105/4 - 28. Which is greater: c or w?
c
Let s be ((-3)/27)/(1/3). Is s at least as big as 2/9?
False
Let n = -51.28 + 51. Is 0.1 < n?
False
Let n be (-74)/9 - (-4)/18. Let w be (1/2)/((-20)/n). Let k = -0.1 - -0.3. Is w >= k?
True
Suppose -4*g - 17 = 31. Let u be (-4)/g + (-16)/(-6). Is 0 smaller than u?
True
Suppose -317 = 6*u + 79. Do u and -65 have different values?
True
Let p = -15/4 + 103/28. Let z = -55 - -388/7. Let k = z - p. Do k and -1/4 have the same value?
False
Let y = 12 + -12.7. Let w = -1 - y. Let c = w + 1.3. Are 3 and c equal?
False
Let d be -1*(-2)/(-1 - -3). Let x(r) = -2*r**2 + 3*r. Let l be x(2). Is l at most as big as d?
True
Let z = 9061168/207 - 43774. Let t = 3/23 + z. Is t equal to 0?
False
Let s = -6 + 8. Let v be s/8*-1*1. Is 1 > v?
True
Let q(f) = f - 10. Let x(k) = k**3 - 3*k**2 + 4*k - 4. Let y be x(3). Let r be q(y). Let b be r/3 + 28/33. Is b greater than -1?
True
Let w = -12 + 64/5. Which is greater: 1 or w?
1
Suppose 0 = -5*v + 6*v - 5. Let i(s) = 2*s**2 + 4*s - 1. Let r be i(-3). Let b = r - v. Is -1/3 less than or equal to b?
True
Let y be (-1)/1*(-30)/2. Suppose -3*f - 17 = -n + 1, y = -3*f. Suppose -n*q + 5 = 2*q. Is -3 < q?
True
Let y(t) = -t**3 - 2*t**2 + 3*t. Let v be y(-3). Let g be (-2)/6426*1822 - 0. Let z = -2/459 + g. Which is bigger: v or z?
v
Suppose 2*n + 4*o - 36 = 0, -5*n - 3*o + 118 = -0*n. Is 27 >= n?
True
Let m(y) = -y**2 - 5*y - 2. Let b be m(-3). Suppose -d + 42 = -b*d. Which is smaller: d or -15?
-15
Let l be ((-39)/(-52))/((-261)/8). Which is smaller: -1 or l?
-1
Let r = 14 - 28. Which is smaller: 1 or r?
r
Let g(r) = r**2 - 8*r - 5. Let d be g(9). Suppose 4*h + q = 3, d*q - 2*q = -2*h. Do 1 and h have the same value?
True
Suppose 2 = -q + 5. Suppose -b + q*f = 1, b + 1 = f - 2*f. Is -1 greater than b?
False
Let i be (-3)/6 - 9/(-2). Suppose 5*d = i*d. Is d < 0?
False
Let d = -1 + 1. Suppose 1 + 0 = c. Let f be (-2 + c)*2/(-6). Which is smaller: d or f?
d
Suppose 3*q = -7*q + 940. Is 95 at most as big as q?
False
Let b(i) = i**2 + 5*i + 1. Let r be b(-6). Suppose 2*h + h = 12. Let k = h 