2*a + 3*a = -3*a. Let i = -0.07 - 0.23. Let y = -0.35 - i. Is y equal to a?
False
Suppose 12*u + z + 63 = 16*u, -19 = -2*u + 3*z. Which is bigger: u or 32?
32
Let g = -106 - -1583/15. Is -2/13 at most g?
False
Let x = 10 + 12. Suppose 0*m - 8 = 2*m, 0 = k - 2*m - 29. Is x bigger than k?
True
Suppose -4*t + 3*h = 200, -2*t = 2*h + 71 + 29. Let g be (4 - (-147)/(-30))*t/12. Which is bigger: -0.1 or g?
g
Let f be 2/(-5) + 18/(-5). Let t be ((-328)/18 + 2/9)*1. Let l be (t/f)/1 - 0. Does 6 = l?
False
Let s = 0.62 - 27.62. Let n = 25 + s. Which is smaller: 7 or n?
n
Let u be (15547/1110)/1 + (-15)/75. Let q = 83/6 - u. Is -1 greater than q?
False
Let c = -2 - -9. Suppose -r = -c*r - 156. Let n = 41 + r. Is n bigger than 15?
False
Suppose -2*r + 4*t = -4, -4*r + 3*t = -t - 8. Suppose -4*y - 2 = -2*c, 3*c + r*c = -5*y + 35. Let z(b) = 2*b - 41. Let w be z(21). Which is greater: y or w?
y
Let g = 1808/11 - 19610/143. Which is greater: g or 28?
28
Let x(k) = k**3 + 9*k**2 + 12*k + 21. Let n be x(-7). Suppose 0 = -m + n - 35. Do -24/17 and m have the same value?
False
Let j be 4 + -3*381/(-45). Let d = 51 - 21. Let a = d - j. Which is smaller: a or 0?
0
Let n be 0 + (2 - 1)/1. Let h be (12/(-20))/(n/5). Let f = -41.3 + 41. Is h >= f?
False
Let n(w) = -6*w - 47. Let o be n(8). Is -95 equal to o?
True
Let b = -33 + 12. Let y be -2 + (1 - b) + -3. Let x = -16 + y. Is 3/4 greater than or equal to x?
False
Suppose 0 = 111*m - 13*m - 5194. Is 670/13 greater than or equal to m?
False
Let i(z) = -14*z**3 + 0*z + 12*z**3 + z - 4. Let u be i(2). Which is smaller: u or -52/3?
u
Let a = 0.06 + 0.06. Let h = -0.1 + a. Let l = 8362 - 8361. Which is greater: l or h?
l
Let r = 45 + -46. Which is smaller: r or -0.4?
r
Let t = -190 - -574/3. Is t equal to -8/3?
False
Let w = 23/10 - 14/5. Let s = -47.19 + 47. Let i = s - -0.17. Is i not equal to w?
True
Let o be 2 - 6/3 - -2. Suppose 36 + 74 = o*p + 2*y, -5*p + 263 = -y. Is -1 >= p?
False
Let j(v) = -v**3 - v**2 + 3*v + 7. Let t be j(-3). Let d be 2/(-5)*(-30)/t. Which is smaller: 1 or d?
d
Let c = -219.545 + 220. Which is greater: 0.1 or c?
c
Let v = 75747/4355 + 6/871. Is v less than 16?
False
Let q = -257/445 - 2/89. Let z be (-7 + 4)/(-4 - 66/(-12)). Are q and z nonequal?
True
Suppose 0 = -2*f - 2*d + 4, 4*f - 4 = -d + 4. Let a(i) = -i - 1. Let c(y) = 3*y - 8. Let q(n) = f*a(n) + c(n). Let b be q(9). Which is greater: b or -2/19?
-2/19
Let o(d) = d**3 - 29*d**2 + 29*d + 20. Let n be o(28). Which is smaller: n or 53?
n
Let c(a) = a**2 + 40*a - 335. Let o be c(-47). Which is greater: -75/13 or o?
-75/13
Let o = 233498/17 - 13740. Which is smaller: -5 or o?
-5
Let v be (-7 - -1)*(-1)/((-3)/5). Let j = 148 + -152. Are v and j equal?
False
Suppose -2*n - n = -3. Let f be (-2)/(-19) - 6*(-1105)/(-44574). Is f >= n?
False
Let y(h) = h + 1. Let k be y(-4). Let s be (-2)/k + (-28)/(-12). Suppose -s*r = 2*r. Which is smaller: r or -2?
-2
Let o = -374 + 380. Is 12 > o?
True
Let v = -7 - -9. Suppose -v*u = s + 3*s - 12, -4*u + 4*s = 0. Let c be u/(-8) - (-29)/4. Is c at least 6?
True
Suppose -6*f + 372 = 3*z, -9*f - 5*z + 44 = -8*f. Is 46 at least f?
False
Let m = 26 + -11. Let w = -27 + 25. Let o(n) = 3*n**2 - 2*n - 1. Let g be o(w). Is g at most m?
True
Suppose 5*v - 4*y = 19, 5*v - 11 = -2*y - 2*y. Suppose 2*n = 4*a + 16, n = -2*a + v*a + 8. Let z = -15 + n. Is -7 greater than z?
False
Let m = 4.5 - 0.7. Let y = m - 4. Which is bigger: y or -10?
y
Suppose -6*w = -2*m - w - 30, 0 = -5*m - w - 102. Let t be m/45 + (-4)/18. Are t and -13 nonequal?
True
Let n = -1.2 - -56.2. Let q = 58 - n. Which is bigger: q or -0.02?
q
Let u = 206 - 204. Is 38 less than or equal to u?
False
Let d be (-4 + -2 - -2)/(-4). Is d less than 1?
False
Suppose -2*i = 2*n - 14, 0*i + 2 = i + 2*n. Suppose 0 = 13*h - 513 - 59. Let f be (-33)/h - (-51)/4. Is i <= f?
True
Let f be (-254)/4*2 + 1. Let b be ((-2)/6)/((-70)/f). Do 0.3 and b have the same value?
False
Let u = 0.12 - -0.68. Let b = 1.1 - u. Let c = 13 + -13. Which is smaller: b or c?
c
Let x be 1/((-1)/10*2). Let h(p) = -p**3 + 17*p**2 + 18*p - 1. Let g be h(18). Is x > g?
False
Let d(l) = -2*l**2 + 13*l + 9. Let o be d(6). Suppose 2*c = 12 + 20. Are c and o non-equal?
True
Let w = 3415/2 + -1571. Does w = 138?
False
Suppose r = -2*r + 4*u + 76, -20 = -r - 4*u. Let c be (1/(-2))/(2/r). Let f(p) = -p**2 - 4*p - 2. Let o be f(-5). Which is bigger: o or c?
c
Let w = -1681 - -1666. Which is bigger: w or -0.28?
-0.28
Let d = -16865 - -9444397/560. Which is smaller: d or -1?
-1
Let d = -215 - -214. Are d and -82 equal?
False
Suppose -268*l = -271*l + 315. Is l >= 104?
True
Suppose -136 = -14*p - 696. Is -40 less than p?
False
Let r(g) = -g**2 - 21*g + 125. Let f be r(-32). Is -225 greater than or equal to f?
True
Let g be (1743492/(-1002))/((-2)/(-1)). Let j = -870 - g. Let v = j + -341/1169. Is -0.2 equal to v?
False
Let v = 1678 - 1721. Let u be (-6 - -9)*(-14 - 0). Which is bigger: u or v?
u
Let o = 9.05 - 9.05. Which is smaller: o or -1.1?
-1.1
Let h = -20 + 20. Which is greater: -94 or h?
h
Let d = 919 + -856. Is d bigger than 1/3?
True
Let g = 734 - 3664/5. Suppose -t = -3*t - 4. Which is bigger: t or g?
g
Let a = -26 - -23.7. Let z = a + 0.3. Is z equal to -2.5?
False
Let k be (14 - 6) + (-249)/31. Let i = 0 + 1. Let b be (0*(2 - 1))/i. Which is smaller: k or b?
k
Let x = 1.2 + -1.55. Let p = x + 2.45. Let l = p + -0.1. Which is smaller: l or 0.2?
0.2
Let a be 0*2/4 + (-984)/86756. Is 1 < a?
False
Let f = 83 - 83. Let m(o) = 2*o - 10. Let h be m(f). Which is smaller: h or -46/5?
h
Suppose 4*c = 5*c + 22. Let o = -15 - c. Suppose -4*x - 4*v + 16 = 0, 0*x = 4*x - 5*v - 43. Do x and o have different values?
False
Let m = -1.55 - -2.98. Let x = m + -0.83. Which is smaller: 5 or x?
x
Suppose 4*z - 2 = 2*b - 0*b, z + 1 = 2*b. Suppose 5*a = 2*k - 4*k + 18, 0 = -5*a - k + 19. Let w = -5 + a. Is w < z?
True
Let c = 203819/2630 + 3/1315. Is c < 77?
False
Suppose 5*a - 5*f = -225 - 545, 4*a + 3*f = -644. Which is greater: a or 1/2?
1/2
Suppose 0*k + 3 = 3*k. Suppose 3*x + 9*u - 46 = 13*u, 0 = 3*x + 2*u - 40. Is x at least k?
True
Suppose 5*i - 4*c - 1799 = 0, -11*i = -10*i + 3*c - 375. Do 362 and i have the same value?
False
Suppose 82 = 4*z - 4*m + 2*m, 5*m - 2 = z. Let j be z/((-7)/(14/40)). Let d = j - -3/4. Which is bigger: 0 or d?
0
Let f = 14.09 + -14.09. Let s = 2 - 1.8. Do f and s have the same value?
False
Suppose 12*t - 8*t = -24. Let y be 2/(((-24)/(-198))/((-4)/t)). Which is smaller: y or 8?
8
Let q = 3576/5 + -722. Suppose 0 = -5*b - 47 + 7. Which is smaller: b or q?
b
Let w = 23 - 43. Let a = -71 - -50. Let n = w - a. Is n < -0.1?
False
Let d(i) = -51*i**3 + 4*i**2 - 2*i - 1. Let c be d(1). Which is smaller: -49 or c?
c
Let a be (3 - -188) + 31 + -23. Is a at least 200?
False
Let r(w) = -11*w**3 + w**2 - 1. Let n be r(1). Let g = 1.5 + 9.5. Let t = 10 - g. Do t and n have the same value?
False
Let w be ((-2)/(-10))/(((-27)/(-5))/(-3)). Suppose -3*r - 6 = -6*r. Let u be 4/r - (-6 + 7). Which is bigger: w or u?
u
Let a = 4.4 + -4. Let x be 32/4*(-162)/8. Let v be (4/(-6))/1*x/378. Is v at most a?
True
Suppose -2*k = 3*p - 1, 0 = p + 5*k + 2 + 2. Let r be p/7 + (-44)/14. Let o(c) = c + 7. Let j be o(r). Which is greater: j or 5?
5
Let l = 638 - 892. Is -255 smaller than l?
True
Let t(h) = h + 2. Let o be t(2). Suppose -14 + 2 = -o*f. Which is smaller: 5 or f?
f
Let t(c) = -c**3 - 9*c**2 - 8*c + 2. Let u be t(-8). Let l be (-3 - -3) + 87/2. Let z = -42 + l. Which is bigger: u or z?
u
Let g be (5/(-21))/((-105)/126). Which is bigger: g or -0.21?
g
Let n be (-37)/5 - 16/(-40). Let f be ((-1)/n)/((-10)/(-35)). Let k be 8/(-14)*(-70)/20. Which is smaller: k or f?
f
Let z be 6/(-14) - (-28677)/(-462). Which is bigger: -62 or z?
-62
Let s = 159641/12 - 13094. Let p = -209 + s. Which is greater: p or -1?
p
Let v = -67.26 - 0.74. Let b = v - -69. Is -42 < b?
True
Let u be 3*(-3)/((-36)/(-4)). Is u >= 5/38?
False
Let v(q) = -q - 3. Suppose 0 = -5*h + h - 4. Let j be v(h). Let c(z) = z**3 + 4*z**2 - 3*z + 7. Let y be c(-5). Is j equal to y?
False
Let h(x) = x**2 - 11*x + 39. Let d be h(20). Is d less than or equal to 219?
True
Let w be (-7 + 1)*(-2)/4. Suppose -2*d - w*d + 10 = 0. Let l(p) = -2*p + 2.