 + 52.7. Let z = -0.92 + y. Let s = -12 - z. Which is bigger: s or -3?
s
Suppose -4*c = -g - 7 + 2, 4*g - 4*c - 4 = 0. Which is smaller: 11/6 or g?
11/6
Let h = 261.09 + -261. Which is smaller: h or 1/3?
h
Let k be (-48)/(-30) - 6/10. Is -1/748 at most k?
True
Let b = 15 - 15. Suppose b = -4*o - o + 40. Let k(s) = 13*s - 55. Let f be k(5). Is o <= f?
True
Let w = 88/7 + -62/5. Let z = -13/35 + w. Let x = 4 - 2. Which is bigger: x or z?
x
Let j = 4 - 4.6. Let u = 1/39 - 14/39. Which is bigger: u or j?
u
Let j(b) = 92*b - 4. Let i be j(2). Which is greater: i or 179?
i
Let w = -8737/4 + 2158. Let n = -27 - w. Let c(u) = -u**3 - u**2 + 3*u - 2. Let r be c(0). Does r = n?
False
Suppose 13*i + 29*i = 7518. Which is greater: 176 or i?
i
Let b be (-2)/(-6) + (-237)/9. Let v = b - -24. Let o be (-91)/(-63) + 0 + v. Does -1 = o?
False
Suppose -3*n + 2*c = 2*n + 722, -4*n - 578 = -2*c. Is -144 equal to n?
True
Let c = 90 + -63. Suppose 5*h = 10, -4*f - c - 15 = 3*h. Is -13 greater than f?
False
Let u be (12/8)/(5*(-5)/(-1800)). Is u at most 213/2?
False
Suppose 79*b - 80*b + 6 = 0. Let a be (b/24 + (-18)/8)*26. Which is smaller: a or -51?
a
Let t(o) = 33*o + 224. Let z be t(-13). Which is bigger: -204 or z?
-204
Let j = 0.04 + 0.04. Let x = -4.08 + j. Let h = x - -4.1. Is 0.4 at least h?
True
Suppose 4*a + a = -70. Let b = 16 + a. Suppose 0 = 6*d - 5*d + b. Is d not equal to -4/3?
True
Let w = 26/5 - 68/15. Suppose 0 = -7*t - 1 + 15. Which is smaller: w or t?
w
Let v be 852/1090 - 544/680. Which is smaller: -1 or v?
-1
Suppose 29*m - 94 + 65 = 0. Which is greater: m or 15/67?
m
Let k = -2233.714 - -2256.7. Let g = k + 0.014. Let n = -23.1 + g. Which is smaller: -0.02 or n?
n
Let q(p) = -p**3 - 22*p**2 + 22*p - 43. Let b be q(-23). Which is greater: -106/5 or b?
b
Let d = -13 - 2. Let f = d + 8. Let p = f - -3. Is p at least -2?
False
Suppose 0*r + r - 2*o = -4, 5*r + 20 = -3*o. Let m(g) = g**3 - 5*g**2 + 2*g + 9. Let a be m(4). Let f be (4 - 6 - 1)*a. Which is greater: r or f?
f
Suppose -5*b = 1 - 16. Suppose 3*v = -4*j - 25 - 1, -5*j = b*v + 31. Let c be v/(-13) + (-77)/78. Is c < -2?
False
Let j = 12144410514989/19329177699216 + 9/1468001648. Let g = -5/1881 - j. Let p = -1/28 + g. Is -2 greater than p?
False
Let v = 1 - -13. Suppose -29 = -y - v. Which is bigger: 14 or y?
y
Let h = 0 - 1. Let k = 205/12 - 101/6. Is h greater than or equal to k?
False
Let g = -25 + 15. Suppose 0 = -6*y + y - 2*z - 40, -4*y - 50 = -2*z. Are y and g unequal?
False
Suppose -2020 = -5*g + 11*z - 6*z, -4*g + 1616 = 5*z. Is 403 != g?
True
Suppose -4*f + 12 = -f. Suppose 16 = 4*h + f*r, -h + 3 = 3*r + 1. Suppose -4*k - 2*o = -39 - 49, -5*k + 80 = -h*o. Which is greater: k or 19?
k
Let n = 1255/306 - 59/18. Is n greater than or equal to 2?
False
Let p = -359 + 286. Which is bigger: p or 4/5?
4/5
Let j(b) = b**3 + 21*b**2 + 35*b - 56. Let f be j(-19). Are 18/221 and f non-equal?
True
Let z = -1974239/255 + 23227/3. Let d = -1/51 + z. Suppose 7 - 2 = 5*g. Are d and g equal?
False
Let n(v) = -v**3 - 5*v**2 + 12*v + 11. Let a be 6/(-3) + (-7 - -1). Let r be n(a). Let g = -750/7 + r. Are g and -1 equal?
False
Let z = 15/8 - 157/88. Let j = 20851 + -20850. Which is bigger: z or j?
j
Suppose 160 = 5*h + 2*i - 0*i, -4*h + 128 = -2*i. Is h at least -2?
True
Let p = 745 - 1128. Which is bigger: -384 or p?
p
Suppose 4*j = q + 29, -4 + 13 = -j - 3*q. Suppose 3*z - 77 = -4*z. Suppose 4*h = 3*d + 9, 4*h + 3*d - 28 = z. Are h and j non-equal?
False
Let v(g) = 2*g + 9. Let m be v(-4). Is 2/185 equal to m?
False
Let s be -1 + 0/4 - -6. Which is greater: -2 or s?
s
Let i be (-1)/((15/(-6))/((-1)/4)). Which is smaller: -10 or i?
-10
Let a = 423/2 - 217. Let r be (-1508)/312 + (-1)/6. Which is greater: a or r?
r
Let d be 2 - (3 + 0)/3. Suppose 1 = s + y + 22, 2*y + 6 = 0. Let i be (-3)/s - (-25)/(-42). Is d at most i?
False
Suppose -5*q = -4*g - 15, 4*g + 4*q - 2*q = 6. Let y be 3 + g + -6 + 3. Let c be -12 - -3 - (1 + y). Is -10 at least c?
True
Let k(l) = 2*l**2 - 3*l + 3. Let b be k(3). Let m be (16/b)/((-4)/(-30)). Let f = m + -12. Which is greater: f or 4?
4
Suppose r = -2*n - 2, 2 = -2*n + 5*r - 7*r. Which is smaller: 3/62 or n?
n
Let d(u) = 4*u**2 - u + 4. Let y be d(2). Let v = y + -8. Let z be ((-3)/2)/(0 + v). Is 1 at least as big as z?
True
Suppose 4*n - 8 = 0, -2*n + 10 + 32 = -i. Is i not equal to -34?
True
Suppose -q + 6*q + 40 = 0. Let l(z) = -z - 6. Let a be l(q). Suppose 5*d = -4*x + 11, -5*d + 7 - 20 = -a*x. Which is greater: -2/7 or d?
-2/7
Let v be ((-4)/(-8))/(1/2). Let s be 6780/1128 - (6 - 0). Which is smaller: s or v?
s
Let t(f) = f**3 + 5*f**2 + 4*f. Suppose -3*u = -6, -7*u = -4*g - 2*u - 26. Let s be t(g). Suppose -5*l + 30 = -s*l. Which is greater: 5 or l?
l
Let t = -234 + 2572/11. Which is smaller: t or 0.21?
t
Suppose 0 = -4*s + 55 - 175. Let q = s + 30. Is q != 1/58?
True
Let k be ((-720)/32)/(6/8). Let g be 5/k*4 - (-1)/(-3). Which is greater: g or -2/3?
-2/3
Let c = -1121.88 + -29.12. Do -1 and c have different values?
True
Let s = 119.055 - 119. Let t = 0.055 - s. Which is smaller: -2/11 or t?
-2/11
Let u be 1168/20 + 9/15 + -2. Let m = -92 + u. Are m and -35 unequal?
False
Let q be 7/(-112)*(1 + 1). Let a be 1/2*-7*2. Let f = a + 6. Is q at least f?
True
Let o be (48/20)/((-138)/(-8)). Let y = 6/23 + o. Is y bigger than 1?
False
Let u(x) = 37*x + 12. Let r be u(4). Is 160 at most as big as r?
True
Let h be 0/(-4) - (-1)/((-116)/8). Which is smaller: h or -9?
-9
Let p be 84/910*30/8. Which is smaller: -1 or p?
-1
Let t = 18 + -20. Let h be (-1*(t + 4))/2. Is h greater than or equal to -5?
True
Let l(p) be the third derivative of -p**6/60 + 4*p**5/15 - 13*p**4/24 - 17*p**3/6 + 34*p**2. Let d be l(7). Is -8 greater than d?
True
Suppose m + m - 4*o = -118, 3*o = 4*m + 226. Which is greater: -9/5 or m?
-9/5
Let t = -14 + 40. Let l(h) = -h**3 - 21*h**2 - h + 4. Let s be l(-21). Which is smaller: s or t?
s
Suppose -88 = 4*l - 4*n + 204, -4*l = 4*n + 284. Let p = -73 - l. Is p at least as big as -1/5?
False
Let k = -1164 - -1166. Let g = -0.5 + 0.2. Which is smaller: k or g?
g
Let y = 2 - 4.3. Let d = y - -2.3. Do 8 and d have different values?
True
Let j = 955 + -955. Let n = -353/6 - -59. Is n less than j?
False
Suppose 10*k = 2826 - 926. Which is smaller: 187 or k?
187
Let f(w) = -w. Let u(b) be the second derivative of -b**4/12 + 5*b**3/3 - 5*b**2 + 4*b. Let s be u(10). Let o be f(s). Is o greater than 11?
False
Suppose o - 2 = 40. Let f = o - 37. Which is greater: 4 or f?
f
Suppose -5 = 4*l + 27. Let y be (32/14*-1)/(6/609*29). Is l greater than y?
False
Suppose 13*n - 15*n + 4 = 0, 5*n - 12 = -2*v. Is v less than 7/4?
True
Let q(y) = -23 - 2*y + y**3 + 14*y**2 - 5*y**2 + 2*y**2. Let v be q(-11). Suppose -21 = 5*d + 4. Is d at least v?
False
Let v = -237/95 + -1/190. Let u = -2 - -2.2. Which is smaller: v or u?
v
Let k = 474.9 + -474. Is k >= 69?
False
Let p = 3410/477 - 64/9. Is p less than -1?
False
Let u(f) = -4*f - 5. Let q be u(-6). Let w = -22 + q. Let j be (0 - (-31)/9) + w. Is -1 smaller than j?
True
Let j(f) = -f**2 - 4*f + 4. Let a be j(-5). Let r be 11 + (1204/(-175) - 4). Which is greater: r or a?
r
Let s = 13084 + -65022/5. Is 81 < s?
False
Let x(b) = -b**3 + 7*b**2 - 7*b + 4. Let c be x(6). Let f be (30/(-50))/(c/20). Suppose -43 = -5*t + 7*g - f*g, -5*t + 3*g + 39 = 0. Which is bigger: t or 10?
10
Let i = -34.3 + 2.3. Let u = i - -31.96. Is 0.9 equal to u?
False
Let j = 164 + -129.9. Let y = j - 34. Which is smaller: y or -1/4?
-1/4
Let r = 186 - 175. Is 1.1 > r?
False
Suppose 5*m = 229 - 44. Let y(w) = 2*w**3 + 159*w**2 - 80*w + 38. Let p be y(-80). Which is bigger: m or p?
p
Suppose u - 5 = m, -5*u - 24 = -2*m - 49. Do -1/142 and m have different values?
True
Let i = 170.3 + -159. Let h = i + -11.3. Which is smaller: h or 1/17?
h
Let f(t) = t**2 - 14*t - 23. Let b be f(13). Is -36 equal to b?
True
Let s = -0.98 + -6.06. Let b = -0.04 - s. Let r = b - 9. Is r greater than 3/7?
False
Let v = 0.77 + 30.23. Let z = v - -12. Let y = 26 - z. Which is greater: y or -1/3?
-1/3
Let p(y) be the third derivative of -y**4/6 - 13*y**3/3 - 10*y**2. Let z be p(0). Which is greater: -25 or z?
-25
Suppose -9 = -5*v - 4*z, 2*v + z + 3 = 6. Let g be v - (1 - -1)