3*x = -125, -15*s + 16*s - 37 = 5*x. Which is smaller: 36 or s?
s
Let r = -19 + 22. Let y be -3 + (3 - 1) + r. Suppose y = l + 5*q, 4*l - 3*l - 3*q - 2 = 0. Is l >= 2?
True
Let p be (-9)/6*4/(-3). Suppose p*c + 12 = -4. Let o be c/18*(-15)/5. Is 0 less than or equal to o?
True
Let n = 298.4 - 298. Which is smaller: -12 or n?
-12
Let v = -12 - -12. Suppose -3*a = -3 - v, 1 = 2*k + 5*a. Let q be -2 - (-3)/(27/6). Is k equal to q?
False
Suppose 0 = -3*z + 2 + 25. Let n be (-3)/z + (-44)/(-6). Suppose 2*v + 253*r - 8 = 249*r, 3*v - 13 = -5*r. Which is smaller: n or v?
v
Suppose -8*n - 1928 = -1936. Is n != 1/30?
True
Let h be 2/3 - (-18)/(-27). Is -5/14 at least h?
False
Let f(i) = -i**2 + 9*i - 2. Let w be f(7). Let j(a) be the second derivative of a**3/6 - 3*a**2 - 126*a. Let p be j(w). Does 0 = p?
False
Suppose 2*d - d = 4*d. Suppose -3*k + 38 + 64 = 0. Let p be ((-1)/(-4))/(k/16). Which is greater: p or d?
p
Let t = 0 + -1. Let i(u) = 32*u**2 + 5*u + 5. Let s be i(-1). Is t not equal to s?
True
Suppose 30*a = -47*a + 8085. Is 104 greater than a?
False
Suppose -4*z + 0*z + 16 = 0. Let m be (3 - -2) + 0 + 98/(-22). Is m < z?
True
Let j = 1.705 - 0.705. Let m = 0.1 - 0.3. Let n = m - -0.2. Is n less than j?
True
Suppose q + 2*q = 0, -2*q - 75 = 5*t. Let j be (-15)/(-1)*10/(-9 + -1). Let o = j - t. Which is smaller: o or 1/43?
o
Let n(i) = -8*i + 22. Let f be n(19). Which is bigger: f or -128?
-128
Let l = 6717/5 + -1337. Is 6 greater than l?
False
Let n be (-5)/7 + (28 - 24). Which is smaller: 0 or n?
0
Suppose -m - 5*n = -32, 4*m - m - 3*n = 6. Let t(d) = -d**3 + 6*d**2 + 8*d - 3. Let h be t(m). Let b be 2/(22/h - 0). Which is smaller: -1 or b?
-1
Let h = -74 - -45. Let c = h - -115/4. Let p be (-2)/5 + (-4)/(-10). Is c not equal to p?
True
Let b(p) = p**3 - 4*p**2 - 28*p - 21. Let v be b(8). Let o = -29 + 59/2. Is o greater than or equal to v?
False
Let d be (-3 - (-35)/15)*(-15)/20. Let l = -3 + 4. Is l bigger than d?
True
Let p be (-8)/(-14) + (-1003)/(-119). Let b = -3 + 7. Let k = b + 4. Which is smaller: k or p?
k
Suppose 4*s = h + 24 - 6, 0 = 4*s + 5*h - 6. Suppose s*j + 0*x + 38 = -2*x, -j = 3*x + 22. Let z(n) = 2*n + 7. Let t be z(j). Are t and 1 nonequal?
True
Let a be ((-2)/4)/(5/(-10)). Suppose -2*x + 15 = -2*h + 1, x = 4*h - 2. Let u = x - 9. Is a bigger than u?
False
Let f(u) = 22 + 2*u + 15 - 1. Let k(w) = -w - 18. Let t(g) = -4*f(g) - 9*k(g). Let h be t(-9). Is h bigger than 7?
True
Let l = 1520 + -1516. Which is smaller: l or 29?
l
Let d = 4401/1022 + -30/7. Is d greater than 1?
False
Suppose 4*b + 0*z - 87 = 3*z, 5*b + 2*z = 80. Suppose -b*q = -16*q. Let n = -0.56 + 0.5. Which is smaller: q or n?
n
Suppose 10 = 5*q + 5*r - 20, -3*r + 26 = 5*q. Let l(n) = n**2 - n + 3. Let o be l(0). Is o <= q?
True
Let g = 49.5 + -42. Let x = g + -7.6. Let k = 2.09 + -2. Which is bigger: k or x?
k
Let s be 0/((-4)/2 - 0). Let f be ((-4)/10)/((-9)/270). Suppose 2*n = -f + 8. Which is greater: s or n?
s
Let t be (1 + 3)/8 + (-15)/(-2). Let u be (-2)/t - (-1)/4. Which is smaller: u or -1/47?
-1/47
Let h = 15.6 - 13.6. Which is greater: -3/46 or h?
h
Suppose -33 = -3*u + 33. Let z = u - 8. Let g = -15 + z. Do g and 0 have the same value?
False
Let u = 6 - 14. Let n be (-5)/(-20) - 6/u. Is 12/11 at least n?
True
Let u(r) = r + 25. Let y be u(20). Let m = 46 - y. Is m less than or equal to -2/35?
False
Let a be 15*(-1 + 33/15). Let y = 19 - a. Which is greater: y or 2?
2
Suppose 0 = -3*n - 3 - 3. Let q be (-7)/(n - -3)*-5. Does 34 = q?
False
Let q = 368.1 - 368. Is 372 at most q?
False
Let x be -16 - (1 + -2) - 0. Let b = x + 19. Suppose 0 = -b*n + 8. Which is smaller: 5 or n?
n
Let r(x) = -1 + 3*x**2 - 8*x**2 + 5 - 5*x**2 - x**3. Let z be r(-10). Suppose 2 = 3*a - 5*p, -2*p - 5 = -z*a + 7*a. Which is bigger: -1/2 or a?
-1/2
Let q = 7 - 25.4. Is 0.1 at least as big as q?
True
Let l = 650 + -4552/7. Is -220 <= l?
True
Let b be (-10)/(-6)*6/2. Suppose 3*h + 1 + b = 0. Let x be (2/3)/(h/3). Which is smaller: -2 or x?
-2
Let p(y) = y**3 - 4*y**2 + 4*y - 7. Let n be p(3). Let c be -3 - (2 - 3)*1. Which is greater: n or c?
c
Let a = 190 + -322. Let o be 1 + -4 - (519/a - -1). Is o <= 1?
True
Let m(h) = 4*h + 47. Let o be m(14). Let g = o - 96. Is g greater than 7?
False
Let l be (8 - 10)*10/(-4). Suppose -3*v = -j - 15, -4*j - l*v = -8*v + 24. Is -1/4 > j?
True
Let q = -80 + 38. Let g = 8 - q. Which is bigger: 49 or g?
g
Let p = 2 + 2. Suppose s - 23 = 5*r, -p*s + r = -2*s - 10. Suppose 4*j + j - 3*g = 15, -s*g - 15 = -2*j. Is 0 != j?
False
Let s be 100/4 - (-1 + 2). Let g = 29 - s. Does 7 = g?
False
Suppose -5*i + 49 = 204. Suppose -2*m - 3*m - 127 = 4*b, 3*b + m + 98 = 0. Which is smaller: i or b?
b
Suppose 0 = 3*f - 45. Suppose f = -9*r + 4*r. Which is smaller: r or 2?
r
Let r = -371 - -348. Which is smaller: -19 or r?
r
Let y be (-10)/(-35) - 51/7. Is y at most as big as -23?
False
Let v = 121 + -118. Suppose -2*d - 5*o + 19 + 3 = 0, -v*o = -12. Which is bigger: 6/13 or d?
d
Let l be 3 + (-2)/(-30) + (-648913)/645. Is l at least -1002?
False
Let w be 99/66 - (-26)/4. Suppose 5*y - 49 = -g, -y = 5*g + w - 37. Which is smaller: y or -5?
-5
Suppose 5*d = -4*k + 13, 3*d + 2*d - 4*k - 37 = 0. Let a(y) = -y**3 + 4*y**2 + 8*y - 6. Let x be a(d). Let s be -2 - (1 - x/3). Is 0 at most as big as s?
True
Let i = -11 - -14. Suppose -x - 1 = i*c - 10, 5*x + c - 3 = 0. Let v be (8/80)/(2/(-15)). Which is bigger: x or v?
x
Suppose 13*z = 21*z + 24. Which is smaller: -19/9 or z?
z
Let c be (-2 - 662/(-80)) + 1. Let x = 37/5 - c. Is x greater than or equal to -1/3?
True
Suppose j + 2*v - 7 = 0, -4*v + 17 - 6 = j. Suppose -1 = -x + j*g - 3, 0 = -4*x + 3*g + 37. Let y = x + -12. Which is smaller: y or -2/11?
-2/11
Let l = 0.08 - -0.07. Let i = -1.15 - l. Is i != -2/5?
True
Let o = -936 + 949. Is o bigger than -0.07?
True
Suppose -20 = -5*y, -3*y - y - 9 = -5*k. Suppose -k = 4*o + 15. Let z(v) = v**2 + 8*v - 6. Let m be z(-8). Which is smaller: m or o?
m
Let u = 50.46 + 0.54. Let a = -38 + u. Is -1/4 less than a?
True
Let j(h) = 16*h**2 - 1. Let t be j(-1). Let z = -12 + t. Which is greater: 20/13 or z?
z
Let k = 37186/15 - 7532/3. Which is bigger: -32 or k?
k
Let f be (-42 + 5)/(-2*1/(-2)). Is f at most as big as -41?
False
Suppose 6 = -4*d + 14. Suppose 4*w + d = -2. Let h be (-6)/(-10)*80/(-30). Which is smaller: w or h?
h
Let p(q) = 48*q**3 - 2*q**2 + q + 2. Let o be p(-1). Do -47 and o have different values?
True
Let a = 51 - 47.84. Let n = a - 1.16. Is n at most 63?
True
Let v(u) = 6*u**3 - u**2 - 3*u - 1. Suppose -r + 3 - 4 = 0. Let x be v(r). Let j(n) = -n + 1. Let d be j(7). Which is smaller: x or d?
d
Let m be 93/(-155) - (3 - 75256/20910). Which is smaller: -1 or m?
-1
Let b be (-6)/(-2)*(-6)/(-36). Suppose -5*a - 23*j + 115 = -22*j, -19 = -2*a + 5*j. Is b != a?
True
Let d be 31 + -30 + 1/(36/(-38)). Which is smaller: -1 or d?
-1
Suppose -4 = -d - 9. Let o = -10 - d. Let u = 179/4 - 44. Is u > o?
True
Let t(i) = -i**3 + 3*i**2 + 12*i - 12. Let q be t(5). Let a be (2/(-5))/(q - (-591)/295). Is -119 at least a?
False
Suppose 25*o = 10*o - 3135. Is -209 equal to o?
True
Suppose 29*c + 1148 + 1143 = 0. Are c and -75 unequal?
True
Suppose -3*m = 2*m - 2*j + 65, -26 = m - 3*j. Let p = 10.1 + 1.1. Let a = p + -11.2. Which is bigger: m or a?
a
Let a(j) = 26*j - 101. Let n be a(4). Let b = -57 - -119/2. Which is greater: b or n?
n
Suppose -55 = -5*c - 4*r + 25, 125 = 5*c - 5*r. Suppose -v + c = 4*v. Let t = v - 6. Which is smaller: t or -12/7?
t
Let o be (-2)/4 - (-213)/585. Let s = -2/65 + o. Let x be (9 - 8)*0/1. Which is bigger: s or x?
x
Let o(z) be the first derivative of -z**4/12 - z**3/2 - z**2 - 6*z + 6. Let h(v) be the first derivative of o(v). Let q be h(-4). Which is smaller: -4 or q?
q
Let v be (-5)/(-20) - 3/12. Let p = v + 3. Suppose p*g - g = 4. Does 6/7 = g?
False
Let h = 5.3 + -0.3. Let j = -8 + h. Which is smaller: j or 0?
j
Suppose 962*a - 963*a = -84. Is 86 at least as big as a?
True
Let c(p) = 2*p**2 + 29*p - 31. Let y be c(-14). Let l be (-381)/135 + (-10)/y. Let v = -9 + 6. Which is smaller: v or l?
v
Suppose 4*s + 0 = 2*q - 12, q = -4*s. Suppose 2*g - q*g = 0. Are g and -3/7 equal?
False
Suppose 2*z = -27*z - 812. Which is bigger: -7 or z?
-