 3 + -2. Suppose 15 = -4*u - x. Suppose 1089*a + 22 = -4*y + 1090*a, 3*y + 17 = a. Is u bigger than y?
True
Let y = -41.9 + -0.1. Let n = y + 28. Do -0.1 and n have the same value?
False
Suppose -35 = g + 2*g - 5*u, -3*g + 1 = 4*u. Let n = 0 - 3. Let z be 1*(n - -2) - 3. Do z and g have different values?
True
Let t(h) = h**2 + 19*h + 38. Let c be t(-17). Let d be (25 - 23)*(-1)/c. Is -2 equal to d?
False
Let a = 47761 - 1337467/28. Let r = -38/7 - a. Let j = 0.00638 - 5.00638. Is j greater than r?
False
Let y = 10 + -6. Suppose -34*m + 37*m = -9. Do m and y have the same value?
False
Let f = -0.2 - -0.3. Suppose 32 = 14*z - 13*z. Is z < f?
False
Suppose 16*r = 31*r + 4005. Is -267 < r?
False
Let q(g) = -g**2 - 10*g + 8. Let k be q(-9). Is 20 bigger than k?
True
Let f be 18/(-5)*(-444)/333*(-10)/(-4). Suppose 4*n + 5 = -3. Let q be (-2 + n/(-4))/6. Do q and f have different values?
True
Let c = 159 + -115. Suppose -x = -2*h - 50 + 5, 3*x - 135 = 3*h. Which is smaller: x or c?
c
Let d(j) be the second derivative of -j**3/3 - 19*j**2/2 + 8*j. Let y be d(-9). Which is greater: y or -2/17?
-2/17
Suppose 0*b + 9*b = -135. Let a = 9 + -19. Is a not equal to b?
True
Suppose -9*j - 1704 = 510. Which is smaller: -245 or j?
j
Let h(d) = -d**3 - 35*d**2 - 36*d - 67. Let q be h(-34). Let k(c) = 3*c**2 - c + 1. Let j be k(2). Let o = 4 - j. Is q less than o?
False
Let w = -738 + 737.9. Is -4/593 at least w?
True
Let r = -89.1 + 89. Suppose 60 = 4*w - 8. Is r less than w?
True
Let x = -1 - 9. Let t be x/(-2) + 2 + -3. Suppose -t*a + 2 = -2*a. Is a less than or equal to 1/5?
False
Let w(r) = -3*r**3 + 2*r**2 - 1. Let p be w(1). Suppose -13*z + 14 = z. Suppose -16*a = -15*a + z. Which is smaller: p or a?
p
Suppose 29 = 4*q + 1. Let p be (-8 - -5)/(2 + 62/(-4)). Which is smaller: p or q?
p
Let m = 1/900 - 1429/2906100. Which is smaller: m or 1?
m
Suppose 19*j - 139 = -25. Let p(x) = 6*x**2 - 2*x + 1. Let c be p(1). Let h = 11 - c. Are j and h nonequal?
False
Let k be (-7482)/12*(-4)/(-2). Is -1246 at least k?
True
Let b = 20/2763 + 44274/307. Let m = b - 144. Let u = 39.1 + -39. Which is smaller: u or m?
u
Let q be (42/105)/((-8)/(-20) + 0). Which is smaller: 4/51 or q?
4/51
Suppose 1044 = -113*q + 101*q. Is -91 at most as big as q?
True
Let j(u) = -u**2 - 16*u - 14. Let p be j(-14). Let o be (-50)/p + 4 + (-292)/(-70). Is o greater than or equal to 4?
True
Let j(p) = 23*p + 44. Let f be j(-2). Which is smaller: -41/32 or f?
f
Let u be -8 + 205/25 + -1. Let g = -4 + 4.3. Which is smaller: u or g?
u
Let b = -219 + 218. Is 2/609 != b?
True
Let c = 0.48 - -0.72. Let u = 0.2 - c. Which is greater: -1/4 or u?
-1/4
Let y = 30.99 + -26.7. Let b = 0.066 - -0.224. Let p = b - y. Is 1 less than or equal to p?
False
Suppose 4*n - 5*n + 321 = -o, 3*n + o = 967. Which is greater: 1 or n?
n
Suppose 5*y - 3*g = -246, -71*g = -4*y - 67*g - 192. Are y and -9 equal?
False
Let u be ((-11123)/(-21) + -9)*(-6)/(-4). Is u < 0?
False
Let g = -133 + 933/7. Let b be (-1 - 0)*-1*47/141. Is g less than or equal to b?
True
Suppose 2*x - 253 - 130 = -i, -4*x + 3*i = -751. Is 189 > x?
False
Suppose 4*x - 59 = -c, 2*x - 72 = -3*x - 3*c. Let j(q) = q**2 - 15*q + 14. Let t be j(x). Let o = 39 - 26. Do o and t have the same value?
False
Suppose -6*r = -8 + 38. Let l be (-2)/(-10)*-2*5. Let x be -5 - (0/l + 2). Which is smaller: r or x?
x
Let q = -57489/214312 + 3/7654. Let v = 690 - 38641/56. Let d = v + q. Which is bigger: d or -10?
d
Let c = 29 - 29. Let w(p) = -5*p**2 + p + 5. Let r(u) = -11*u**2 + 3*u + 10. Let a(f) = -4*r(f) + 9*w(f). Let o be a(-4). Is c smaller than o?
True
Let i = 1503 + -1507. Is -38 at least i?
False
Let i(v) = v + 12. Let t be i(-10). Which is smaller: t or 16/23?
16/23
Suppose 0 = 5*w - y - 8, -5 = 5*w - 4*y - 7. Suppose -4*g - 3*d = -w*d - 26, -4*d = g - 14. Is 6 < g?
False
Let o = 2606 + -2601. Which is bigger: o or 0.028?
o
Let l = 79 - 79. Let w = 47.048 + -47. Do l and w have the same value?
False
Let z(p) = -7*p**2 + 5*p. Let m(d) = -2*d**2. Let v(c) = -3*m(c) + z(c). Let g be v(0). Let w = 44008/45 - 978. Which is greater: g or w?
g
Let n = 3 - -2. Suppose -2*r + 2*c + 1 = -r, -n*c - 8 = -3*r. Suppose -r*v + 18 = -9*v. Does 10 = v?
False
Let v be ((-1865)/(-90810))/((-2)/(-60304)). Let y = 400/3027 - v. Let g = y - -620. Is 1 equal to g?
False
Let r be (-5)/(-1 - 4)*3. Suppose -r*w = -3*s + 6, s + 0 = 2*w + 6. Let b be 21/296 + s/16. Is b <= -1?
False
Let i = 1626 - 1624. Which is greater: 35/17 or i?
35/17
Let y be 2*(-1 + 18/21). Let z = -8/83 + 372/415. Is z != y?
True
Suppose -2*b + 4*y = 66, b + 5*y = -3*b - 132. Is -32 smaller than b?
False
Let j = -126 + -4. Let x = j - -1695/13. Which is smaller: 1 or x?
x
Suppose -5*b = -2*b. Suppose -80 = -4*i - u, 16*i - 15*i + 3*u = 20. Suppose 2*y - i + 22 = b. Is y > -5/4?
True
Suppose -5*g + 4*z = 25, -3*g + 0*g = 5*z - 22. Let r be (3 + 0/(-4))/g. Let j be 234/(-72) + (0 - r). Is j equal to 2?
False
Let j = 1702 - 1832. Is j greater than or equal to -906/7?
False
Let a(h) = -4*h**2 + 42*h - 51. Let m(k) = k**2 - 14*k + 17. Let b(o) = -2*a(o) - 7*m(o). Let r be b(-15). Let j be 4*r/(-16)*0. Which is greater: -1/13 or j?
j
Let b = 0.06 + -52.06. Let k = b + 54. Is k not equal to 1/6?
True
Let y = -735 + 142589/194. Let a be (15 - 12) + 4646/(-1940). Let k = a + y. Which is smaller: k or 1?
k
Let c = 2.4 + -2.2. Is 81 less than c?
False
Let j(c) = -c - 2. Let m be j(-5). Suppose 0*o + 3*o = -m*n + 6, n - 18 = -5*o. Which is greater: 2.5 or n?
2.5
Let b = 5668/2889 - 56/27. Let o = b - 3364/535. Is o at least as big as -6?
False
Let u(g) = -g**2 + 5*g - 4. Let m be u(3). Suppose -2*h + 6*h = -m*y + 48, -5*y = 4*h - 36. Suppose h = -2*f + 2*z, -7*z + 4*z + 13 = f. Is f smaller than -3/4?
True
Suppose 2*v = 2 + 2. Let n be (v + -1)*(1 - 1). Is n > 2/11?
False
Let p be 2*(-2)/8*0/(-40). Which is smaller: -1/3416 or p?
-1/3416
Suppose -4*x + 65 = j, -3*j - j + 2*x = -206. Let o = j - 54. Is 3 at least o?
True
Let n(l) = 6 + 18*l - 1 - 8*l + l**2. Let d be n(-9). Let q = -276 - -271. Are q and d unequal?
True
Suppose 0 = 3*j - 270 - 36. Suppose 3*x - 71 = 4*f, -5*x = -2*f + 7 - j. Is x smaller than 0?
False
Let j(m) = m**2 + 18*m - 1. Let c be j(5). Which is greater: c or 116?
116
Let z be (3/(-6))/((-96)/9). Let t(a) = 4*a + 49. Let l be t(-12). Is l < z?
False
Suppose 15*a = 3*a - 12. Which is smaller: -808 or a?
-808
Let s be ((-1)/(2/4))/(-7). Let k = 1573/680 + -16/85. Which is greater: s or k?
k
Suppose 19*t = 16*t - 252. Let p be t/32*16/(-60). Which is smaller: 1 or p?
p
Let z be (1 - (-262)/14) + 0/(-231). Are z and 2/5 nonequal?
True
Let t be (2*(-2)/(-4))/(-1). Suppose -4*u = 3*q - 16 - 3, -4*q + 4 = 0. Suppose a - u*m - 4 = 0, 0 = -3*a + m - 0 - 10. Is t > a?
True
Let x be -1 + 4/3 - (-2860)/(-3900). Is x >= 65?
False
Let c = -583 + 609.7. Let x = -0.3 - c. Which is smaller: x or -2?
x
Suppose -c - 3 = 5*z, -5*z - 27 + 0 = 4*c. Do -22/3 and c have the same value?
False
Let k = -175 + 39. Let j = -78 - k. Is 59 less than or equal to j?
False
Let c = -0.05 - 0.15. Let u = -10 + 10.8. Let h = u - 0.8. Does h = c?
False
Let w = -40 - -27. Let g(z) be the first derivative of -z**2/2 - 11*z + 19. Let j be g(2). Is j >= w?
True
Let y be (-114)/2*6*(-7)/63. Which is bigger: y or 260/7?
y
Let z be (-4)/(-10) + 2/(-5). Suppose 24 = -z*t + 4*t. Let p be (-1 + 1)/(t - 4). Is 1/25 < p?
False
Let f be 99/11 - 13 - 407. Is -411 > f?
False
Suppose 2*t = -2*w - 6, 5*t + 19 = -4*w + w. Let s be w/3 + (-64)/(-12) + -5. Is -3/20 at least s?
False
Let q = -1/770 - 346/385. Which is smaller: q or -6?
-6
Suppose -l - 4*w = -9, -w - 2 = -4*l - 0*w. Let a be l*-2*(2 - -2). Which is bigger: -9 or a?
a
Let a = -2.04 + 2.2. Let k = -0.22 - -0.26. Let r = a + k. Which is bigger: -2/11 or r?
r
Suppose -105*k + 100*k - 5 = 0. Let y be k/1 - 4*(-3)/18. Is 16 > y?
True
Let k = 79 + -98. Let p be k/10 - 15/(-6). Is p greater than or equal to -1/4?
True
Suppose 4*g - 8 = 2*d, 2*g = 1 + 3. Is 232 at most as big as d?
False
Let i(j) = -j - 3. Let t be i(-6). Suppose 0 = 2*p + z - 51, -p + t*p - 47 = 3*z. Let x be p/3*6/45. Is x < 1?
False
Suppose -9*z + 280 = -23*z. Let v be (1*1*-8)/(4/z). Is v > 40?
False
Suppose 4*v - 80 = -5*p, -2*p +