)/(-4) + -1 + -35. Which is greater: -33 or g?
g
Let k(u) = u**2 + 10*u - 12. Let l be k(-11). Which is smaller: -1/15 or l?
l
Suppose 0 = 3*x - 2*u - 5, -x = u. Which is greater: -1/141 or x?
x
Let d be (-3)/7*14/21. Let z = 6.3 + -6. Which is bigger: z or d?
z
Suppose 0 = r + 2 - 8. Suppose -r*c + 3*c - 12 = -2*t, c + 4 = 4*t. Is t at most 2/15?
True
Suppose -4*a = -3*j + 18, 4*a - 2*j - 6 + 22 = 0. Is -9/5 greater than or equal to a?
True
Let z(l) = l**3 + 2*l**2 - 2*l + 1. Let n be z(-3). Let v(g) = -g**3 - 5*g**2 - 5*g - 4. Let w be v(-4). Are n and w non-equal?
True
Let t = 8 - 11. Let s be (-1)/t + (-2)/(-3). Is s smaller than -1/12?
False
Let c = -92/3 - -30. Which is greater: c or -2?
c
Let s be 114/15 - 3/5. Suppose 3*a - 15 = 3. Let j = s - a. Are j and 1 equal?
True
Let v = 1.412 + 0.088. Is 3/2 equal to v?
True
Let f be (-1)/(1/3 + 16/24). Let m = 113/42 - 20/7. Which is greater: f or m?
m
Let q(p) be the second derivative of p**4/12 + 5*p**3/6 + 3*p**2/2 - p. Let l = 9 - 14. Let u be q(l). Is u not equal to 5/3?
True
Let s be 4/66*(-11 + -1). Which is smaller: -2 or s?
-2
Let i = 11 - 15. Which is smaller: -9/2 or i?
-9/2
Suppose -3 = -2*h - 1. Is 1 greater than h?
False
Let s = 1.1 - 0.1. Let n = 4 + -4.8. Let y = s + n. Is 1 less than or equal to y?
False
Let r(j) = 10*j - 3. Let t be r(-7). Let u = t + 508/7. Are 0 and u unequal?
True
Let c = -0.57 + 0.5. Let v = -5.07 - c. Is 2/5 != v?
True
Let z = 142.1 - 142. Is -1.5 <= z?
True
Let z be (12 + -10)*1/(-2). Let l = 1651/2 - 844. Let c = l + 18. Which is smaller: z or c?
z
Let f(w) = -w**3 + 11*w**2 - 12*w + 20. Let v be f(10). Is v less than or equal to -5/12?
False
Suppose 35 = 4*z - 4*k - 53, 3*k = -2*z + 34. Let h = -12 + z. Let w be (-46)/45 + h/36. Which is smaller: 0 or w?
w
Let o = 19 - 10. Let h = 5 - o. Is h bigger than -6?
True
Let a(c) be the second derivative of -c**3/3 - 3*c**2/2 + 4*c. Let i be a(-2). Which is bigger: -0.1 or i?
i
Let v be -10*((-1)/2 + 0). Suppose -2*m + 1 = a, -v*a + 2 = 3*m - 24. Let x be (-6)/15 + a/5. Which is smaller: x or -1/6?
-1/6
Suppose -32 = 5*o - 102. Suppose -52 = 3*w + o. Let h = -93/4 - w. Is -2 < h?
True
Let p = -0.02 + 2.02. Let o = p - 1.9. Which is smaller: -3 or o?
-3
Let k be 2/9*(-138)/(-8). Let p = k + -62/15. Is 0 < p?
False
Let i = 56 - 55. Let x = 2 - -3. Suppose 0 = 5*t - 5*f - 25, -2*t + f = 2*t - x. Which is smaller: i or t?
t
Let q = -1.97 + 2. Do q and -1 have different values?
True
Suppose -3*o - 4*x - x = -56, -4*o + 64 = 4*x. Suppose 5*i = o - 37. Is -7 not equal to i?
True
Let u = 6.9 + -7. Let r be (-75)/4 + (-1)/4. Let v = r + 75/4. Which is greater: v or u?
u
Let b = -3 - -9. Suppose 3*q + b = 15. Are 5/2 and q nonequal?
True
Let h = -3.9 - -3.7. Is h not equal to -12?
True
Let l = -16/3 + 23/6. Is 5/7 greater than l?
True
Suppose 5*b - 4 = -3*g, -b - 2*g = g - 8. Let w be (-3)/6*b/(-1). Which is greater: w or -5?
w
Suppose -14 = -3*i + 2*d, -i - 2*d + 3 = 1. Is i equal to 3?
False
Suppose -2*m + 0*m = 2. Let x = -69/5 + 13. Is m < x?
True
Suppose -4*b + 45 = 5*o, 0 = -4*b + 5*o - 5. Let k(v) = -v**3 + 5*v**2 + 7. Let h be k(b). Suppose -h*d = -3*d + 12. Which is smaller: -4 or d?
-4
Suppose l + v = 2*l + 4, 5*v = 3*l + 6. Let x = -17 - -9. Which is smaller: l or x?
x
Suppose -u + 21 = -4*u. Which is greater: u or -8?
u
Suppose z - 25 = -4*z. Suppose -7 = i + 3*j, 7*i + z*j = 3*i. Suppose 0 = 3*q + 2*k - 3, i*q - 1 = k - 3*k. Is q bigger than -1/13?
False
Let c(p) = p**3 - 17*p**2 + p - 19. Let g be c(17). Are g and -3/2 equal?
False
Suppose 3*z = -3*p - 9, -8 = -3*z + p - 37. Let h(f) = -f**3 - 5*f**2 - 4*f - 1. Let n be h(-3). Which is smaller: z or n?
z
Suppose -b - 4*b = 35. Let o = b + 3. Is -4 at most as big as o?
True
Let z(u) = u**3 - 11*u**2 - 3. Let a be z(11). Which is greater: a or -1?
-1
Let l(m) = m - 1. Let o be l(-1). Let h be 2/o*1 - -3. Is h < 3?
True
Let p(h) = 2*h - 39. Let l be p(6). Which is smaller: -29 or l?
-29
Let s be (11/12)/((-1)/(-3)). Let l be (-18)/(-15)*80/48. Is s smaller than l?
False
Let n be 1*(3 - 1 - 0). Suppose n*p = 5*p + 3. Is -1 smaller than p?
False
Let c be 0 - (-30)/4*-2. Let w = -8 - c. Which is bigger: w or 6?
w
Let o = -245/3 - -81. Let u = 2 + o. Which is bigger: 0 or u?
u
Let q = -3109942/12463515 - -106/13445. Let m = 2/103 + q. Which is smaller: 1 or m?
m
Let j be 2 - 2/3*-3. Let k be (8 + 0)/(j - 2). Suppose 3*v = -k*f + 27, -2*f + 5*v = 29 - 10. Are f and -1 non-equal?
True
Suppose z = 3*c - 3, -2*c + 5*z + 9 = -6. Let q be (6/8)/(7/28) - 3. Let l be 3/6*c - q. Which is greater: l or 3/4?
3/4
Let y = 0 - -5. Let t = -0.3 - -0.29. Let x = -0.01 - t. Is x at most as big as y?
True
Let z = 45 + -49. Which is smaller: z or -42/11?
z
Let g = 0.11 + -57.11. Which is greater: g or 1/2?
1/2
Suppose -v + 2 = l + v, -v + 19 = 5*l. Let b be 2/l*(-5)/(-2). Is b < 1?
False
Let m = -838/341 - -48/31. Is -2 smaller than m?
True
Let d = 0.096 - -0.104. Is d < 0.1?
False
Let b = -878/1239 + -1/177. Let v(q) = 2*q**3 + q**2 + 2*q + 1. Let l be v(-1). Is b at most as big as l?
False
Let k be (-312)/(-22) - (-32)/(-176). Which is greater: k or 16?
16
Let w(l) = -4*l - 9. Let a be w(-4). Let n = a + -10. Which is smaller: 1 or n?
n
Suppose -5*k - 5*s + 2 = -3, 0 = 4*k - 3*s + 3. Which is smaller: k or -1/32?
-1/32
Let t = -12 - -12. Which is greater: t or -6/7?
t
Suppose 0 = 6*d + 7*d - 91. Let h be 2 - 4 - (2 + -12). Which is smaller: d or h?
d
Let b(c) = -c**3 - 11*c**2 - 10*c - 6. Let w be b(-10). Let d = w + 9. Suppose d = 2*u - 1. Which is bigger: u or 2/3?
u
Let n(a) = a**3 + 2*a**2 - 3*a - 3. Let p be n(-3). Let d = -2 - p. Let h be ((-4)/(-42))/d*-3. Is 0 at most h?
False
Let g = 19.5631 - -0.4469. Let q = -20 + g. Which is bigger: q or -0.2?
q
Let v be 13/65 + 522/2590. Let f = 11395/37 - 308. Let p = v - f. Which is smaller: 1 or p?
p
Let o be (-57)/(-9) + (-5)/15. Let s = o + -5. Which is bigger: 1/12 or s?
s
Suppose -4 + 5 = -w. Let m(a) = 2*a + 4. Let z(y) = -2*y - 3. Let g(l) = 4*m(l) + 5*z(l). Let c be g(w). Is c < 1?
False
Let q = 454/3 + -157. Which is bigger: q or -7?
q
Let u = -3 + 2.9. Let y = -10 + 10. Which is smaller: y or u?
u
Let p = 0.35 - 1.35. Which is bigger: -4/11 or p?
-4/11
Let c = 1202/3 + -404. Let b be (-26)/7 - (-2)/(-7). Which is bigger: c or b?
c
Let y = 104887/29502 + 1/3278. Is 4 > y?
True
Let q = -0.91 + 2.91. Which is bigger: q or 0.5?
q
Let r be -4*2/(-8)*2. Let n = r - 1. Suppose -w + n = 2. Is w > 3/7?
False
Let y be 1/3 + (-2)/6. Let x be (1 - 2)*(-14)/(-35). Are x and y equal?
False
Let a(q) = 39*q**3 - 3*q - 12*q**2 - 38*q**3 + 12 + 2*q. Let g be a(12). Let c be (0 - 2/(-8)) + -1. Is g not equal to c?
True
Let q be (2/6)/((-5)/6). Suppose 3*u + 3*v = 8*u + 20, 10 = 5*u + 3*v. Which is greater: q or u?
q
Let p be 6/(-3)*45/(-2). Let n be (-4)/18 - (-3565)/p. Let l = n + -554/7. Is l not equal to -1?
True
Let t = -32 - -51. Let p = t + -39/2. Which is smaller: 0 or p?
p
Let t be -3 + 3 + (-4)/26. Is 1 greater than or equal to t?
True
Let n = 5 - -4. Let t = -9 + n. Is t bigger than -1/4?
True
Let p be ((-8)/(-6))/(1/(-3)). Let f be 6/(-15) - 27/(-5). Suppose 6*k - 4*s = k - 8, 35 = -f*k - 5*s. Is k less than p?
False
Let i(s) = -4*s**3 - 7*s**2 - 7*s - 11. Let l(b) = -5*b**3 - 6*b**2 - 6*b - 11. Let w(n) = 4*i(n) - 3*l(n). Let c be w(-9). Is c bigger than -2?
False
Let v(l) = l**3 - 4*l**2 + 2*l - 2. Let a be v(4). Let j be 8/a*15/(-70). Let x = 7/16 - 67/80. Which is smaller: x or j?
x
Let d = 23.5 + -23. Is d at most 12?
True
Let q = 2 - 1. Let m = 4 - q. Let h = m - 1. Which is smaller: -0.2 or h?
-0.2
Let j = -21 + -3. Let l be (3/56)/(12/j). Are -1 and l non-equal?
True
Let w be (-5 - -5)*(-2)/6. Suppose w*a + 8 = 2*q + 2*a, -5*a + 20 = -4*q. Suppose 3*s + q*s - 6 = 0. Which is greater: s or 3?
3
Suppose 15 = 5*t - 5*u, 6*t - t + 2*u + 20 = 0. Let v be (-4)/3 + t/(-6). Let o be 2 + 1 + -3 - v. Is o less than -2/15?
False
Let o be ((-8)/12)/(2/(-21)). Let f be 0 - (8/o)/4. Which is greater: -2/13 or f?
-2/13
Let h be (-1)/5 + 36/5. Suppose -8 = -h*m + 3*m. Suppose 0 = -d + m*t - 8, 0 = 4*d - 3*t - 10 + 27. Is -3 at least d?
False
Suppose 3*b + 2*i + 27 = 5*i, 0 = b - 4*i + 6. Let t = 12 + b. Is t less than or equal to 6