w(-3). Suppose -5*q + 30 = -4*x, -q - 6 = -t*q - 3*x. Suppose -b = -q*b - 20. Do -2 and b have the same value?
False
Let a be (-508)/18 - 2/(-9). Suppose 9*q = -408 + 156. Is q < a?
False
Let u = 21 + -16. Let m = -22 + u. Let q = m - -18. Is q > 2.4?
False
Let q = -3381/104981 + -1/1721. Which is bigger: 1 or q?
1
Let d = 46 + -27. Which is bigger: d or 1/4?
d
Suppose 247 = -5*p - t, -4*p = -8*p + t - 203. Is -46 less than or equal to p?
False
Let h = -3 + 12. Let o = -16 + h. Let c = o + 7. Is 2/5 equal to c?
False
Let s = 1/1456 - 113/1456. Suppose -3*p - c = 2*p, -3*c = 5*p - 10. Let o = 2 + p. Are o and s nonequal?
True
Let z = 36956/15 + -2455. Which is greater: z or 8?
z
Let a = -370.1 + 399. Let y = -29 + a. Is 0.2 bigger than y?
True
Let d be 1/(-136)*-237*(-2)/(-21). Let m = d + -3/28. Which is smaller: 1 or m?
m
Let y = 63 + -58. Let h(m) = 7*m**2 - 2*m + 1. Let f be h(1). Suppose y*x = f*x. Is x at least -2/29?
True
Let p = -48.1 + 47.8. Is p greater than or equal to 312?
False
Let y = 302.9 + -303. Let r = 6.3 - 8. Is r equal to y?
False
Suppose -w + 1 = t + 2, 0 = -4*w + 4*t + 4. Let q be (-1 + w)*1*0. Let f be 3 + 0 + q + -3. Which is greater: f or 1/7?
1/7
Let f = -2 - 8. Let o = 3 + f. Which is smaller: 0 or o?
o
Let a(n) be the first derivative of n**4/4 + 5*n**3/3 + 2*n**2 + 2*n + 1. Let o be a(-3). Is 8 at most o?
True
Let m be (40/(-200))/((-1)/5). Which is smaller: m or -135?
-135
Let h(o) = -3*o + 8. Let w be h(6). Let i = w + 12. Let g be (6/9)/(8/12). Which is greater: i or g?
i
Let f be -9*8/180*5/(-2). Suppose 4*u + 20 + 8 = 2*v, -3*u = 3*v + 3. Let b be (4/(-10) + 0)*u. Is b at least as big as f?
True
Suppose -6*l - 33 = -2*l + 5*j, 0 = 5*l - 2*j. Let v be (-2)/(8 + (l - 1)). Is 0.04 smaller than v?
False
Let m = -20 - -23. Suppose -4 = 2*z, 2*l = -m*l - 3*z - 16. Let t = -4 - -1. Is t greater than l?
False
Let m = 4626.22 - 4546. Let s = m - 80. Which is smaller: s or 0.1?
0.1
Let l = 118 + -114. Are l and 13 equal?
False
Suppose 0 = -16*p + 15*p. Suppose p = 7*b - 0. Which is greater: b or -0.049?
b
Suppose 3*i - 10 + 36 = -4*j, 10 = -2*j. Let o(g) = 3*g. Let b be o(i). Suppose -2*t - 2*d - 16 = 0, -2*t + 3*t = 3*d. Is t bigger than b?
False
Let z = -4963/340 + -13/85. Suppose -3*u = -16 + 58. Is u > z?
True
Suppose 5*l = 2*l + 21. Let k(j) = j**3 - 7*j**2 - 4*j - 9. Let c be k(l). Is c smaller than 0?
True
Let v be (172/504 - (-2)/(-7))*-4. Which is bigger: v or -74?
v
Let b = -470/3 - -157. Which is smaller: 6.02 or b?
b
Let y = 0.8 + 3.2. Let k = -75 - -70. Let m = y + k. Which is greater: m or -0.1?
-0.1
Let x = -195 - -238. Is x greater than -1?
True
Let n = 85/194 + 6/97. Do -6 and n have the same value?
False
Let j = 4.65 - 6.65. Is j <= 0.69?
True
Let p = 0.0554 - -0.0446. Is p bigger than -1.8?
True
Let x(i) = i + 5. Let d be x(-5). Suppose 9 = b - d. Is -1/2 at least b?
False
Let u = -3 - -4.7. Let c = u + -0.7. Let z = -37.97 - -38. Which is bigger: c or z?
c
Let h = 4 - 4. Let j = 492 + -25088/51. Which is smaller: j or h?
h
Let v = -985/6 + 164. Let h be (0 - 1) + 1/1. Is h >= v?
True
Suppose 2*r + r = 3. Let l = -48 - -87/2. Let g = 17/4 + l. Which is bigger: g or r?
r
Let z = 24.52 - -0.38. Let p = z + -25. Is p smaller than -3?
False
Suppose -10*f - 47 - 69 = -236. Let u(s) = s**2 - 2*s - 4. Let y be u(5). Are f and y unequal?
True
Let g(y) = 3*y**3 - y**2. Let a be g(1). Let m be -2*(-3)/14 + (-18)/(-7). Suppose -5*h - k + 17 = -3, h - m*k = 4. Do a and h have the same value?
False
Suppose -1347 - 3486 = -9*g. Is 539 > g?
True
Let j(s) = -3*s**3 + 72*s**2 - 55*s + 77. Let m be j(23). Which is bigger: 398 or m?
m
Let i(b) = -7*b + 1. Let w be i(1). Let k be w/9 - (0 + -4). Which is greater: k or 2?
k
Let a = 30 + -37. Let k be 0/a*3/3. Which is bigger: 1/20 or k?
1/20
Let s be (-3 + -1 - -5)/(3/(-21)). Let a be -1 + 4 + s + 38/9. Suppose k + 5 = 2*l, 5*l = 2*k - 6 + 16. Which is bigger: a or l?
a
Let t be ((-10)/(30/9))/(2*-6). Let g = -0.1 - 0. Is t <= g?
False
Let a(f) be the first derivative of 15*f**2/2 - f + 21. Suppose 0*h = -4*h + 4. Let g be a(h). Is g smaller than 15?
True
Let h be ((-1)/(-6))/(2/6). Let n(z) = z**3 - 6*z**2 - 6*z + 36. Let x be n(6). Is x at least as big as h?
False
Let n be (2/(-6))/(3/(-9)) - -2. Let x be n + 1 + -4 + 1. Which is greater: x or -2/131?
x
Let z be 12/(-5) + 2 - 5/50. Let q(a) = -a**2 - 6*a - 1. Let n be q(-5). Let w = n + -10. Which is bigger: w or z?
z
Let f(m) = m**3 - 10*m**2 - 14*m + 32. Let r be f(11). Let j(a) = a**2 + 6*a - 8. Let l be j(-8). Let i be 1/(-5) + l/(-60). Which is smaller: i or r?
r
Suppose 4*v - c = 11, 5*v + 3*c + 0*c - 1 = 0. Let h(p) = -p + 1. Let o(k) = -4*k + 5. Let w(f) = 3*h(f) - o(f). Let t be w(v). Which is smaller: t or 2/27?
t
Suppose 0 = -9*x + 153 + 135. Which is smaller: x or 30?
30
Let k = 21 - 29. Suppose 3*l + 26 = -4*v, 3*v = -3*l - 19 + 1. Do k and v have different values?
False
Let a be (18/10 + -1)*150/10140. Is -1 at most a?
True
Let x = -5 - -5.3. Let b = -0.1 + x. Let i = 0.000199 + -1.500199. Is b greater than i?
True
Suppose 0 = -q + 5*z + 13, 2*z = 16*q - 17*q - 1. Is q greater than or equal to 17/6?
True
Let v be 119/21 + 1/3. Let o be -1 - (-7)/(28/24) - -2. Which is smaller: v or o?
v
Let b(u) = -u**2 + 37*u + 69. Let m be b(32). Do m and 230 have the same value?
False
Let g be (-2)/6*(34 + -19). Is -9 not equal to g?
True
Suppose -u + 633 = 4*r, 3*u + 2*r - 1641 = 288. Which is smaller: -1/3 or u?
-1/3
Suppose -231 - 324 = -5*c. Let a = c + -57. Let y be 4*(165/a)/(-11). Is y less than or equal to -2/7?
True
Let g = -2/5337 + 85426/90729. Which is smaller: 2 or g?
g
Let m = 46 + -67. Let x = m - -17. Which is smaller: -0.2 or x?
x
Let s be (-77)/(-28) + 2/8. Suppose -g + 5*g = 3*u - 6, 2*g + s*u = 6. Let k = 0 + g. Is k at least as big as -1/30?
True
Let f = -2 + 2. Let r = f + 1. Suppose -1 = 2*a - 4*j + r, 4*j = 4. Which is greater: 3/10 or a?
a
Let i = 0 - -4. Suppose -5*h + 17 = 4*y, 3 + 5 = 4*y - i*h. Let t be 1 - 2 - (-51)/12. Which is bigger: y or t?
t
Let z = -2.78 - -2.9. Which is bigger: z or 5?
5
Let d be 819/(-162)*4/(-7) - -5. Which is smaller: d or 9?
d
Let k = -5 - -7. Let g = k - 0. Suppose 5*n = -3 - g. Which is greater: n or 0?
0
Let n = 78.964 - -0.036. Let k = n - 79.15. Which is smaller: -0.1 or k?
k
Let y be 16/(-10) + 2 + 16/10. Suppose 0 = 5*b + 20, 4*b - 4 = -4*h + y*b. Let n = 0 - -2. Is n at most as big as h?
True
Let c be (-1 - 2)/(-1 + 32). Let n(s) = s**3 + 8*s**2 + 15*s + 11. Let f be n(-6). Let w(l) = l**3 + 7*l**2 - l - 8. Let u be w(f). Are c and u equal?
False
Let r = 5.76 - 5.1. Let v = 0.64 - r. Is v greater than 2/13?
False
Suppose 2*q - 2 = -3*c - c, 3*c = 0. Let t be 20/8*310/8. Let i = t - 97. Is i equal to q?
False
Suppose 0 = g - 7 + 4. Suppose 10 = m + 2. Suppose m*t = 3*t + 10. Are t and g equal?
False
Suppose -18*g = -15*g + 6. Let p be 1/10*28 - g. Are p and 4 nonequal?
True
Let b = 3968 - 2113. Which is greater: 1856 or b?
1856
Let f(n) = 4*n**2 - 11*n - 8. Let v(g) = 3*g**2 - 10*g - 7. Let d(m) = -4*f(m) + 5*v(m). Let w = 11 + -16. Let l be d(w). Is 10/9 not equal to l?
True
Let k be 45/105 + (-8)/(-14). Which is smaller: k or 4/53?
4/53
Suppose -27*p = -25*p - 4. Suppose -5*j = -p*h - 10 - 6, -4*h = -2*j. Suppose 4*r - 5*w = r + 4, -h*w + 4 = -2*r. Is -7 greater than r?
False
Suppose -y = 2*g - 0*g - 5, -4*y = -5*g + 6. Let a = 608 + -608.1. Is a smaller than y?
True
Let s = -19.1 - -18. Let k = s - -2.4. Let l = k + -1.1. Which is bigger: l or 2?
2
Let p = 7777/4 + -1946. Are p and 3 nonequal?
True
Let r = 14.74 - -0.26. Let b = r - 16. Let k(u) = u - 8. Let x be k(6). Are b and x equal?
False
Let b = -1212 + 757. Is b equal to -453?
False
Let c(v) = -v**2 - 28*v - 53. Let x be c(-2). Which is smaller: -12/187 or x?
x
Let o = 533/85573 + 6/1031. Is o at most -0.8?
False
Let o be (-21)/7 - (1604/(-160) + 7). Let y(i) = i - 4. Let m be y(3). Is m not equal to o?
True
Let v(b) = -76*b**2 - 15*b + 24. Let r be v(2). Is -310 smaller than r?
False
Let k = -0.766 - -0.7011. Let y = -3.0051 + k. Let b = 0.07 + y. Which is smaller: 4 or b?
b
Let h be ((-4)/6)/((-60)/5310). Which is smaller: 178/3 or h?
h
Let u(z) = -z**3 + 2*z**2 + 16*z - 6. Let f be u(4). 