 s**2 - 2*s. Let w be u(1). Which is smaller: d or w?
w
Let n(q) = -q**2 - 7*q + 9. Let z(w) = w**2 + 8*w - 10. Let t(k) = 3*n(k) + 2*z(k). Let p be t(-6). Let b = 1/17 - -31/51. Does b = p?
False
Let n be (52/12 + 1)*3. Is 16 > n?
False
Let p = 14 - 12.8. Let r = p - -0.1. Is r greater than 2/5?
True
Let t(f) = -2*f - 8. Let k be t(-7). Is k at least as big as 6?
True
Let m be (5/(-435))/(1/3). Do m and -1 have different values?
True
Suppose -2*c = -3*c + 5*y - 41, 4*c = 4*y - 84. Is c smaller than -87/5?
False
Let f(o) = o**3 + 6*o**2 - 6*o - 3. Let c be f(-7). Let h be (3/2)/((-3)/c). Which is bigger: h or 6?
6
Let d = 316/195 + -22/15. Suppose 3*q - 1 = -4. Which is smaller: q or d?
q
Let k = 37 - 12. Let c = 23.5 - k. Is c less than or equal to -0.1?
True
Let y = 6/49 - -8/49. Which is bigger: y or 1.1?
1.1
Let c(o) = -o + 2. Let h be c(2). Is h at least as big as 2/7?
False
Let i = 20 - 41/2. Let o = -13 - -11.8. Let m = o + 3.2. Is m <= i?
False
Let d be 1*3*5/24. Which is greater: d or -1?
d
Let s = 76 + -86. Which is bigger: -8 or s?
-8
Suppose -3*j + 2*j = 0. Is j <= -7?
False
Let o be 170/(-75) - 2/(-3). Which is greater: 0.3 or o?
0.3
Let i = -53 + 63. Which is greater: i or 2?
i
Let h be 1 - (8/6)/1. Let i = 2 + h. Are 1 and i nonequal?
True
Suppose -12 = -2*p - p. Let f be (1/(-2))/(5/p). Which is greater: f or 0.05?
0.05
Suppose 4*u = -a - 28, 7*u - 5*a = 2*u - 10. Let l be (-4)/u - 22/(-3). Let x be (-4)/l - (0 + -1). Which is greater: 0.1 or x?
x
Suppose 0 = 2*t - 4, t - 6 = 3*s - 2*t. Suppose 0 = -5*i + 3*a + 5 + 29, 2*a + 6 = s. Let o be 4/14 - 26/(-7). Is i less than o?
False
Let v = 4 - 7. Let g = 3 + v. Are g and 0.1 equal?
False
Let j = 422 - 883/2. Let p = j - -19. Which is bigger: p or -1?
p
Suppose -5 = -5*f - 4*p, 5*p - p = 20. Which is bigger: -12/5 or f?
-12/5
Suppose 2*g = 2*o + g + 2, -o - g - 7 = 0. Are -7 and o equal?
False
Let j be (-10)/(-15) - 166/276. Which is smaller: j or 1?
j
Let i = -18 + 23. Let v = 5.1 - i. Which is bigger: 1/24 or v?
v
Let a = 16/25 + -6/25. Let q be 0/3 + -3 + 5. Let o = q - 2. Which is smaller: o or a?
o
Let o(l) = -2*l - 1. Let q be o(-2). Suppose -4 = -x - q*b, -x + 4*b - 4 - 13 = 0. Is x greater than -5?
False
Let q = -0.14 + 0.23. Let w = 0.18 - q. Which is smaller: w or -1?
-1
Let s = 2 - 3. Which is greater: s or 1?
1
Let w be (-1)/(132/45 + -3). Suppose 11 = 5*n - 4*i, -5*n - 2*i = -2 + w. Which is bigger: -2/7 or n?
-2/7
Suppose -5*m + 45 = 15. Let x be (-20)/(-36)*m/(-2). Is -1 equal to x?
False
Let h = -2 - -2. Let d = h + -1. Is -0.6 less than d?
False
Let l = 7/8 + -27/8. Are -3 and l equal?
False
Let o = 0.3 - 0. Let g = -4.7 - -6. Let p = g - o. Which is smaller: 3 or p?
p
Let v = -2 + -1. Which is smaller: v or -4?
-4
Let i be (-1)/2*0/(-2). Suppose 15 = -i*a + 5*a. Suppose d = -4*s + a, 4*s - 3*d - 7 = -0*s. Which is greater: 5/7 or s?
s
Suppose o + o - 10 = 0. Suppose -2*j - 4 = 2*y, 0 = -2*j + o*y - 39 - 0. Which is smaller: -1 or j?
j
Let s = 2 + -2. Let b(y) = y**3 - 5*y**2 - 5*y - 4. Let z be b(6). Suppose 8*o - z*o + 6 = 0. Which is bigger: o or s?
s
Let r be ((-6)/(-18))/((-2)/24). Which is bigger: 3 or r?
3
Suppose 2 = 5*s - 23. Suppose 8 = -4*u - 8. Let v = s + u. Which is bigger: -2/11 or v?
v
Suppose -r = -0*r, -6 = 3*h + 2*r. Let z be (-5)/(-20) + 1/h. Let t be 1*-2*3/(-6). Are t and z unequal?
True
Let x(f) be the first derivative of 1/3*f**3 - 1 - 5*f + 5/2*f**2. Let a be x(-6). Are 1/2 and a nonequal?
True
Let i = -6.07 + 6. Let d = -0.07 - i. Let t = -37 - -112/3. Is d at least t?
False
Let m(r) = r**2 - 9*r - 1. Let p be m(9). Let n be 0 + (-2 - 6*p). Which is smaller: n or 5?
n
Suppose 30 + 11 = 4*t - 5*o, 2*o + 26 = 4*t. Suppose 4 = 5*w - t*v, 4*w - v = -w + 1. Let a = -1.08 - -0.08. Which is greater: a or w?
w
Suppose 6 = 3*s - 0*s, -5*y = 2*s + 1. Suppose 0 = -3*p - 4 + 34. Let x = p + -12. Which is smaller: y or x?
x
Suppose 0*k = k - 4. Suppose 0*y = -3*y + 3. Let t be (y/3)/((-7)/(-105)). Are t and k non-equal?
True
Suppose 2*m + 85 = 2*c - 215, 15 = 3*c. Do m and -145 have different values?
False
Let x = -8 + 11. Suppose 0 = -2*c - x*c - 20. Let m be (-2)/(-7) + 74/(-14). Which is greater: m or c?
c
Let d = -20 + 20. Let w = -6 - -8. Let p be 7/5 - (3 - w). Is d less than or equal to p?
True
Let y be (4 - 2)*3/12. Suppose -5*l = -2*x + 22, -4*x - 4*l - 8 = -l. Which is bigger: x or y?
x
Let n = -5983/106 + 113/2. Which is smaller: n or 1?
n
Let a(c) = c**2 - 7*c - 8. Let p be a(8). Suppose p*h = 3*h. Suppose -2*w + w + 1 = h. Is w less than -4/9?
False
Let k be ((-1)/3)/(33/(-18)). Let m = 6 - 0. Let w = 5 - m. Which is greater: w or k?
k
Let k = 0.58 + -2.57. Let o = 0.01 - k. Let u = 1 - o. Is -2/5 less than u?
False
Let y(d) = d**3 - 3*d**2 - 6*d - 3. Let a be y(4). Which is smaller: a or -12?
-12
Let d(s) = -3*s**3 + 8*s**2 + 4*s. Let l(h) = -2*h**3 + 7*h**2 + 3*h. Let c(k) = -3*d(k) + 4*l(k). Let x be c(-4). Is 2 at most x?
False
Let b be 1/(-3) + 996/(-351). Let h = -1065/104 - -53/8. Let m = h - b. Which is greater: 1 or m?
1
Let r(o) = o**3 + 9*o**2 + 1. Let k be r(-9). Let m be 2 - -1*(k - 0). Suppose -4*f + m = -5*f. Is f < -1?
True
Let d be (-2)/(-7) + 19/7. Suppose d*a + 2 = a. Which is greater: 5 or a?
5
Let d(c) = -c**3 + 6*c**2 - 22. Let o be d(5). Which is bigger: o or 0.13?
o
Let v = -13985/366 - 15/122. Let q = -4 - 34. Let n = q - v. Is n <= 1?
True
Let i be 1/(1/1)*1. Which is smaller: i or 0?
0
Let p be -2*(-2)/4*-5. Let h(b) = b**2 - 7*b + 6. Let t be h(5). Which is greater: t or p?
t
Let s = 63/2 - 32. Is -2 less than or equal to s?
True
Let s be (-23)/7 + (-4)/(-14). Let z = s + 3. Let m = z - 0. Which is smaller: m or 1/2?
m
Suppose 25 = -5*c + 100. Suppose 0*a + c = 5*a. Let z = -2 + 2. Which is bigger: a or z?
a
Let o = 27 + -26. Which is bigger: 4/7 or o?
o
Let n = -9 + 3. Let w = -8 - n. Is w >= -2/5?
False
Let q = 5 - 4.8. Let l = q - 0.4. Which is smaller: l or 0.1?
l
Let v(i) = -i - 2. Let f be v(-2). Is f > 0?
False
Let c = 0.29 + -0.3. Let f = -48.3 - -50.3. Which is bigger: f or c?
f
Let r be 4/(-396)*(-18)/(-15). Let v = r + 101/165. Which is bigger: v or 2?
2
Let f(x) = -4*x**3 + 4*x**2 + 5*x - 2. Let p(j) = -3*j**3 + 4*j**2 + 4*j - 2. Let d(g) = 4*f(g) - 5*p(g). Let l be d(-4). Which is bigger: 7/3 or l?
7/3
Suppose 10*o = 8*o + 6. Is 3 at most as big as o?
True
Let z = 6/11 + -23/22. Let w = -4.5 - -7.4. Let a = 3 - w. Which is bigger: a or z?
a
Let n be 3/267*(-3 - -1). Are 0 and n equal?
False
Let n(r) = -r**3 + 2*r**2 + r. Let g be n(-1). Which is smaller: g or 4/3?
4/3
Let s = -18 - 7. Are s and -24 non-equal?
True
Let t be (9/(-15))/((-2)/10). Let m be (-12)/54 + (-29)/(-9). Let k be (-16)/(-12) - (-2)/m. Which is smaller: k or t?
k
Suppose -5*q - 4 - 476 = 0. Is q greater than or equal to -96?
True
Suppose -2*x = -0*x. Suppose 12*i = -42 - 18. Which is greater: i or x?
x
Suppose -4*z - 7 + 3 = 0. Is z bigger than -10/9?
True
Let f = 5 + 1. Is f greater than or equal to 4?
True
Let i be -2*1 - (-2652)/1701. Let l = i + -2/567. Suppose -4 + 20 = -16*p. Which is smaller: l or p?
p
Let t be 2/(-10) + (-402)/(-10). Let n be t/420 - 4/6. Suppose 2 = -u - 0*u. Is n >= u?
True
Let s = 0.1 + -0.2. Let o = 10.1 + -10. Is o not equal to s?
True
Let x = 23 - 22.9. Which is bigger: 0.01 or x?
x
Let a = -2 - -1. Suppose 5 = k + 2*u - 2, k - 3*u = -8. Is k less than or equal to a?
False
Let l(i) = i - 1. Let g be l(0). Let t(v) = v + 2. Let x be t(-3). Let s = x + 1. Which is smaller: s or g?
g
Let m be (-44)/(-8) + 6/(-4). Let g = 3 - m. Let q = g - -1. Is q bigger than -1?
True
Let m = -68 - -28. Is -1 greater than m?
True
Let t be (-2)/3*(-6)/4. Let f = -123/4 + 31. Do f and t have different values?
True
Let f = 1 - 1. Let x = -0.17 + 0.27. Let w = -0.4 + x. Do f and w have different values?
True
Suppose -11*j + 312 = -19*j. Is j smaller than -39?
False
Let o be (-2 - -3) + (-145)/18. Let p = 41/6 + o. Which is smaller: p or 0?
p
Suppose -m + 3*m = 20. Is m != 9?
True
Let n(b) = -b - 9. Let p be n(-8). Suppose a + 12 = 5*a. Let i be -2 - (p/a + -3). Which is smaller: 2 or i?
i
Let m = 0.9 + -0.7. Which is smaller: 8 or m?
m
Let i = 0.25 + -0.08. Let n = -0.83 - i. Which is greater: -15 or n?
n
Let w = -0