ter: f or 3/7?
3/7
Suppose -42 = 2*y - 4*n, -2*y - 88 = 2*y - 4*n. Which is smaller: -70/3 or y?
-70/3
Let k = -4 - -6. Let x be 0/((-1)/((-1)/(-2))). Is x equal to k?
False
Let v(x) = -x**3 + 7*x**2 - 4*x + 3. Let k be v(6). Let n be 2/(-1) + 35/k. Let j = -1.3 - -1. Do n and j have different values?
True
Let s(c) = c**3 - 10*c**2 + 8*c + 12. Suppose h = -3*h + 36. Let q be s(h). Let p be 5/q - 0 - 2. Which is smaller: -1 or p?
-1
Let r = -5/76 + 6/19. Let s = 13 - -39. Let i = s + -207/4. Do i and r have the same value?
True
Let o = 3 - 1. Suppose 5*f + 3 = -o. Let h be 1 - (8/2 - 1). Is f bigger than h?
True
Suppose b + 96 = 5*b. Let v be ((-2)/10)/(b/(-30)). Let w = 0 - -0.3. Which is greater: w or v?
w
Suppose -4*z = -4*v - 40, 2*v + 2 + 0 = -z. Which is bigger: z or 7?
7
Let m = -1 - -1. Suppose -5*u - 4 - 1 = m. Let i = u - 0. Which is smaller: -2 or i?
-2
Let o = 11/30 + -7/10. Which is smaller: -1 or o?
-1
Suppose 0 = u - 2*u - y + 7, -5*u + 5*y + 25 = 0. Suppose -4*k = -k - u. Suppose 0*s + 10 = -2*s + k*g, 10 = 2*s + 2*g. Which is bigger: s or 2?
2
Suppose 5*h + 4*i = -26, 4*i = -0*h + 5*h - 6. Suppose 3*y + 4*u - 4 = -8, 5*y = -5*u - 5. Which is bigger: y or h?
y
Let v(p) = p**3 + 6*p**2 + 6*p - 3. Let g be v(-5). Is -9 greater than g?
False
Let p(q) = 4*q**2 - 3*q**3 - 3 + 2*q**3 + 2 - 2*q**2. Let d be p(2). Which is bigger: d or -1/2?
-1/2
Let p(b) = -2*b**3 + 2*b**2 - 2*b + 4. Let z be p(2). Which is smaller: z or -0.2?
z
Let z = 3 - 4. Let j be ((44/z)/1)/(-2). Suppose k + m = -2*m + 13, k + j = 4*m. Which is smaller: 0 or k?
k
Let x = 0.1 + -0.15. Let o = 0.25 + x. Which is smaller: o or -1?
-1
Let w = 82.1 + 23.9. Is w bigger than 1/4?
True
Let l be (-19527)/(-285) - (0 + -1). Let m = 1033/15 - l. Let i = m + 6/19. Which is smaller: i or 0?
i
Suppose -2*y - 6 = -5*y. Let k = -0.1 - -0.2. Is y bigger than k?
True
Let g be (-2)/3*(1 - 4). Let r be 2 - 0 - (-3 - 5). Suppose 3*o + r = -g*o. Which is smaller: -2/5 or o?
o
Suppose -20 = 6*o - 5*o. Let p be (1 - 2)*25/o. Is 0 > p?
False
Let i be ((-1 + 2)*-7)/(-1). Let o be (-6)/(-4)*(i + -5). Is o > 0?
True
Let f(u) = u**3 + 8*u**2 + 7*u - 1. Let x be f(-7). Let o = -0.1 - -0.3. Which is greater: o or x?
o
Let c = 11 + -20. Let o be (-4)/(-6) + (-129)/c. Let z be (-2)/6 + (-10)/o. Is 1/7 >= z?
True
Let f be 20*1 + -4 + 2. Suppose -t + 5*s + 21 = 0, -s - 4*s - f = 2*t. Suppose -1 = -5*k + 9. Is k greater than t?
True
Let a = 42/55 + -113/220. Let s(l) = -l - 4. Let t be s(-5). Is t smaller than a?
False
Suppose 14 = 2*d + 3*r - 4*r, -d + 4*r - 7 = 0. Is d greater than 11?
False
Suppose -1 = -4*b - 17. Let u(l) = l + 3. Let p be u(b). Let m = 129 + -901/7. Which is smaller: p or m?
p
Let z = 35/12 - 3. Let s = 5 + -4. Are s and z nonequal?
True
Let b be (-1 - -3)/(7 + 0). Let u(w) = 2*w + 1. Let o be u(1). Suppose 2*j + o = -j. Which is smaller: j or b?
j
Let h be 1*4 - 0/2. Let c = 16 - 16. Are c and h equal?
False
Let t = -0.1 - -0.1. Let r = -2 - -1.97. Let u = r + -1.97. Is u greater than t?
False
Let l(q) be the second derivative of q**4/12 - 2*q**3 - 2*q**2 - q. Let z be l(12). Which is smaller: z or -6?
-6
Let o = 3.8 - 0.8. Let a = -4 + o. Let k = -2 - a. Which is bigger: k or -0.1?
-0.1
Let c = -241/65 + 56/13. Suppose -3*f - 5*p = -p, -p - 19 = -4*f. Let h be ((-4)/(-6))/(f/6). Is c smaller than h?
True
Suppose -35 = -3*w - 2*a + 3*a, 3*w - 37 = -a. Let j be (w/(-4) + 0)*-1. Which is smaller: 2 or j?
2
Let d(u) = -u - 4. Let c be d(-7). Suppose 2 = -3*p + 8. Suppose p = -o + 4. Is o greater than or equal to c?
False
Let r = -27 + 26. Is r > 18?
False
Let t = 3738/65 + -286/5. Is t less than or equal to 1?
True
Let h be (757/2298)/(18/12). Let n be (2/(-383))/(-1 - 1). Let t = h + n. Which is smaller: 1/5 or t?
1/5
Let y be -4 + (-4 - (-228)/28). Which is smaller: 1 or y?
y
Suppose -1429 = 4*y + 3*g, -4*y - 5*g = 883 + 544. Let i be (-4)/(-6) - y/30. Let q = i + -13. Which is bigger: 4 or q?
4
Suppose 11*n - 16*n = 25. Which is greater: n or -2?
-2
Let a(v) = v**3 - 6*v**2 - v + 5. Let g be a(6). Let r be 9/(-30)*(-8)/18. Let u = r + 1/5. Which is bigger: g or u?
u
Let d = -0.89 - -71.89. Let j = d + -62.8. Let s = j + -8. Does -2/5 = s?
False
Let s be (-160)/275 - (-5)/((-55)/(-2)). Which is greater: -34 or s?
s
Let p(a) = a**3 - a**2. Let d be p(1). Suppose -1 = -2*b + 3*b. Let j = b - -1. Are d and j equal?
True
Let o be (2/(-5))/(2/20). Let h(b) be the first derivative of b**2/2 + 6*b + 1. Let i be h(o). Which is bigger: i or 3/5?
i
Let l be 3/(-12) + 18/8. Let m(q) = -q**3 + 2. Let f be m(l). Let j = f + 7. Which is smaller: j or 0?
0
Let k(q) = -2*q**2 + 10*q. Let r be k(-10). Let v be 3/12 - (-63)/r. Is 1 at least v?
True
Let w = 0 - 0. Which is smaller: 1/10 or w?
w
Let b = 0 + 0. Suppose 2*o + 21 + 5 = 0. Let q = o + 11. Which is bigger: q or b?
b
Let x = 0.04 + 1.96. Let s = x + -1.1. Which is greater: -1 or s?
s
Let c = -2 - -4. Suppose 2*p + 4*z = -28, -5*p - z - c*z = 35. Suppose -5*r = 2*y + 11, 0 = 3*y - 6 - 0. Is r greater than p?
True
Let d = -23/55 - 2/11. Let s = -1/5 - d. Is 1 > s?
True
Let n = 56 + -54. Which is greater: n or 4?
4
Suppose -3*q = -4*q + 9. Which is greater: 11 or q?
11
Let m be -2*(-3 + 6/(-4)). Suppose 3*z = -5*q + 9, 4*z = z + m. Is -3/7 at most as big as q?
True
Let p be 4 + 2/(-4 - 204/(-50)). Which is smaller: p or 28?
28
Let m(w) = w + 2. Let v be m(5). Suppose 2*c - 4*j = -2, v*j = -c + 4*j - 11. Let d = 11/2 + c. Is 0 at least as big as d?
False
Let o = 0.7 + -0.7. Is 0.02 at most as big as o?
False
Let b(l) = l**2 - 4*l - 3. Let a be b(4). Let w(d) = -d**2 + 8*d + 8. Let g be w(9). Let c = g - 1. Which is bigger: a or c?
c
Let y(h) = h - 2. Let c be y(0). Let w be c + 0 + (0 - -2). Which is smaller: 2 or w?
w
Let n be ((-6)/2)/(1 - 0). Let s(b) = -b**3 + 3*b**2 + b - 1. Let h be s(2). Suppose -2*d + 0*k = -3*k, h*k = d - 7. Is d greater than n?
False
Let z be 4/(-6) + (-143)/33. Which is greater: -7/2 or z?
-7/2
Let f be (-60)/18*12/(-10). Suppose -q = 4*u - 16, u - f = 2*q - 5*q. Let g = -28/9 + 149/45. Is g > q?
True
Suppose -h - 1 - 1 = 0, -2*q - 2*h = 22. Which is bigger: -8 or q?
-8
Let m(l) = 2*l + 1. Let f be m(2). Suppose 9 = 2*b - f*b. Let o be (-15)/(-40)*2/b. Which is smaller: -1 or o?
-1
Let d(p) = -p**3 - 35*p**2 - 63*p + 7. Let b be d(-33). Which is greater: -91 or b?
-91
Let b be -4*(2 - (-18)/(-8)). Let i be (-2 + b)*(5 - 0). Suppose -5*w - 12 = -3*w. Which is smaller: i or w?
w
Let j be -3*(-3)/9*-1. Is -1 at least as big as j?
True
Let s = -3/50 + -6/25. Which is greater: 0 or s?
0
Let o(h) = -2*h - 14. Let v be o(-8). Which is greater: v or -2/53?
v
Let f = -3 - -9. Let u = 8 - f. Let n = -45 + 179/4. Which is greater: u or n?
u
Let a be ((-56)/(-3))/(-1) - 1. Let x = 35 + -15. Let w = a + x. Is w greater than or equal to 1?
False
Let l = 165/4 - 41. Is -6 at least as big as l?
False
Let s = -5 - -1. Let a(l) = l + 5. Let b be a(s). Let h be -13 + 3/b - -2. Which is greater: -9 or h?
h
Let n be (-4)/(-16) + (-19)/(-4). Let m = -18 + 32. Suppose -m + 0 = 2*h + 2*v, -4*h = -n*v - 17. Which is greater: h or -3?
h
Let f(r) = 267*r + 3. Let k be f(-1). Let i be 2 - (0 - k/135). Is 1 greater than i?
True
Let y = 10 + -15. Let v be (-66)/(-44)*(-16)/6. Is y smaller than v?
True
Suppose 12 = 3*j + 3. Let f be 1/j - 76/(-6). Suppose -3*r + 4 = f. Is -3 less than r?
False
Let q = 52 + -43. Which is smaller: 5 or q?
5
Suppose 7*z - 43 = -22. Let s = -1 + 4. Is s >= z?
True
Let b be 2 - 4*(-3)/30. Which is greater: 2 or b?
b
Suppose -3*g + 5*j = -1948002, -4*j = -5*g - 3*j + 3246648. Let y = -29218526/45 + g. Let s = 141/5 - y. Is 4 < s?
False
Suppose -2*z - z + 3 = 0. Let p be (-640)/(-110) - (-6)/(-1). Which is bigger: z or p?
z
Let g = -4 + 5. Let p = 112/5 - 794/35. Is p > g?
False
Let y be (-1)/(-2*(-4)/(-32)). Suppose -2*t - y = 18. Is -12 < t?
True
Let q be 4/6 - 24/9. Let i be (-4)/(-8)*q/11. Are 0 and i equal?
False
Let a = 219/17 + -13. Which is greater: a or -1?
a
Let a = 71 + -31. Let u be ((-26)/(-10))/(48/a). Are u and 3 nonequal?
True
Let d = 1.9 + -19.9. Let n = d + 17. Let z = 0.28 - -0.02. Which is smaller: z or n?
n
Let v = -0.33 + 0.4. Which is smaller: 0.1 or v?
v
Let k be 3 - (-10)/(-4) - 1. Is -