: n or -46?
-46
Suppose -2*f - 3*r = 71, -5*f - 3*r - 193 = -20. Which is greater: f or -33?
-33
Let s = -13 - -13. Suppose s = -3*k + 5*k + 2. Is k less than or equal to 1/7?
True
Let y = -1.82 - -0.02. Let f = -0.2 + y. Is f bigger than 1/4?
False
Let o = 11/67932 - 17737877/475524. Let k = -346/9 - o. Is k less than or equal to -2?
False
Let t = 0.08 + -0.26. Which is greater: t or -2?
t
Let m = -7/99 - 1/9. Let i(k) = k + 6. Let l be i(-6). Is m less than l?
True
Let c = -8.2 + 8.2. Is -2/3 less than or equal to c?
True
Let b be (0 + 0)*2/(-4). Let j be ((-1950)/(-14))/((-27)/(-18)). Let f = 93 - j. Which is smaller: f or b?
b
Let d = 69 + -481/7. Which is bigger: d or 0?
d
Let p(o) = o + 1. Let r be p(-3). Let x be r + 11/5*1. Suppose 5 = 2*i - 3*i - 3*d, -3*d - 7 = -i. Which is smaller: i or x?
x
Suppose 28 = 4*o + 4*q, 2*o - 3*q - 22 = -3. Let u be (-13)/o - (-6 - -4). Which is greater: u or -1?
u
Let h(v) = -v + 13. Let r be h(14). Let n(a) = -3*a + 2. Let g be n(r). Is g at most 5?
True
Let i = -46 + 24. Is 0 less than i?
False
Let b be 6/(-12) - 30/(-4). Do b and 7 have different values?
False
Let b be (-108)/(-30) - 2/(-5). Suppose 4*c = b*o - 0*c - 12, -3 = 4*o - c. Which is greater: -5 or o?
o
Let i = -34.962 + 35. Which is smaller: -0.1 or i?
-0.1
Let w be (3*2/(-3))/27. Is -1 > w?
False
Let k = -172 + 1202/7. Let p(g) = 4*g - 3*g - 5 - 2. Let d be p(8). Is d smaller than k?
False
Suppose 2*g = 3*g - 18. Let d be ((-2)/g)/((-11)/(-44)). Is -1 greater than d?
False
Suppose -40*b = -45*b + 70. Is b at most 15?
True
Suppose 4*o = 3*q - 5*q + 6, 5*q - 4*o - 1 = 0. Which is bigger: q or -14?
q
Let m = -10 + 7. Let r = 4 + m. Let g = -0.19 + -0.01. Which is bigger: r or g?
r
Suppose 6*l + 88 = 17*l. Let k be (-11)/(-4) - (-2)/8. Suppose 5*y + 3*r = 6*r + 48, 4*r = -k*y + 23. Is l <= y?
True
Suppose 3 = -5*x + 63. Suppose 3*g = -2*g + 2*s - x, 4 = 4*s. Let c be (-2)/(-6)*(-3)/(-2). Does g = c?
False
Let s = 0 + -2. Let h be (1 + (-2 - 0))/(-1). Is s != h?
True
Let v = -71 + 54. Does v = -17?
True
Let k = 36 - 18. Let t = k + -18. Is -4/3 less than t?
True
Let k = 3 - 5. Let g be (k/4)/(3/48). Let h be 4/g + (0 - 0). Which is smaller: h or -1/5?
h
Let u = 1 + -3. Let c be -3*u*3/18. Do 3/8 and c have the same value?
False
Suppose 3*w - 8*w + 2*x = -18, -x = 2*w. Let c = 8 + -5. Let h = 0 + c. Are w and h equal?
False
Let a(y) be the first derivative of y**2/2 - 2*y + 6. Let j be a(2). Which is smaller: -3 or j?
-3
Suppose 3*x + 3*r + 48 = 0, x + r = 5*x + 59. Let t = 9 + x. Are t and -6 nonequal?
False
Suppose -5*g + 9 = -11. Which is greater: g or 16/3?
16/3
Let g(s) = -s**3 - 11*s**2 - 12*s - 13. Let v be g(-10). Let j = v + -4. Suppose 16 = -l - j*l. Which is bigger: -3 or l?
-3
Let j be 12/(-10)*(5 - 0). Let r be j/(-2) - 6/3. Is r greater than 1?
False
Let a be 1/((-8)/(-5))*(-8)/20. Is a less than -0.16?
True
Let h be (4/18)/(56/16). Let f = 113/126 - h. Which is smaller: 2 or f?
f
Suppose -8 = -p - p. Let u = 3 - p. Let h be ((-1)/5)/((-4)/(-10)). Which is greater: u or h?
h
Suppose u - 2 = -0. Let q be (0 + 3)*(3 + -2). Which is smaller: q or u?
u
Let h be 0 + -3 - -1 - -6. Let i be h/((-40)/(-26)) + -3. Let f be (-1)/10 + 2/(-5). Is i greater than or equal to f?
True
Let z be 12 + (2 - 1)*2. Is z greater than 11?
True
Let l = 217/156 - -14/39. Which is bigger: l or 1?
l
Let u = 1712/9429 + 4/449. Which is smaller: -1 or u?
-1
Let h = 12 - 8. Suppose 0 = z - 3*a - 6 + 5, 5*z - h*a + 6 = 0. Which is bigger: 0 or z?
0
Suppose 2*g + 3*o = -34, 42 = -5*g - 2*o - 21. Let f = g + 7. Is f > -3?
False
Let u be -4 + 2 + 6 - -14. Is 17 at most u?
True
Let t(i) = 4*i - 1 + 6 - i**2 + i. Let k be t(6). Let p(s) = -s - 1. Let j be p(0). Is k bigger than j?
False
Let b be (2/(-4))/((-2)/(-8)). Let f = -0.2 + -0.1. Let h = f + 0.2. Is h > b?
True
Let w = -2 - -5. Let h = 9 + -5. Which is smaller: w or h?
w
Let l = -647/3 + 218. Which is bigger: l or 2?
l
Let r be 4/(-6)*(-6)/10. Suppose -3*d = -d + 2*z, -2*z = 4*d. Which is smaller: d or r?
d
Let b(g) = g**2 + 14*g + 18. Let l be b(-13). Is 5 <= l?
True
Let v be (9/(-12))/(-4 + (-44)/(-8)). Are v and 32 equal?
False
Let d = -47 - -41. Suppose -3*v + 6 = 18. Which is greater: d or v?
v
Let r = 3 - 2.96. Let h = -17 - -26. Suppose -6*y + h*y + 3 = 0. Which is greater: y or r?
r
Let a(k) = k**3 - k**2 + k. Let n be a(1). Which is bigger: 7/3 or n?
7/3
Let k(p) = p**3 - 6*p**2 + 6*p - 2. Let z be k(5). Suppose -2*t = -b - z + 10, 0 = -3*t. Which is greater: 8 or b?
8
Let j = 8 + -7.4. Let m = j + -1.6. Which is smaller: m or -6?
-6
Suppose 4*h = h. Let y = -11/7 - -100/77. Is h at least y?
True
Let d(z) = -2*z**2 - z - 1. Let w be d(-1). Let h = 100 + -302/3. Are w and h equal?
False
Suppose 10 = 5*f + 5*o, 2*o - 6 = -f - 3*f. Suppose -18 = 2*s + 4*l, l - 4*l - 8 = -4*s. Let g be 0 + s + (-10)/(-12). Which is bigger: g or f?
f
Let o = 0.66 + -0.46. Is o at least as big as 36?
False
Let j(a) = -a + 7. Let y be j(6). Let q = -210 - -3572/17. Which is greater: q or y?
y
Suppose 3*h - 21 = 2*x - 5*x, -3*x + 3*h = -51. Is x <= 12?
True
Suppose a - 3*d = 3 + 1, a = -5*d - 4. Is a not equal to -2/11?
True
Suppose 77 = -4*w - 0*x - x, w = -2*x - 28. Is -18 >= w?
True
Let v = -24 + 36. Let x = 12.4 - v. Are -1 and x nonequal?
True
Let a be (-24)/(-85) - (-2)/(-5). Which is bigger: a or -2/3?
a
Let w = 15 - 5. Let t = 10.16 - w. Let z = 0.06 - t. Is z bigger than 0?
False
Let c be (-76)/6*((-7 - 0) + 4). Does c = 37?
False
Let p be -3 + (5 - (2 - 117)). Is p less than or equal to 117?
True
Let t(v) = -v**3 + 2*v**2 + v. Let o be t(-2). Let z be o/(-4) - (-2 + -1). Is z greater than -1?
True
Let b be (-2)/(-7) - (-1880)/(-6531). Let t = -10253/4665 + b. Do t and -3 have different values?
True
Suppose q - 2 + 1 = 0. Suppose 0 = -4*o - n + 7, 6*o - 3*o + 1 = -2*n. Let w = -3 + o. Which is bigger: q or w?
q
Suppose 0 = -4*r - 16, -5*x + 0*r = -r - 24. Is x <= 4?
True
Suppose -6 = -2*f + 3*f. Let g = 5 + f. Is -2/3 > g?
True
Let m = 28/5 + -354/65. Is m > 0?
True
Let j be -3 - (0 + (-4 - 4)). Suppose j*f + 17 - 62 = 0. Are 7 and f equal?
False
Let b(x) = x**3 - 6*x**2 + 4*x + 6. Let q be b(5). Let n be (44/16)/q - 4. Is 2 smaller than n?
False
Let i(x) = -x**2 - 4*x. Let d be i(-2). Let m be (d/6)/((-16)/(-66)). Which is smaller: 4 or m?
m
Suppose -2*y - 4*r = 28, 0 = 4*y - 3*r + 16 + 18. Let b be 1/(-3) - y/(-6). Let j be b/4 - (-6)/4. Are 1/4 and j nonequal?
True
Let s = -3 - 1. Let d(w) = w**3 + 7*w**2 + 11*w + 3. Let z be d(-5). Which is smaller: z or s?
s
Let k(f) = -f**3 - 9*f**2 - 9*f - 3. Suppose q + 4*q - 160 = 0. Suppose 0*h - q = 4*h. Let w be k(h). Is w not equal to 4?
True
Let d be (-12)/(-15) + (-4)/30. Let z = -0.3 + 0.2. Is z greater than or equal to d?
False
Let i be 6/27 - 2/9. Suppose 4*s - 16 - 4 = -4*r, i = s - 4. Let n be (2 + (r - 4))/1. Are n and -1/4 equal?
False
Suppose 2*q - 8 = -3*k + k, q - 4 = -2*k. Which is greater: 3/7 or k?
3/7
Suppose 2 = -3*q + q. Let b = 25/28 + -3/4. Is b at most q?
False
Let h = -2/111 - -76/111. Let x = h + -1. Which is smaller: -0.1 or x?
x
Suppose -7*r = -3*r + 3*b - 8, r + 4*b = 2. Let w be (r/48)/(30/40). Which is smaller: 0 or w?
0
Let m = -119 + 70. Let k be (56/m)/(2/(-7)). Which is smaller: 2 or k?
2
Let x = 0.02 + 0.88. Let v = 0.1 + x. Let b = -0.1 + -0.2. Is b smaller than v?
True
Let v be (1 + (2 - 3))/1. Is v at least as big as -1/29?
True
Suppose -20 = -2*y - v, -32 = -3*y - y + 2*v. Let n = y + -16. Which is bigger: n or -6?
-6
Let s(o) = o**3 - 3*o**2 - o - 10. Let g be s(5). Which is bigger: g or 34?
g
Let r(j) = 4*j - 1. Let t be r(1). Let n be -1*t/9*-3. Let d = n + -1. Which is bigger: -1 or d?
d
Suppose 3*u = -4*v - 17, -4*u + 2*v + 8 = -6. Does u = 7/10?
False
Suppose 2 = -2*b - 8. Let j be 2 + b + 9 + 1. Is j at least 7?
True
Suppose 2*s - 5 = 3*y, 0 = -4*s + 2*y + 2*y + 16. Suppose -s*w = -6*w + 1. Which is greater: w or -1/8?
-1/8
Suppose -5*y - 5*b = 75, -3*y + 0*b - 55 = 5*b. Suppose x + 8 = -0*x - 3*i, 5*x - i = 24. Let k be y/x*(-3)/(-15). Is -1 greater than or equal to k?
False
Let t = -263/204 - -2/51. Is -2 >= t?
False
Let s = 33 - 67/2. Does 2 = s?
False
Let z = -56 + 337/6. Suppose r = 3*r + 2. Which is smaller: z or r?