3 + 3. Suppose 4*a - a + 3*k - g = 0, -a + 4*k + 17 = 0. Suppose -2*q + a*h = -0*q + 10, 2*h + 38 = -2*q. Is q less than -16?
False
Let p = -0.03 + 0.23. Do p and 16 have the same value?
False
Let g be (-3)/(-18)*2*-6. Let j be g/((-9)/(108/(-40))). Let v = -2.3 - -2.3. Is v at most j?
False
Let z = 12 + -10. Suppose 58 = 4*x + z*f, 0 = 5*x - 3*f + 7*f - 74. Which is greater: x or 13?
x
Let v = 1.94 - 0.14. Let w = 1.7 - v. Are w and 4 equal?
False
Suppose 3*i - 14 = 2*i + 5*l, 2*i = 4*l + 28. Let n(z) = -z**3 - 10*z**2 - 3*z - 30. Let p be n(-10). Suppose -i*x + 12*x = p. Which is greater: -1/15 or x?
x
Suppose 4*f - 50 - 50 = 0. Let b be 2/3*15/2. Suppose -5 = -b*r + f. Which is greater: 5 or r?
r
Let k = -168 + 167. Is -14 > k?
False
Let b = -4/85 + 446/5865. Let m = 25 - 11. Suppose m - 10 = 4*j. Which is smaller: b or j?
b
Suppose -5*w = 5*k - 35, -2*w + 22 = 5*k - 4. Suppose 2*m + 18 = -5*r, -k*m - 4*r = -3*r. Let h be (-22)/(-40) - 2/(-10). Is h at most as big as m?
True
Let x be ((-4368)/(-36))/(-7)*-66. Which is smaller: x or 1143?
1143
Suppose p + 30 = -2*m, 0 = -4*m + 4*p - 18 - 66. Let w(b) = b**3 + 16*b**2 - 15*b + 34. Let x be w(m). Which is smaller: -4 or x?
-4
Let t = -3.777 + -0.023. Which is smaller: t or -2/7?
t
Let g = -0.2 - 3.7. Let f = 4.4 + g. Do f and 0 have the same value?
False
Let l = 0.054 + -0.324. Let s = -3.27 - l. Which is smaller: 0.6 or s?
s
Let i be (380/8)/19*(253 + 1). Is i != 634?
True
Let m(k) = -k**3 + 6*k**2 - 5*k - 3. Let i be m(5). Let d(w) be the first derivative of w**3/3 - 7*w**2/2 - 10*w - 12. Let n be d(8). Is n >= i?
True
Suppose -122*l = -125*l - 4*q + 23, 3*q = -5*l + 31. Which is greater: l or 3?
l
Let y be 4 + (0 - 4) + (-4 - -2). Let z be y + (-4 + -148)/2. Is -79 smaller than z?
True
Let y be (-2)/3*3/(-2). Suppose -4*b + 32 - 8 = 0. Let h be 55/132 - 1/b. Which is greater: y or h?
y
Let a(w) = 6*w**2 - 11*w - 12. Let m(j) = -j**2. Let b(x) = a(x) + 5*m(x). Let g be b(12). Which is smaller: g or 3/14?
g
Let s be 10/6 + (-1)/(-4). Let u = -9/4 + s. Let x be 2/(-2 + 3 + -3). Is u greater than or equal to x?
True
Suppose 269 = -6*u - 637. Which is bigger: -156 or u?
u
Let z(s) = -s**2 + 2. Let l be z(-3). Let h = -21 + 35. Let k = h + -21. Is k at most l?
True
Suppose 6*w - 7*w = -4. Suppose 7*x + 90 = w*x. Is -29 less than x?
False
Let m(a) = 2*a - 3. Let q be m(4). Suppose -6 = 2*z + q*i, 3*z + 3*i = -0*i. Suppose -k + z = 5*y + 1, 0 = 4*k + 3*y - 4. Which is smaller: 4/9 or k?
4/9
Suppose -4*o - 10*o = -490. Which is greater: 33 or o?
o
Let t(m) = 7*m**3 - 2. Let v = -11 - -9. Let g be t(v). Let z = g - -36. Which is greater: -21 or z?
-21
Let z = -4/297 + 1237/69795. Which is smaller: 0 or z?
0
Let h = -8.8 - -9.07. Is 11 bigger than h?
True
Let s = 196 + -204. Suppose -2*a + 7 = 31. Let h = a + 25/2. Which is greater: s or h?
h
Let z(i) be the third derivative of i**5/60 - 7*i**4/24 + 7*i**3/6 + 8*i**2. Let n be z(6). Which is bigger: -2/45 or n?
n
Let w = -75 + 83. Let j(b) = -2*b + 16. Let v be j(w). Which is bigger: v or 1/4?
1/4
Let g be 14/(-8)*1 + 2. Let w be (1088/(-1098) + 1)*33. Let j = 2/61 + w. Which is bigger: j or g?
j
Let o = -3 + 8. Suppose -3*r = 8 - 2. Let c = r + o. Which is greater: c or 1?
c
Suppose 50*q - 60*q = -1080. Is q less than or equal to 108?
True
Let i = -50.1 - -46.34. Which is smaller: -1 or i?
i
Suppose 4*i - 7*i = 4*l + 77, -i + l - 21 = 0. Which is greater: -27 or i?
i
Let n = -2.5 + 1.4. Let j = -1 - n. Let d = -0.125 - 0.975. Are d and j nonequal?
True
Let t = -1 + 0. Let s = -12.2 + 13.2. Let g = s + t. Are -0.05 and g equal?
False
Let i = -49 + 43. Let o = i + 6.2. Which is smaller: o or 1/2?
o
Let a be (-20)/6 - (1 + -4). Let g = 0.04 + 1.96. Let s = g + -1.9. Which is bigger: a or s?
s
Suppose -4*q = q. Suppose -4*b + 4*c + 60 = 0, q = -2*c - 2. Is b != 14?
False
Let j(r) = r**3 - 11*r**2 - 3*r + 20. Suppose -k - 4*k - 3*i + 67 = 0, -12 = -3*i. Let b be j(k). Is b bigger than -7?
False
Let v be 3*(-1 + 97/90). Let c be (2*-1)/((-108)/9). Let q = v + c. Is 1 != q?
True
Let c(y) = -y**2 + 11*y + 49. Let h be c(17). Let t = h - -101. Are 48 and t equal?
True
Let x(i) = -i**2 - i - 3. Let u be x(0). Let c be ((-2 + 2)/(-3))/(-2). Suppose c = 2*t + 1 + 3. Is u bigger than t?
False
Let z(m) = m**3 - 2*m**2 + 3*m - 7. Let c be z(2). Which is greater: c or -50?
c
Let j(x) = x**3 - 5*x**2 + 4*x - 6. Let c be j(4). Let l = c + 3. Suppose 0 = 3*y - 3, 10*p - 5*p - y + 11 = 0. Which is greater: p or l?
p
Let f be ((-3)/4)/(22/8). Let i be 1/(1 - 20/25). Suppose -i*x - 3*y = -3, 0 + 3 = 3*y. Is f bigger than x?
False
Let g = -2707 - -2687. Is 0.057 less than g?
False
Suppose -13*u + 8*u + 15 = 0. Let p = 63 - u. Let b be (-18)/p - 1/(-2). Is 1 <= b?
False
Suppose -81*m + 76*m - 10 = 3*d, -2*d = 5*m + 5. Which is greater: 5/73 or m?
m
Let p = -929 - -991. Which is greater: 822/13 or p?
822/13
Let y be 2/6*1*(-14 - -8). Does y = -21/16?
False
Let c = -2373 + 35611/15. Let n = -344 - -346. Is c equal to n?
False
Suppose -59 + 59 = -t. Suppose -5*y = -5*h - 0*h + 185, t = -2*y - h - 65. Is -34 greater than or equal to y?
True
Let x(q) = q**2 - 2. Let j be x(-3). Let z = j - 5. Suppose -3*p = 20 - z. Is -6 <= p?
True
Suppose 5*k - 128 = -53. Let o = k - 15. Which is bigger: -6 or o?
o
Let d = 53.02 - 53. Let j = d - 0.32. Which is greater: -1.3 or j?
j
Suppose 0 = 14*v + 38 - 52. Which is greater: v or 1/154?
v
Let n(j) = j**2 - 14*j + 3. Let p be n(14). Suppose 10 + 5 = p*h. Let m(y) = y**3 - 5*y**2 - 3*y + 5. Let l be m(h). Which is smaller: -9 or l?
l
Suppose 0 = 2*t + 4*h + 406, 0 = -5*t + 10*t + 2*h + 1007. Is -602/3 bigger than t?
True
Suppose 3*x = 3 + 3. Suppose -3*a - 13 - 11 = -x*z, 0 = -4*z + 12. Let b be 4/a - 2/6. Are b and -3/2 nonequal?
True
Let x = -0.16 - -8.16. Let c = 8.8 - x. Let n = c - 0.73. Do 2 and n have different values?
True
Let n be -8 + 16 + (-6 - -9). Which is greater: 30 or n?
30
Let m = 307207/1890 + -533/378. Let n = m - 161. Which is smaller: 1 or n?
n
Suppose -7*r + 5 = 516. Which is greater: -74 or r?
r
Let l be 4/14 - 72/(-42). Suppose -g - 3*g = 2*j + 16, -l*g - 8 = -4*j. Suppose j = -5*d + 5. Is d at least 0.1?
True
Let f = 153 + -364. Is f equal to -210?
False
Let o = -2842 - -3235. Is o at least 393?
True
Let m be -7 - (-5)/(-70)*-96. Let c = 1.3 - -3.4. Let x = c - 5. Which is bigger: m or x?
m
Let q = -17 + -16. Let x = q - -30. Let o = -4 - x. Is 12 at least o?
True
Suppose -66 = 4*n - 3*b + 58, b = -4. Is -34 less than n?
False
Suppose -4 = 10*g + 16. Which is smaller: 37 or g?
g
Let r be 2/9 + 0 + (-61)/(-9). Suppose 1 = 6*n + r. Let a be (16/(-10))/((-2)/10). Is a bigger than n?
True
Let a be (-22 - -20)*2/(-4). Suppose 642 = 4*g - 558. Let l be -2 + 4/(592/g). Which is smaller: a or l?
l
Let s = -0.8041 + -0.0359. Is s bigger than 1?
False
Suppose 18*b = 15*b - f - 1410, -940 = 2*b - 4*f. Are b and 1/2 non-equal?
True
Suppose 0 = 2*x - l + 17, 4 = 2*x - 3*x - 4*l. Let z be ((-1)/(-3))/(x/(-18))*16. Which is smaller: z or 1?
1
Let v be -2*(2/4)/1. Is v less than or equal to 1/27?
True
Let s(b) = -3*b**2 + 76*b + 51. Let m be s(26). Which is greater: m or 2/453?
2/453
Suppose 3*a = a + 64. Let s = 24 - a. Is s less than or equal to -9?
False
Let g(v) = -17 - 3*v - v + 2*v. Let q be g(-8). Let u(r) = -2*r**3 - 2*r**2 + 2*r + 3. Let l be u(q). Are 1 and l nonequal?
False
Let w = 13/64 - 483/3008. Which is smaller: w or 1?
w
Let v be (-6)/15 + 14/10. Let s = 332 - 332. Which is bigger: v or s?
v
Suppose 8*r - 7*r = 6. Suppose 0 = 3*c + 3*c + r. Is -1/3 equal to c?
False
Let r be (25*1)/((-44)/208). Let o = r - -118. Let n = -52 - -103/2. Which is bigger: o or n?
o
Let d be -6 - ((-120)/12 + 4). Which is greater: 14/129 or d?
14/129
Suppose 1173*o = 1181*o + 40. Which is smaller: -10 or o?
-10
Let g(t) = -2*t**3 + 15*t**2 - 7*t. Let o be g(7). Which is smaller: 5/137 or o?
o
Let b = -28180 - -309764/11. Let k = b - -2874/143. Let t be (0 + -1 - -1)/(-2). Do t and k have the same value?
False
Let p be (-4)/3*45/(-12). Suppose 5*r + 17 = -c, -p*c + 31 = -2*r + 8. Is -15 smaller than c?
True
Let x be ((-128)/24)/4*(-2)/(-32). Which is bigger: x or -2?
x
Suppose 245 = 275*o - 282*o. Does -40 = o?
False
Let k = -96104/7 + 