+ 13 = 3*y - 6, 6 = 2*y. Let d be -3 + -3 + x - 3. Let b be ((-3)/45)/(4/10). Is b less than d?
True
Let w = 36 + -33. Let i be (-1)/(w - 32/11). Which is bigger: i or -9?
-9
Suppose 35*u = 31*u + 5*d - 865, -2*u - 430 = -2*d. Which is smaller: -1/8 or u?
u
Let z be -7*((-4)/7)/2. Suppose -29 = 5*v + q, -z*v = v - 4*q + 22. Which is smaller: v or -5?
v
Let s(k) = -k + 6. Let i be s(-5). Suppose -2 - 7 = -3*p, 4*w + p = 251. Suppose -4*z - 14 = -w. Are i and z nonequal?
True
Let o(y) = -2*y - 61. Let x(h) = -3*h - 120. Let i(q) = 7*o(q) - 4*x(q). Let f be i(0). Is f at least 52?
True
Let b = -58.8 + 47. Let j = b + 12. Let k = -2 + 9. Which is greater: j or k?
k
Let y = 35.3 + 0.7. Let n = -35.94 + y. Which is greater: -1 or n?
n
Suppose 0 = -t - 3*n + 12, t - 4*n + 5 = -4. Let p(x) = 5*x - 14. Let w be p(t). Is w bigger than 19?
False
Let c = 1.34 - 1.569. Let k = 0.009 + c. Let m = -0.2 + 0.3. Is k > m?
False
Let g = 1 - 2. Let d = -2/5 - 1/10. Let f = d - -1/10. Is f equal to g?
False
Let l = 1206 - 1447. Are -1212/5 and l unequal?
True
Let n(p) = -p**3 + 8*p**2 + 9*p + 6. Suppose 2*f + 3*w - 19 = -1, -9 = -f + 3*w. Let b be n(f). Let l = 6 - b. Which is greater: 1/10 or l?
1/10
Suppose 4*s = 2*s + 2*o + 274, -12 = 4*o. Is s greater than or equal to 135?
False
Suppose 0 = 8*v - 7*v. Let a be (v + 1)*(-4 - -3). Let z(w) = -4*w**2 - 4*w + 3. Let o be z(2). Is o at most a?
True
Let d = -1275/18067 - -1/623. Suppose 0 = -2*u + 5*t - 25, -2*u - 4*t = -3*t - 5. Suppose -4*i - 2*p - 6 = u, -2*i + 4*i + 3*p = -13. Which is smaller: d or i?
d
Let u(v) = 145*v - 2. Let c be u(-1). Let r = c - -3527/24. Which is smaller: r or -1?
-1
Let o(m) = -4*m - m + 3*m**2 - 1 + m**3 + 6*m. Let b be o(-2). Suppose w = -4 - b. Is -5 >= w?
True
Let n(v) = -543*v**3 - v**2 + 4*v + 3. Let z be n(-1). Is z less than or equal to 541?
True
Let t be ((-1513)/(-6) - 0) + 14/(-84). Which is smaller: 253 or t?
t
Suppose 4*z = 6*z - 6. Suppose 0 = z*l + 1 - 4. Let y = 166 + -3819/23. Do l and y have different values?
True
Let j = -1/60 - -251/1560. Let w = j + -1/52. Is w at least 0?
True
Let p = -92.26 - -92.26. Let l = 119.92 - 123. Let w = l + 0.08. Is w greater than p?
False
Let y be 7/(-14)*(7 + -17). Is -3 at least y?
False
Let z(l) = l + 14. Suppose -u + 3*u + 24 = 0. Let m be z(u). Let i be ((-1)/m)/((-25)/(-2)). Is -1 < i?
True
Let l = -181/3 + 5258/87. Which is greater: l or -2/5?
l
Let s(w) = w + 2. Let l be s(7). Let k be (3/l - 1)*-3. Let q be 12/(-56) - k/7. Is 0 <= q?
False
Let f be (7 + (-7415)/(-50))*5/(-46). Let r = 67/4 + f. Which is bigger: r or 0?
0
Let r be 26/(-65) + (-33)/(-30). Which is smaller: 1 or r?
r
Let p(q) = q**3 - 19*q**2 + 25*q - 27. Let n be p(18). Which is greater: 97 or n?
n
Let n = -0.35 + 1.47. Let w = n + -1.12. Let k be 135/(-220) + 1/4. Is k not equal to w?
True
Let w(q) = 2*q**3 + 7*q**2 - 5. Let y be w(-3). Let a be (1/(-4))/(y/(-16)). Suppose 0 = m + 5 + a. Is m bigger than 0.1?
False
Let g = 5 - 17. Let w be (-1)/((-7)/g - 11/33). Is w < -0.1?
True
Let x = -234.7 + 369.7. Which is smaller: 4 or x?
4
Suppose 0 = -4*l + 12, -l + 0*l = 4*w - 51. Let y be (5 - (-22)/(-4))*w/(-46). Let b = 0.4 + -0.3. Which is greater: b or y?
y
Let k = -12/59 - 377/177. Let a be (-9)/(-6) + 14/(-4). Is k equal to a?
False
Let r be (-20)/(-12) + (-1)/(-3). Suppose -2*f + r = -f. Suppose -5*q + f*g + 24 = -q, -2*q - 2*g = -12. Which is bigger: q or 7?
7
Let h be (86/(-8) + 2)/((-2)/(-8)). Does -176/5 = h?
False
Let i(j) = 3*j - 1. Let n be i(1). Let d(t) = t**3 - 3*t**2 + 5*t - 3. Let u be d(n). Is u greater than 6?
False
Let z be 12/(-30) - (-244)/10. Let h = 25 - z. Is 2/3 < h?
True
Let c(f) = f**3 - 9*f**2 - 31*f - 80. Let m be c(12). Let i = 9 - 31. Is m at least i?
True
Let d be (11/(88/16))/(29/(-2)). Suppose -2*y - 2*y - 8 = -4*b, 3*y = 2*b - 5. Is y equal to d?
False
Let l = -63 - -6. Let a be (-9)/72 - l/8. Which is greater: 10 or a?
10
Let k be -3 - ((-11440)/(-3304) + -7). Let h = 49562/59 - 840. Let u = h + k. Which is greater: u or 0?
u
Suppose -2*a = -j - 42, 0*j - 4*j + 62 = 2*a. Let b be ((-168)/(-49))/(1/7). Which is smaller: a or b?
a
Let q = 56 - 56.05. Let l = -0.07 + q. Is 2 smaller than l?
False
Let h be 17177/5607 + 2/9. Which is greater: h or 4?
4
Suppose -6 = -5*q + 2*q. Let n be 0/q + -3 - -3. Let u be n + 0 + 1 - 6. Which is smaller: u or 0?
u
Suppose -298 + 1228 = o + 3*a, o - 5*a - 898 = 0. Let h = o - 85372/93. Is h at most as big as -1?
False
Let r(f) be the first derivative of -4*f**3/3 + 2*f**2 - f + 9. Let y be r(-2). Let n = 28 + y. Do n and 5 have the same value?
False
Suppose -2*j = 3*h - 19, 0*h - 11 = -4*j + 3*h. Let u(x) = -1 - 3*x + 0*x - j + 2*x. Let s be u(4). Is -9 < s?
False
Let t = -39 - -27. Let b(m) = m**3 + 35*m**2 + 124*m - 13. Let j be b(-31). Which is smaller: t or j?
j
Suppose 3*r + 3*n + 2*n - 92 = 0, n - 28 = -r. Let f be -2 - 6 - (-4 - 5). Which is greater: r or f?
r
Suppose 97*g - 52*g = -1395. Do -121/4 and g have the same value?
False
Let y = -127 + 151. Is y less than or equal to 24?
True
Let y(j) = j**3 - 2*j**2 + 2*j + 1. Let c be (4/(-14))/(4/(-28)). Let t be y(c). Suppose -12 = 3*f + t*v, -1 - 6 = 2*f + 3*v. Which is bigger: f or 5/6?
f
Suppose -3*x = -3, 5*d - 2 = -2*x + 5. Suppose 3*m + d = 4*m. Suppose -l - m - 1 = 0. Which is smaller: -4 or l?
-4
Let x(o) be the first derivative of 4*o**3/3 - o**2/2 - o + 5. Let p be x(-1). Is p greater than or equal to 4?
True
Suppose 10 = 6*g - 11*g. Does 64/9 = g?
False
Let v = -45 + 42. Is v bigger than -14?
True
Suppose -v = 4*r - 9, -5*v + r + 22 = -2*r. Let u be (-3)/4 - (-1 + v/12). Are u and 0 equal?
False
Let u = -2806/12045 + 52/165. Is u smaller than 1?
True
Suppose -5*k - 5257 = -4*o, 3*k = -50*o + 45*o + 6599. Is 1318 less than or equal to o?
True
Let f = 855/16 + -193/112. Which is smaller: 51 or f?
51
Let h(x) be the second derivative of -13/2*x**2 + 5/3*x**3 + 0 - 1/12*x**4 - 10*x. Let y be h(8). Which is bigger: 5/2 or y?
y
Let b = -57 + 60. Suppose 3*t + 24 = b*o - 5*o, 0 = -2*t - 4. Are -10 and o equal?
False
Let b(g) = -g**2 - 20*g - 54. Let i be b(-17). Is -7/3 less than i?
False
Suppose -37*k + 41*k = -24. Let a be (8/(-12))/((-6)/9*7). Which is smaller: a or k?
k
Let u = 13 + -8. Suppose 3*d - 6 = u*d. Let q be (24/(-36))/(83/d). Which is bigger: 1 or q?
1
Let r(i) = -6*i**3 + 1. Let k be r(2). Let w = k - -47. Is w not equal to 0.15?
True
Let b be (2/(-12))/((-1)/38). Let o = -3949 + 3956. Does o = b?
False
Let o = -8 + 6.6. Let v = o - -0.5. Let t = -17208 + 17208. Is t at least as big as v?
True
Suppose 4*c = -3*c + 14. Let v be (-1 - (-10)/4)*c. Suppose 0*b + v*b - 3 = 0. Do b and 6/17 have different values?
True
Let c = -70.22 - -73. Which is greater: c or 0?
c
Let b = -0.56 - 82.44. Let m = b - -84. Is 2/7 less than or equal to m?
True
Suppose 0 = g - 15*j + 10*j + 43, 3*g + 169 = 5*j. Which is bigger: g or -61?
-61
Suppose 0 = 5*r + 262 + 68. Let d = -76 - r. Which is greater: -11 or d?
d
Let v = -7.957 - 0.143. Let m = v - -9. Let i = -0.91 + m. Which is greater: -2 or i?
i
Let b be ((-18)/(-120))/((-4)/5). Let h(r) = -r - 2. Let x be h(-3). Is b less than x?
True
Let t = 1733 + -1733. Let r = 0.05 - 1.55. Let j = r - 0.5. Do j and t have the same value?
False
Let n be ((-2)/(-33))/(5/720). Let g = n - 189/22. Is -1 greater than or equal to g?
False
Suppose 0 = -5*u + 26 - 11. Suppose 4*f = -u - 1. Is f smaller than -2?
False
Let s(i) = -i**3 + 19*i**2 + i - 20. Let r be s(19). Let a(c) = -27*c**2 - 2*c - 3 + 10*c**2 + 2. Let z be a(r). Are -16 and z unequal?
False
Let z = 37.004 + -37. Let l = 0.396 + z. Is l equal to -6?
False
Let z = -1319 + 1318.737. Which is greater: z or -2/9?
-2/9
Let a(x) = x**2 + x. Let n be a(2). Suppose 3*g = -3*o - 0*g + 3, 4*o + g - 19 = 0. Suppose -13*z + o*z + 49 = 0. Which is greater: n or z?
z
Suppose -6*m + 32 = 2. Suppose m*h - 55 = 5*o, o - 4*o = 5*h - 55. Which is greater: h or 10?
h
Let a = 2 - 4. Let j = 3 + a. Let d be 4/(-16) - -1*26/40. Is j != d?
True
Let u(r) = r**2 + 3*r - 4. Let z be u(-4). Let o(c) = -c**3 - 5*c**2 - 3*c + 4. Let g be o(-3). Is z at least as big as g?
True
Suppose 5*w - 4*t = -1 - 15, 0 = -4*w - 2*t + 8. Suppose -4*a + 119 - 31 = w. Suppose 4*z + 2*j -