4 - 0.06. Let d = -34 - h. Which is bigger: d or 4/3?
4/3
Let f be 30*(-4)/(-24)*8. Let j be (6/58)/((-30)/f). Is -1 <= j?
True
Let w(z) be the second derivative of -z**3/6 + 3*z. Let k be w(0). Which is smaller: k or 1/58?
k
Let f be 0/4*(-2)/2. Let o be 4 + (f + 2)*2. Which is bigger: o or 9?
9
Let s = 8080 - 40697/5. Are s and -60 equal?
False
Let j be (12/10)/(9/(-300)). Let b be (1/((-4)/(-4)))/((-6)/(-242)). Let q = j + b. Is q equal to 1/45?
False
Let y = -67/122 - -3/61. Which is greater: -55 or y?
y
Suppose -5*b + 4*o + 106 = -268, 3*o = 12. Are b and 80 non-equal?
True
Let n = -725/427 - -60/61. Is n less than -2?
False
Suppose 10*j = 5*j + 10. Let u be (j - (-13 + 0)) + -3. Let i = u + -24. Are -12 and i nonequal?
False
Let v = -28 + 28. Suppose v = 4*x - 4*r + 24, 3*r = x - 2 + 14. Which is smaller: x or 2?
x
Let m(r) = 3 - r - 2*r - 19*r**2 + 18*r**2. Let k be m(-4). Which is smaller: k or -2/19?
k
Suppose -5*f - 84 - 16 = 0. Let b(o) = -o**3 - o - 26. Let i be b(0). Let r = i - f. Is r >= -7?
True
Suppose 6 + 0 = 3*b + g, -8 = -4*b + 3*g. Let n(i) = -i - 9. Let d be n(-5). Which is greater: b or d?
b
Suppose 3*a + 5*f = -17, a + 5*f = 6*f + 5. Let g be a/(2/6)*(-119)/(-459). Is g != 2?
True
Let p = 10 + 0. Let u = p - 11. Let g = 29/39 - 1/13. Which is smaller: g or u?
u
Let m = -8 - -30. Let d = m - 23. Is 0.04 less than or equal to d?
False
Let c = 2773/198 + -162/11. Is c smaller than 0?
True
Let v be (-4)/(12/(-45)) + 0. Suppose p = 3 - v. Which is smaller: p or -18?
-18
Suppose -5*m = -3*y + 1335, -9*y = -12*y. Is -268 less than m?
True
Let t be 1/(-2)*(-5 + 9). Let s be 1 - 0 - (t - 19). Is s less than or equal to -1?
False
Let q be -1 + (-16)/7 + (-44)/(-154). Is -52/15 <= q?
True
Suppose -4*l + l = 5*a + 10, 0 = -5*a - 2*l - 5. Suppose a = r - 4. Suppose -15 = r*j - 2*h - 3*h, -2*h = -5*j - 18. Which is bigger: j or -3?
-3
Let c = -55 + 603/11. Let x = -810 - -807. Is c smaller than x?
False
Let s = 10.1 + -10. Let q be ((-136)/102)/(-11*(-4)/(-18)). Is q not equal to s?
True
Let g = 36 - 38.14. Let z = -1.26 + 1.4. Let h = g + z. Is -2/5 at least as big as h?
True
Let r be (-50)/(-15) - (-4)/6. Suppose 0 = r*m + m + 5. Let j be 7/(-15) + 4/12. Which is bigger: j or m?
j
Suppose -5*y + 75 = 10*y. Let m = 2 - -2. Suppose -y*q = -q + m. Is 0.1 greater than q?
True
Let x = -252 + 150. Let q = x - -103. Which is greater: q or 7?
7
Let a be 39/(-408) + 3/24 + 0. Let d(y) = y - 1. Let h be d(0). Which is smaller: h or a?
h
Let w = -317 + 317. Are -0.095 and w equal?
False
Let h be (-60)/3*((-20)/8 + 4). Let f be (-75)/h*(1 + -2)/(-5). Do f and 1.7 have the same value?
False
Let x be -2*(-10)/(-4)*-1. Let m = x - -4. Suppose v - r - 11 = 0, 5*r - 27 = -5*v + 3*r. Is v > m?
False
Let n = -19/14 - -395/126. Which is smaller: -0.2 or n?
-0.2
Suppose 2*m - f = 6, f + 8 = 4*m - 3*f. Let b be (-2)/m*(-7 + 5). Let d be (-5)/3*(-2)/25. Which is smaller: d or b?
d
Let r be ((-36)/24)/(1/(-22)). Suppose 0 = -2*f + 17 - r. Are f and -8 nonequal?
False
Let y be (-1 + 94/36)*18/12. Let j = y - 137/60. Does 1 = j?
False
Let v = -21.4 + -0.6. Let u = -21.82 - v. Let g = u + -0.28. Which is smaller: g or -5?
-5
Suppose -182 = 3*s - 4*n, -4*s - 285 = s - 3*n. Let b be s/15 - 15/(-25). Which is greater: -1 or b?
-1
Let u be -8 - (-6232)/38*1/2. Is u smaller than 84?
True
Let z = -28 + 20. Let g = -106 - -109. Let y = g + z. Which is smaller: y or -2?
y
Let v = -352 - -11915/34. Which is smaller: v or -2?
-2
Suppose 30 = 4*r + 10. Suppose r*l - 13 + 63 = 0. Is l greater than -8?
False
Suppose 2197*b + 2768 = 2181*b. Which is smaller: -177 or b?
-177
Let m = 1.27 - 1.37. Is -2/19 bigger than m?
False
Let c(d) = d**2 - 12*d. Let w be c(12). Let k = 3 - w. Let p be (-10)/155*k/(-6). Which is smaller: -1 or p?
-1
Let t(a) = -a**2 + 3*a + 5. Let x be t(5). Let i = 9 + x. Suppose 4*v - 2*v + i = 0. Which is greater: -1 or v?
-1
Suppose -74*m + 91*m = -51. Suppose 4*n + 6 = 2*n + 4*a, 6 = 3*a. Let s be n + -1 - 42/27. Is m >= s?
False
Let q = 2 - 1. Let i be (-4)/((-8)/10) - 3. Let u be (i/52)/(12/16 + -1). Which is bigger: q or u?
q
Let v(n) = -n**2 - 2*n**3 - 5*n**2 + 3*n**3 + 1 - 3*n. Let y be v(3). Suppose -61*z = -57*z + 140. Is z greater than or equal to y?
True
Let b = 1 - 1.06. Let u = -6441 + 26057/4. Let g = 73 - u. Are b and g unequal?
True
Suppose -2*y + d = -y - 71, 5*y - d - 335 = 0. Is 69 smaller than y?
False
Let x be -2 - -9 - (-7 - 14). Which is smaller: x or 38?
x
Let o(a) = 15*a + 3. Let j be o(-2). Let c = 137 + j. Let z be (c/(-297))/((-4)/(-6)). Is z at most as big as -1?
False
Let t be (-2)/(-5) + (-138)/(-30). Suppose -3*v = -2*d - t, 2*d + 0*d + 12 = -4*v. Is v at least 4?
False
Let u = -6611/1025 + 230/41. Is u != -1?
True
Let x = 113 - 108.6. Let w = 4.2 - x. Are w and 2/25 nonequal?
True
Let k = 11 + -36. Let q = -11 - k. Suppose -2*g = -2*f - q, 0 = 3*g - 5*f - 43 + 12. Which is smaller: 3/2 or g?
3/2
Let o = -1039 + 860. Is -179 at most o?
True
Let q = -5.9 + 6.9. Is -2/7 greater than q?
False
Let r = -11911/13 + 916. Is r at least as big as -32/3?
True
Suppose -120 = 16*f + 8*f. Let g be 1*(-22)/2 - 0. Let k = f - g. Which is smaller: k or 8?
k
Let s = 0.01 + 2.99. Let k = -23 - s. Let t = 25 + k. Is -14 at least t?
False
Suppose -7*b - 40 - 65 = 0. Let k be (10/b)/(3/9). Let n = -0.9 - 0.1. Which is bigger: k or n?
n
Suppose 98 = -43*u + 36*u. Let t(f) = -f**3 + 8*f**2 - 6*f - 4. Let x be t(7). Let o(l) = -3*l**2 + 3*l + 3. Let c be o(x). Which is smaller: u or c?
c
Let g be (-1)/((-13)/(-3 - -2)). Let t = -23 - -27. Suppose -w - 4 = c, -c - t*w = c + 18. Which is bigger: c or g?
c
Let y be 5/(-3) - (0 - 2). Let q = 52 + -54. Let g be (7 - 9)*2/(-4)*q. Which is greater: y or g?
y
Let b be (-3)/(2/(-7) - 319/(-1925)). Are 23 and b non-equal?
True
Let q(w) = -3*w**3 - 2*w**2 + 2*w. Let n be q(-2). Let v be (n/(-6))/(2/(-34)). Suppose 4*i - 2 = v. Which is greater: i or 8?
i
Let u = 812 - 754. Is u bigger than 58?
False
Let a = 41 + -28. Let x(g) = g**2 + 11*g - 11. Let p be x(-13). Is a equal to p?
False
Let l = 12.77 - -1.53. Let p = l - 14.4. Let b = -1858/7 - -266. Are p and b non-equal?
True
Let n = 2.01 - 2. Let s = -98 - -95. Let i be (-15)/s - 38/8. Which is bigger: i or n?
i
Suppose -4*p + 3*b = -12, 2*b - 21 + 1 = -2*p. Let y be ((-148)/p)/(11/(-33)). Is y smaller than 73?
False
Let z = 2/1101 + -736/1101. Let u = 32 - -9. Is u less than z?
False
Let a = -32 - -45. Let k = a - 12.9. Which is smaller: k or -12?
-12
Let k(y) = -y + 6. Let n be k(7). Let r = 2.446 + -0.046. Which is smaller: r or n?
n
Suppose 5*c - 30 = 240. Is c < 58?
True
Suppose 0 = -9*x - 497 + 56. Which is smaller: -47 or x?
x
Let h(k) = 94*k - 371. Let z be h(4). Which is greater: z or 1/155?
z
Let o be (-6 + 3)*77/33. Is -2 greater than o?
True
Let u = 121 + -114. Which is bigger: u or 25/4?
u
Suppose 16 = -c - 3*c. Let x be (c + 4 + -2)*-1. Suppose 6*m = m - x*q + 38, 2*m = q + 17. Which is smaller: m or -2?
-2
Let b(q) = -3*q**3 + q**2 + q. Let d be b(-1). Suppose -3*l - 8 = 2*k, -5*k = -d*l - 13 - 9. Suppose -3*g - 17 - k = 5*y, -4*y = -2*g + 2. Is -5 bigger than g?
False
Let r = -21 + 21.07. Let a = -2.21 - -33.41. Let i = -31 + a. Which is bigger: r or i?
i
Let y(i) = i**2 - 16*i + 17. Let n be y(15). Suppose n*s = 48 + 18. Is s <= 1/2?
False
Suppose -10*s + 5 = -14*s - 3*d, 5 = 5*d. Is -52/15 at least as big as s?
False
Let g = -48 - -48.04. Which is smaller: -3/49 or g?
-3/49
Suppose -38*h - 1067 - 2543 = 0. Which is bigger: h or -84?
-84
Let t be 4/14 - (-171)/63. Is t != 58/37?
True
Suppose 0 = -3*t + y + 2*y - 3, -5*t = 5*y - 45. Let n = t - 32. Let f be n/(-8)*36/21. Is f at least as big as 7?
False
Let q(a) = 147*a - 148. Let w be q(1). Which is smaller: 25/127 or w?
w
Suppose 2*u - 8 = u. Let p(f) = -26*f + 9 - 9*f**3 + u*f**3 + 10 - 18*f**2 + 10*f. Let n be p(-17). Is n != 3?
True
Let m be (4 - -2)/(-6)*(-11)/(-6). Let g = 10/3 + m. Which is smaller: 2/19 or g?
2/19
Let n = 10 - 94. Let w = 84 + n. Let x be -6*(-1 + -1) + 0. Which is greater: w or x?
x
Let t be 40/(-35)*21/(-6). Let h be ((-1)/5)/(t/4). Does h = 2?
False
Let c be (2/(-4))/(5/(-6))*-25. Which is smaller: c or -14?
c
Let x = -289 - 65. Are -354 and x unequal?
F