Let o = -0.05 + q. Are -1/3 and o equal?
False
Let m be (9/6)/(0 + 9/12). Suppose m*y - 47 = -5*l, -2*y - 8*l + 4*l = -42. Let c = 25 - 16. Is c bigger than y?
False
Let g = 0 + 0.1. Let d = 159 + -170. Is d < g?
True
Let q be (-7)/(-4) + 2 + (-5 - 0). Suppose 0 = -0*y - 4*y. Suppose 6*g - 2*g + 4 = y. Is g > q?
True
Let d(j) = j - 2. Let r be d(-3). Let p = 33 + -25. Suppose -p*t = -2*t. Which is smaller: t or r?
r
Suppose -20*j + 22 = 2*j. Which is smaller: j or -6.1?
-6.1
Let y(n) = -4*n. Let d be y(1). Let p = 521 - 3651/7. Which is bigger: d or p?
p
Let q = -23 - -22. Let m = -133 - -2107/16. Is q <= m?
False
Let f = 130 + -120. Suppose -f*c + 14*c = 88. Which is greater: c or 24?
24
Let v be 10*(-165)/(-110)*1/15. Suppose -q = q - 3*x - 479, 0 = 2*q - x - 485. Let t = q + -1711/7. Are v and t unequal?
True
Suppose 5*v = 1 - 6. Let j = v + 14. Let c = -10 + j. Which is bigger: 4 or c?
4
Let i be (7 - (-1551)/(-55)) + 1/5. Are i and -36 non-equal?
True
Let a = -35/172 + -2/43. Suppose -4*g + 8*g = -36. Let v = 9 + g. Which is smaller: v or a?
a
Let i = 40864 + -285385/7. Let y = i - 95. Suppose 8 = -2*s + 4*l, -4*s - 3*l + 1 + 5 = 0. Is s smaller than y?
False
Suppose 7*h + 84 - 7 = 0. Which is greater: -39/4 or h?
-39/4
Let v = -0.44 + 0.8. Let o = v + 0.64. Let q = 191/2 + -99. Which is smaller: q or o?
q
Let h = -588 + 589. Is h < 14?
True
Let r be ((-24)/(-384))/(1 - -1). Let g = 5 + -3. Suppose 7*k - 5 = g*k. Does k = r?
False
Let o be 6/14*(0 + 160/(-30)). Is o greater than -0.9?
False
Let t = -8636831/21044 + 17/15783. Let o = t + 410. Is o at least -1?
True
Let z(x) = 2*x**2 + 18*x - 20. Let w(n) = 3*n**2 + 17*n - 20. Let t(h) = 3*w(h) - 4*z(h). Let a = 50 + -30. Let d be t(a). Are d and 2/11 non-equal?
True
Let g = -18.05 - -0.05. Let x(m) = m**2 + m - 4. Let q be x(-5). Suppose 19*i - 3 = q*i. Which is bigger: i or g?
i
Let p(i) = -5*i - 4. Let q be p(-2). Let r be 4*(0 + (-6)/(-8)). Let f be q/r*2/(-32). Is -1 less than f?
True
Let u be (16/184)/(16/(-28)). Is u at least as big as 1?
False
Let l = 1 + 11. Let y = -115 - -181. Let o be 8/y*l/(-8). Which is bigger: o or -1?
o
Suppose -3*v = -45 - 279. Let b = 108 - v. Is b smaller than 1/187?
True
Let t = 23.1 + -20.1. Let y = 0 + 0.1. Which is smaller: y or t?
y
Let v(u) = -u + 5. Suppose -3*i = -5*h - 20 + 7, -5*i = 3*h + 35. Let j be v(i). Suppose -2*x + 3*x = -c - j, -5*x - 9 = -c. Which is bigger: c or 1/3?
1/3
Suppose 6*b = 2*b + 36. Let h(v) = v**2 - 12*v + 23. Let i be h(10). Suppose 3*k = -d + 3, -2*k + i = -d - b. Are -6 and d unequal?
False
Let c = 67/423 + 3/47. Which is smaller: c or -32?
-32
Let z = -4613/34485 + 1/2299. Do -0.05 and z have different values?
True
Let d be (-15)/30 + 10/(-36)*-1. Let v = -0.4 - -3.4. Let l = 2.8 - v. Is d bigger than l?
False
Let g be (-2)/3 - (-48)/18. Suppose g*x + x = -15. Let z = -6 + 6.1. Which is greater: z or x?
z
Let y(b) = -b**2 + 1 - 3*b - 3*b - b. Let i be y(-6). Suppose 4*o = r - i - 11, -3*o = -5*r + 5. Are r and 0 unequal?
True
Let o be (-1 + 44/8)*-38. Let z = 1195/7 + o. Which is bigger: 1 or z?
1
Suppose 3*i - 5 = -5. Suppose n - 4 = 2. Let f be -3 + 25/n - 1. Are i and f equal?
False
Let c(i) = 5*i + 1. Let a be c(0). Let t be 42/8 - 5/20. Suppose -21 + a = t*m. Is m at least -4?
True
Let h be -3 - (-3)/2*(-358)/(-3). Suppose -4*n + 0*z - 140 = 2*z, -h = 5*n + 2*z. Are -36 and n equal?
True
Let m(d) = -d**3 + 8*d**2 - 10*d + 5. Let p be m(6). Are -5 and p equal?
False
Let h = -15.1 - -0.1. Let g = 15.4 + h. Is g bigger than 5?
False
Let n = 606 + -612.01. Let f = n + 6. Let l = 27.2 + -27. Is l < f?
False
Suppose -c - 44 = 2*b - 397, -2*b + 5*c + 383 = 0. Which is smaller: 2/7 or b?
2/7
Let a = 1631 - 141893/87. Is 0 <= a?
True
Suppose 0 = g - a - 5, 1 = -g - 0*g - 2*a. Suppose -3*j = -4*q + 29 + 10, g*q = -3*j - 18. Are -9 and j equal?
True
Suppose -5*x + 10 = 0, 4*d + 6*x - 90 = x. Let h(k) = -2*k + 41. Let a be h(10). Is d at least a?
False
Let g(m) = m**2 + 11*m + 2. Let z be g(-12). Let s be 14/60 - 7/z. Let n = 3 - 3. Is s <= n?
True
Suppose 7*o + 10 = 2*o. Let u be o/(-4)*((-13)/3 - -3). Which is bigger: 26 or u?
26
Let q = 72.03 + -72. Does -0.035 = q?
False
Let b = -1876 - -1876.03. Which is bigger: b or 0.033?
0.033
Let k = 14.733 - 0.963. Let a = 0.23 + k. Which is smaller: a or 2/7?
2/7
Let u = -31 - -30.7. Let d = 0.37 - 0.68. Let c = -1.69 + d. Is c greater than or equal to u?
False
Let b = -0.7 - 0.8. Let t = b - -0.5. Suppose -5*v + 28 = u, 4*v - 11 + 0 = 3*u. Is u bigger than t?
True
Let b = 139.7 + -137. Let m = 4.7 - b. Is m > 5?
False
Let v = 1 + 8. Let c = v - 6. Which is smaller: c or 25/8?
c
Let c(n) = -7 + 348*n - 335*n - n**3 + 0*n**2 - 8*n**2. Let z be c(-10). Is z at most 63?
True
Suppose 67550 - 17111 = -69*j. Which is bigger: j or -730?
-730
Suppose 48 = 3*x - 4*d, 77 = 4*x - 0*x - d. Let q be (-22)/(-5*(-2)/x). Is q < -44?
False
Let a = -60245/8924 - -2/2231. Let g = 11 - 18. Is a > g?
True
Let k(z) = z**3 - 10*z**2 + 2*z + 15. Let c be k(8). Let d = 98 + c. Is d at least as big as 2/93?
True
Let f be (-464)/18 + (2 - 5)*1. Suppose 0 = -b - 21 - 8. Let v = b - f. Which is smaller: -0.2 or v?
v
Suppose -795*c = -811*c + 320. Which is smaller: c or 12?
12
Let o be (((-83)/(-2))/((-8)/(-16)))/1. Let f(c) = 5*c**2 + 8*c - 2. Let i be f(-5). Are i and o nonequal?
False
Suppose 0 = -y - 3*g - 445, 2*y - 22*g = -23*g - 885. Which is bigger: -441 or y?
-441
Let z = -1050 - -879. Which is smaller: z or 1?
z
Let s be (19 + -12)/(2/4). Let a be s/168*18/(-4). Which is bigger: a or -4?
a
Let o = 1056004/161 - 6559. Let a = o - -2/161. Let s(i) = -i**2 - 6*i - 1. Let n be s(-6). Does n = a?
False
Suppose 2*f - 4 = -2*u, -13*u + 16*u = 6. Which is bigger: f or 12/11?
12/11
Let w be ((-16)/(-3))/(1/(-324)*-9). Are 192 and w non-equal?
False
Suppose 0 = 2*h + 2, -5*h = -n + 2*n. Suppose -n*c + 8 = z, 2*c - 7*z + 2*z - 14 = 0. Suppose -4*q + 0*d - 4 = 2*d, 5*q + d = 1. Does q = c?
False
Let o be -25 + 28 - 0/(-1). Which is smaller: o or 51?
o
Let r = 422 - 1679/4. Which is smaller: 2 or r?
2
Suppose -9*k = -11*k - a - 4, -3*k + 2*a + 8 = 0. Suppose -3*t = 2*z - 0*z + 1439, 0 = -2*z + t - 1459. Let b = z - -12365/17. Is k greater than or equal to b?
False
Let x = 2/75 + -233/300. Suppose 0 = 55*p - 8*p. Is p at most as big as x?
False
Let y = 564 + -562. Let l = 105/4 + -26. Is y bigger than l?
True
Let h(i) = -i**2 - 38*i + 40. Let p be h(-39). Which is smaller: 10/217 or p?
10/217
Let s be (-2 + 3)/((-11)/2). Which is bigger: s or -1?
s
Let a = -89/196 - -10/49. Let z = -2 + 3. Which is smaller: a or z?
a
Let p = -61259/12455 - -260/53. Do 0 and p have different values?
True
Let t = -85 - -83.36. Let x = t + 1.7. Let h = -0.06 + x. Do -14 and h have the same value?
False
Let z = -1251 + 1220. Suppose 2*x + 2*k + 3 = -11, 4*x = -2*k - 30. Let y be x/6 + 2/2. Which is bigger: z or y?
y
Suppose -3*w = -4*j - 152, 2*j - 171 = 7*j + w. Is j less than or equal to -101/3?
True
Suppose -4 = -5*u + 1, 0 = 3*z + 5*u - 26. Suppose 6*a + 2 = z*a. Which is bigger: a or -3/5?
a
Let d be (-461)/(-5) + 2/(-10). Suppose -d = 5*v - 12. Is v != -16?
False
Suppose -4 = m + 2*y, -4*m - 2*y - y = 1. Suppose z = m + 10. Let f = z + -8. Are 2 and f equal?
False
Let h be (24/(-16))/(2/(-68)). Let v = h + -26. Is 25 less than or equal to v?
True
Let w = -0.338 + -0.012. Let l be (4/5)/((-42)/(-15)). Is w less than l?
True
Let y(k) = 2*k - 6. Let f be y(6). Let n be (f - (-54)/(-8)) + (-45)/4. Which is bigger: n or -13?
n
Let f = 1.523 + 1.377. Which is smaller: f or -0.2?
-0.2
Let p = -331 + 405. Let z be (-207)/(-6)*64/(-30). Let x = z + p. Are x and 0 equal?
False
Let l be (-1)/5 - (-3)/15. Let o = -14 + 18. Suppose -3*n = 3*b - 6, b - n + 16 = o*n. Are l and b non-equal?
True
Suppose -4*z = -8*z + 540. Let a = z - 144. Which is bigger: 5 or a?
5
Let j be 351/(-15)*(-80)/24. Let g be -1 + 3 + ((-152)/j - 0). Suppose 5 = d + 4. Is g bigger than d?
False
Let g be 10/(-6) - (-25)/(-75). Let b be -7 + -6 + 1/(g/(-6)). Which is smaller: b or -9?
b
Let f = 170 - 337/2. Which is greater: -0.0023 or f?
f
Let o be (-3)/(-2) + 1/2 + 0. Let c be 0*(-4)/(-12)*6/o. Is 2/173 less than or equal to c?
False
Let d be 28/18*6*(-93)/2. Whic