ger: 1/8 or d?
1/8
Let d be 1/(-3 - (1 - 3)). Let p = -44 - -59. Let g be (6/8)/(p/6). Is g less than or equal to d?
False
Let k = 48.6 + -48.6. Is -94 <= k?
True
Suppose 0 = -3*q + 2*t - 3*t + 10, -q - 6 = -2*t. Suppose 44 = 4*d + b - 5*b, 5*b - 36 = -q*d. Let r(m) = 4*m - 2. Let n be r(4). Is n at least d?
True
Let n be (-70)/(-25) + (-1)/(-5). Suppose n*k - 11 = -2. Which is smaller: k or 5?
k
Let s = -6.53 - -6.43. Which is greater: s or 1.84?
1.84
Let g = -82 + 16. Let f be 450/g + 0 + (3 - 0). Which is bigger: -5 or f?
f
Let c(w) = w - 6. Let z = -7 - -15. Let o be c(z). Suppose -h = -t - 2*h + 4, -3*t = o*h - 9. Is 2/13 > t?
False
Let v(k) be the third derivative of -k**4/6 + k**3 + 2*k**2. Let u be v(-5). Suppose 23 = h + 5*j, -2*h - 4*j - 4 + u = 0. Which is smaller: h or -1/2?
-1/2
Let b = -0.472 - 0.128. Let c = 0.33 - 0.03. Let z = -0.4 + c. Is z <= b?
False
Suppose -3*y = -q + 4*q - 27, -4*q = -3*y - 1. Suppose 4 = -i + 3*x - 1, y*x = -4*i - 3. Are i and -5 non-equal?
True
Let t be 257/(-17) - (-6)/51. Let d(s) = -13*s**2 - 4*s - 4. Let b be d(-1). Is t > b?
False
Let z = -22.45 + 22.4. Is z >= -12?
True
Let j = 6 - -5. Let f = -9 + j. Suppose d - 6*d = 4*c - 12, -f*d - 2*c = -6. Is -1 <= d?
True
Let g = 544 - 544. Is g greater than or equal to -82/9?
True
Let s = 591.3 - 573.3. Let m be -2 - 0/(2 + 1). Is s at least as big as m?
True
Let q = -60 - -102. Let y = q + -35. Which is smaller: y or -1?
-1
Let b be 1 + ((0 - -1) + 0)*-1. Suppose 5*h - 35 = 5*c, b = c + 5*h - 4*h + 5. Which is greater: -8 or c?
c
Let t be (-360)/(-50)*5/2. Let l(i) = i + 13. Let q be l(t). Is q at least 33?
False
Let v = 0.214 + -113.214. Let f = 114 + v. Is 1 less than f?
False
Let m be ((-36)/30)/((42/(-20))/7). Suppose m*q + q - 20 = 0. Which is greater: q or 3?
q
Suppose -2*j - 2*s = j - 33, -5*j + s + 68 = 0. Let i(k) be the third derivative of -k**4/24 + k**3/3 + k**2. Let w be i(-10). Which is bigger: j or w?
j
Let z be 7190/3115*(-1)/(-20). Let r = z + -9/89. Which is bigger: r or -1?
r
Let a be 3/12 + 1075/20. Let z = a + -54. Which is smaller: 0.35 or z?
z
Suppose -7 = -40*p + 33*p. Which is smaller: p or -1/67?
-1/67
Suppose -4*v - v = -45. Suppose 2*a + a + v = 0. Let p = -4 - a. Which is bigger: p or -2?
p
Let k be (-3 + 24/(-51))/(55/125). Let t = k - -79/11. Which is smaller: t or -2?
-2
Let t = -13.1 - 3.9. Let s be 0 + 2 + -1 + -22 + 4. Let q be s/(-35) - (-1)/(-5). Which is smaller: t or q?
t
Let i = -3 + 2. Suppose -t - 21 - 21 = 0. Let h = t + 460/11. Which is greater: i or h?
h
Let y = 8.87 + 0.13. Let z = 18.06 - 0.06. Let a = z + -17. Is a greater than y?
False
Let u = 87 - 83.96. Let q = u - 3.3. Let r = q + 0.06. Which is smaller: -6 or r?
-6
Let m = -5 + 5. Suppose m = 3*c - 0*c - 174. Let j be 2/9 + c/(-18). Is -2 >= j?
True
Let t = 289/60 + -5/12. Is t less than or equal to 5?
True
Suppose 0 = 6*v - 141 + 4971. Do v and 0 have the same value?
False
Let h(m) = -m**3 + 8*m**2 - 6*m - 7. Let x be h(7). Suppose -5*z + 5*i - 4*i = -22, -2*z - 2*i + 4 = x. Suppose -2*j + z*j = -2. Which is bigger: 0 or j?
0
Let j(x) = -x**3 + 14*x**2 + 11*x - 3. Let z be j(15). Is -63 smaller than z?
False
Let s = -1454/5 - -18887/65. Which is smaller: 16 or s?
s
Let l = 0.3 - 4.3. Let w(h) = -14*h - 7. Let s be w(-5). Let m = s - 64. Is m not equal to l?
True
Let s(a) = 2*a + 36. Let o be s(-20). Let m be o/3 - 98/21. Which is greater: -7 or m?
m
Suppose 1 = 4*r - 4*w + 25, w = -r + 4. Let u be -3 + r + 220/4. Let i be 8/(-40) + u/(-20). Which is bigger: i or -2?
-2
Let c = -38.832 + 0.032. Let d = 39 + c. Let u be 2*1 - (10 - -3). Is u equal to d?
False
Let i(r) = -r**2 + 16*r - 9. Let f be i(16). Let u be f/4*(-96)/(-9). Which is smaller: u or -25?
-25
Let g be 15*(15/9 - -2). Suppose s - 54 = -n, 2*n + 220 = 6*n + 2*s. Is g < n?
True
Let k be 12/2*8/(-33). Let b = -414 - -413. Is k less than or equal to b?
True
Suppose 3*l + 5*c = -32, -3*c + 5*c = -8. Let d be (-1)/1 - (l - -4). Which is smaller: -11 or d?
-11
Let h(f) = -7*f**3 - f + 1. Let m be h(-1). Is -7 at least m?
False
Let l be (2 - 1)/(2*7/(-14)). Suppose 0 = -3*a - 0 + 6. Suppose -2*x - a*x = 0. Are l and x non-equal?
True
Let j = -5/6 + 1/3. Suppose f + 3*f - 38 = -2*y, 0 = -y + f + 10. Is j less than y?
True
Let r be (-2*2/2)/2. Let s be (1968/400 - 5)/(8/90). Which is smaller: s or r?
r
Let u(k) = -2*k**2 + 48*k - 39. Let i be u(24). Does 0.01 = i?
False
Let n be (-2 + 1)/(2/38). Let g = n - -24. Suppose 0 = g*j - 5*b - 5, 0 = 5*j - 0*b - 3*b + 3. Is -1 != j?
True
Let s be (-9 + (-148)/(-16))*0. Which is bigger: -193 or s?
s
Suppose 7*p - 131 = 86. Which is bigger: p or 33?
33
Suppose 0*v = -3*v + 5*c + 64, v + 2*c = 3. Let x = -7.7 - -8. Let s = 0.4 - x. Is s >= v?
False
Let a(r) = r**2 - 6*r - 6. Let d be a(7). Let h be d + 0 - 6/4. Let q = -95 - -107. Which is smaller: h or q?
h
Let r be (3/(-45)*-5)/((-1)/(-9)). Let i be 0 - -3 - ((-4)/16 + r). Which is greater: i or 1?
1
Let u = 43.571 - 0.671. Let k = 42 - u. Does -2/9 = k?
False
Suppose -3*v = 5*r - 0*v, 3*r = -2*v. Suppose -5*n + 7 + 3 = r. Is n > 6/11?
True
Let a be -2 + 1*(-1 - -2). Let u(m) = -m**3 - 10*m**2 - 6*m + 16. Let w be u(-9). Which is greater: a or w?
a
Let b be 390/(-95) + 1 + 6/57. Which is smaller: b or -4?
-4
Let z be (-158)/(-8) - (-150)/(-200). Which is bigger: z or 20?
20
Suppose 3*z + 8 = z. Let u(g) = 29 + 8*g + 33 - 62. Let f be u(z). Which is smaller: -31 or f?
f
Let t = 15 + -3. Let w = t + 1. Suppose -w*j - 28 = -11*j. Which is smaller: j or -0.1?
j
Suppose 0 = 3*o - o - 5*x - 99, 121 = 3*o - 2*x. Which is bigger: 46 or o?
46
Let x = 3 + -33. Let q be (x/(-20))/(-2*(-2)/(-40)). Is q < -15?
False
Suppose -2*k + 4*o - 2*o + 6 = 0, -k + 11 = -3*o. Let b = 38 + -33.9. Is k at least as big as b?
False
Let p be (9/(90/272))/((-4)/10). Which is smaller: -66 or p?
p
Suppose -2*r - 2*v = 10, -4*r + v + 0*v = 0. Let c(j) = j**3 + 12*j**2 - 30*j - 26. Let y be c(-14). Which is bigger: r or y?
y
Let r(y) = 3*y - 12*y**2 - 12*y - 3*y + 2 - y**3 - 11. Let u be r(-11). Is u greater than or equal to 1/2?
True
Let w = 0 + 0.1. Let i = -26.1 - -27. Let g = w + i. Which is smaller: g or 2/9?
2/9
Let a = -78 - -78.3. Let g = a + -0.25. Is -8 at least as big as g?
False
Suppose -n - 1 + 15 = 0. Let i(z) = -10*z + 41. Let c be i(3). Let k = n - c. Does 0 = k?
False
Let g(v) = -3*v**2 - 14*v + 1. Let h be g(-4). Suppose 0 = -3*b - b + 2*a + 30, -b + 4*a - 3 = 0. Is h at least as big as b?
True
Let q = 144 + -145.03. Let b = q - -0.82. Is b greater than 2?
False
Let g = -837/80 - 3/80. Is -10 smaller than g?
False
Let g be (2 - 2)*3/(-6). Suppose 4*m - 3*q - 23 = 19, -2*m - q + 16 = g. Let s(z) = z**3 - 10*z**2 + 9*z - 1. Let r be s(m). Does r = -2/15?
False
Let b(w) = w**3 + 3*w**2 - w - 2. Let p be b(-3). Let l = 84 + -132. Let v be -2 - -3 - (-42)/l. Is v < p?
True
Let g = 305 + -306. Which is greater: g or -1/74?
-1/74
Let j(k) = 2*k**3 - 10*k**2 + 8*k + 5. Let x be j(4). Let p be 8/((-32)/(-20))*(-6)/x. Which is smaller: -4 or p?
p
Let q = 642350/281 - 2286. Is -1 smaller than q?
True
Suppose -7*y + 4*y = -6. Suppose -8 = y*u + i - 1, i = -5*u - 22. Let g be 6/(-8)*(-40)/u. Which is smaller: g or -7?
-7
Let j = 65 + -65.187. Which is bigger: 1/3 or j?
1/3
Suppose 3*f - 2*f + 2 = 0. Let i be f/4*0*1. Suppose 0 = s - 2*u + 1 - i, 5*s - u + 5 = 0. Is -0.1 >= s?
True
Suppose 2*j - 96 - 20 = 0. Is j greater than or equal to 57?
True
Let h = 33 + -33.1. Which is smaller: h or 244?
h
Let s(l) = l**3 + 9*l**2 + 18*l + 15. Let o be s(-10). Is o at most as big as -264?
True
Let f be 3*4/(-12) - -5. Suppose -3*x + 10 = -k, -3*k + 16 = f*x - 6. Let b be ((-8)/(-16))/(k/40). Is b bigger than 10?
False
Let b be (1/(-26))/(4 - 868/216). Let l = b - 122/65. Is 3 at most l?
False
Let m be (-45)/4 - (-1)/4. Suppose 0*z = 5*z + 4*v - 120, 2*z - 25 = 3*v. Let y be 3 + (-57)/4 + 5/z. Is y <= m?
True
Suppose -5*u - 14 = -12*u. Let s = 30 + -29.8. Which is bigger: u or s?
u
Let m = -93 + 83. Let o be 2/9 + (-1111)/99. Is o >= m?
False
Let t = -97 + 96. Which is smaller: -11/18 or t?
t
Let y be (-4)/(16/26)*(4 + 12). Let c = -101 - y. Let l = -2 + 3. Is c <= l?
False
Let u = -0.82 - -182.82. Let r = u + -74. Which is bigger: r or -1?
r