 Let a be (o/(-4))/((-2)/40). Is a equal to 9?
False
Let c(i) = -9*i + 333. Let k be c(37). Which is smaller: k or 570?
k
Suppose -o + 4 = -r, -r - 4 = -5*o - 0*o. Suppose o = -4*h - 14 - 10. Which is smaller: -2/3 or h?
h
Let c be (-12)/(-66) + 8/(-66). Let x = c - -3/11. Which is smaller: x or 6?
x
Let k = 12 + -44. Let m = k - -289/9. Which is bigger: m or -5?
m
Suppose 2*m = -2*z + 8, -3*m - z = m - 4. Let r be (17 - -3)*30/(-16). Let t = r - -601/16. Which is smaller: t or m?
m
Let x = 64/205 + 549926/2255. Let d(q) = q**3 - 13*q**2 + 9*q - 13. Let z be d(7). Let w = x + z. Which is smaller: w or -1?
-1
Let f = 19/4 - 13/4. Let r be (-4)/(-2*(-2)/(-4)). Suppose -r = -5*u + 6. Which is smaller: f or u?
f
Let d = 0.12 - 1.12. Let f = 2.43 + -2.5. Let a = -0.47 - f. Which is smaller: d or a?
d
Let c(g) = -g**3 - 14*g**2 - 15*g - 5. Let h be c(-13). Let u = -5 + h. Let x be (-2 - -1) + -16 + u. Which is bigger: 2/11 or x?
2/11
Let n = 838 + -1284. Let i = n - -1354/3. Which is bigger: 4 or i?
i
Let i(q) = 15*q + 45. Let z be i(-3). Which is smaller: 6/59 or z?
z
Let f be (2/(-28))/(14/38668). Let r = f - -197. Which is smaller: 0.26 or r?
r
Let f(u) be the second derivative of u**4/12 - u**3/6 - 2*u**2 - u. Let r be f(3). Suppose y - 5*c = 1, -c = -2*y - r*c - 9. Are y and -3 unequal?
True
Let f = -33 + 30. Let i(n) = n**2 - n. Let l be i(f). Suppose -l = 7*g - g. Are 0 and g equal?
False
Let n(i) = i - 9. Let d be n(14). Suppose 4*l - 44 = 4*g, l - 4*g - d = 3. Suppose -4*w = -4*f + l, -2*w = w - 2*f + 9. Which is smaller: -9/4 or w?
w
Suppose 0 = -12*i - 31*i - 2064. Which is bigger: -440/9 or i?
i
Let h be 3/(90/16 + -6). Is 35 at most as big as h?
False
Let y = -1 - 1. Let h(p) = 4*p + 2. Let b be h(y). Suppose -5*u + 15 = 35. Which is smaller: u or b?
b
Let j(c) = 43*c**2 - 2*c. Let i be j(1). Let l = i + -40. Are l and 14/13 equal?
False
Let o = 5 + -3. Let k be (o/(-6))/(3/(-45)). Suppose 5*q + 3*v = 13, -3*q + 30 - 3 = -3*v. Is q equal to k?
True
Suppose -2*x + 19 = -3*d, -3*x - d + 15 - 3 = 0. Which is bigger: x or 26/7?
x
Let r(v) = -2*v**2 + 17*v - 14. Let t be r(6). Let s(l) = 0*l + 5 + 0 - 2*l. Let k be s(t). Is k greater than or equal to -27?
True
Let b = 1.81 - -0.29. Let s = b + -0.1. Let i = -20/33 - 2/33. Which is smaller: s or i?
i
Let p be -4*(2 - 29/12). Suppose a = -13*d + 10*d + 8, 0 = -5*d + 10. Do p and a have different values?
True
Suppose -4*g = 2*q + g - 85, 2*g = 2*q - 92. Suppose 5*a - 35 = -5*y, 3*y - a + 16 = q. Is y smaller than 11?
True
Let n be 12/(3*3/9). Let z be 1*2*2/n. Let b = -2/1881 - -1889/7524. Is z > b?
True
Suppose -5*p + 110 = -5*y, 3*y - 28 = -2*p + 11. Let l = 468 + -444. Which is bigger: p or l?
l
Let n = -2502 + 2585. Is n at least as big as 79?
True
Suppose 5 = 4*q - 5*x, 0*x - x - 1 = 0. Let i be (8/(-12))/((-192)/36). Is i at least as big as q?
True
Let a = 12 - 50. Let t = 42 + a. Let v = 1 + -1.2. Is v greater than t?
False
Let b(o) = o**2 + 12*o + 8. Let i be b(-12). Let s be ((-12)/(-8))/(3/i). Let y = 1 + s. Which is bigger: 0 or y?
y
Let w = -3 - -11. Suppose -21*d = -17*d - w. Do d and 9/5 have the same value?
False
Let g = 27 + -11. Suppose g = -2*h + 6*h. Let d be (6/(-1))/(0 - h). Is d less than or equal to 0.1?
False
Let k = 22 - 21.3. Let l = 0.3 - k. Is l at most as big as 2/5?
True
Let u = 8 - -3. Let c(d) = d + 4. Let y be c(8). Which is smaller: u or y?
u
Let c(y) = y**3 - 6*y**2 + 7*y - 7. Let o be c(5). Suppose -4*x + o*x + 21 = 0. Suppose 0 = q + 4*a + x, -q - 4*q = -2*a - 5. Is -1/4 >= q?
True
Suppose 5*v - 2381 = -n + 2175, 0 = 3*n - 3. Let m = v + -48281/53. Are m and 0 nonequal?
True
Suppose 2*a - 2*d + 6*d = -2, 3*a - 5*d - 30 = 0. Suppose -2*w + 7*w + 44 = 2*v, 30 = -5*w - a*v. Which is bigger: w or -3?
-3
Let o(q) = -2*q - 4. Let w be o(5). Let f = w - -14. Suppose -2*p - 2*l + 22 = f, -35 = -0*p - 3*p - l. Is p less than 12?
False
Let a be 4 - (17 + -70)/(2 - 1). Let t be (4 - 393/a) + 3. Is t at most as big as 0?
False
Suppose 2*h = -4*u, -u = -3*h - 3*u + 4. Is -8/35 at most h?
True
Suppose -2*u = -4*r - u + 32, -3 = -r - u. Suppose -4*b = 4*z, -r*z + 25 = -2*z. Suppose -10 = y + y. Is b <= y?
True
Suppose 2*g - 5*a = -0*a + 24, 2*g + 5*a = 4. Suppose 0 = -3*m + 68*n - 63*n - 14, 5*m - 5*n = 0. Is g less than m?
False
Let v = 94 - 45. Suppose -5*f + 1 + v = m, f = -2*m + 10. Suppose -h + f = h. Are 1 and h equal?
False
Let v(g) be the second derivative of g**4/12 + 5*g**3/6 - 2*g**2 + 4*g. Let p be v(-7). Suppose -4*m + p = 14. Which is greater: -4/15 or m?
-4/15
Let j = -22503 - -22506. Let d be 3/2 + (-2)/(-8). Does j = d?
False
Let z be ((-4)/(-14))/(33/11). Let p = -156/413 - 3/59. Let y = p + z. Which is smaller: y or 3/8?
y
Let j = -37 + 36. Let t be ((25/95)/5)/(j/3). Suppose -2*s + 0*b - 5*b = -17, -4*s + 7 = b. Which is smaller: t or s?
t
Let h = -22 + 23. Which is bigger: h or 251?
251
Suppose -11 = -2*x - 5. Let m(s) = 13*s**2 - 13*s**3 + 2 + 20*s**3 - 8*s**3. Let t be m(13). Do x and t have different values?
True
Suppose h - 3*t - 18 = 0, 56 = -9*h + 13*h + 4*t. Which is greater: h or -5?
h
Let c be (-16)/(-56) - 436/1918. Let a = -4/1317789 + 293430424/902685465. Let u = a - c. Which is bigger: u or 0?
u
Let g be (-8)/(-6)*(-27)/2574. Let w = 578/429 + g. Let z be 34/(-72) - 2/(-8). Is w <= z?
False
Let a = 119.6 + -119.7. Which is smaller: 14 or a?
a
Let g(s) = -6 - 6*s + 8 - 1. Let y be g(-1). Let i = 12 - 7. Is i less than y?
True
Let p = 2 + -1.91. Let t = 0.09 - p. Let q = 0 + t. Which is smaller: q or -0.1?
-0.1
Let w = -2172640 + 49982379/23. Let m = 507 - w. Are m and 1 unequal?
True
Suppose 0 = 26*s - 31*s + 415. Suppose 3*f - 342 = -4*c, 12*c = 13*c - 4*f - 76. Is c smaller than s?
False
Suppose -5*h + 3*h = 70. Let t be 31/h - -1 - (-6)/(-15). Is t >= 6/23?
False
Let c = -903 + 3615/4. Is c at least 64?
False
Let w = -5903 - -135747/23. Are -1 and w equal?
False
Let h be ((-21)/18)/((9/42)/3). Which is smaller: 1 or h?
h
Suppose 5*d = 138 - 23. Let a = d - 20. Let l = 0 - -0.2. Which is smaller: l or a?
l
Let p = 33 - -37. Is p less than or equal to 69?
False
Let g = 91/10 + -43/5. Which is bigger: g or -66?
g
Let y(k) = k**2 + 9*k + 8. Let f be y(-8). Suppose f = -2*m - o - 4, 3 + 1 = 4*m - o. Let z = -1697/4 + 424. Is z <= m?
True
Let u = -5 - -21. Let n = u + -13. Suppose -3*r = 0, -w + n*w + 2 = -r. Is 3 > w?
True
Let m = -2.5 + 14.5. Let a = m + -12.3. Is a at most 2?
True
Suppose 4*n - 182 = -2*t, -2*t + 172 = 4*n + 2*t. Let r be (n/(-9))/((-92)/6). Is -1 smaller than r?
True
Let u = -0.172 - -0.072. Let a = -53.8 - -49. Is a less than or equal to u?
True
Let o be (-1)/(((-1)/(-4))/1). Let w = -35 + 38. Suppose -2*l - 3*l = -a + 19, 5*l + w*a + 23 = 0. Is o greater than or equal to l?
True
Suppose 2*l + 8 = 0, 2*l - 17 = -7*v + 2*v. Is v at least as big as -11?
True
Let d(r) = -r**3 + 15*r**2 - 14*r + 8. Let j be d(14). Suppose 30 = -11*c + j. Let w = -63 - -187/3. Which is smaller: c or w?
c
Let w(t) = t**3 - 4*t**2 - 1. Let i be w(5). Let z be (9/(-8))/(i/16). Let j = 12 - 13. Which is smaller: z or j?
j
Let b = 7.3 - 1.5. Let s = 22.8 - b. Which is smaller: s or 1?
1
Suppose -m + 177 = 4*a + 188, m - 4*a = 13. Which is greater: -2/1621 or m?
m
Suppose 49 = v + 4*v - r, 2*r = -5*v + 37. Let n(b) = -b**2 + 11*b - 6. Let m be n(7). Let i = -14 + m. Which is bigger: v or i?
v
Let u(i) = i**2 - 15*i - 15. Let w = 22 - 7. Let v be u(w). Which is smaller: v or -59/4?
v
Let i(p) = p**2 + 34*p + 59. Let l be i(-36). Which is greater: l or 132?
132
Let b = 5 + -3. Suppose -h - b*l = 5, 5*l + 0*l + 18 = 3*h. Are h and 8/11 equal?
False
Let y = -3.471 - -1.644. Which is bigger: 0.1 or y?
0.1
Let b be 1/(-17) + -3 + 3. Let l(a) = -a + 4. Let t be l(6). Let i be 1 + t + (3 - 1). Do b and i have the same value?
False
Let g = 0.2731 + 7.7269. Which is smaller: g or 43?
g
Let h be (9/156)/(846/48). Is 0 > h?
False
Let i be 0 - (27/(-30) + 1/(-10)). Is i != -4?
True
Suppose -18 - 3 = -7*x. Suppose 3 = -4*a + x*o - 4*o, -a - 6 = 2*o. Does 1/43 = a?
False
Suppose -2*t - 2*t = -172. Suppose -4*g = -t + 1143. Let s be (-40)/g + (-6)/(-15). Is 1 <= s?
False
Let v(n) = -n**3 + 4*n**2 + 9*n + 18. Let z be v(6). Let o be (-8 - -5)/((-14)/6). Are z a