*j + 2*j + a. Suppose j = 4*w - 3*w. Do 2 and w have the same value?
True
Let y = -986 - -990. Is -72 at most y?
True
Let k(c) = c**3 - 13*c**2 + 14*c - 19. Let q be k(12). Suppose 2*z = 3*n - z + 33, q*n + 3*z = -23. Which is smaller: n or 3?
n
Suppose -415 = -17*l + 146. Is l bigger than 168/5?
False
Let w(k) = -18*k + 2. Let c be w(2). Let s = 55 + c. Let n = s + -15. Is n at least 5?
True
Suppose -4*q - 3*d = -3, -4*q - 4*d = -3*d - 9. Suppose 6*o = q*o + 2*n, -5*n = o - 17. Suppose -3*u + 15 = o*u. Is u greater than 3/2?
True
Let r = 147.48 + -143. Let z = r - 0.28. Is 1/3 at most as big as z?
True
Let h = 55 - 34. Let m = h - 19. Are 3/2 and m equal?
False
Let g = -8010 - -857076/107. Which is smaller: 0 or g?
0
Let g be (2 + (-188)/8)/(6/(-12)). Is g < 265/6?
True
Let v be (-685)/4470 + 4/24. Is v smaller than 0?
False
Suppose 10 = 2*u + 3*u. Let d(a) = a**3 - 5*a + 1. Let n be d(u). Let k = 4.92 + -5. Which is greater: n or k?
k
Let j be 4/(-14) - (-432)/(-56). Let g(f) = -f**2 + 6*f + 1. Let h be g(7). Which is smaller: j or h?
j
Suppose 4*v + 60 = -12. Let a be (-4)/v - 291/(-27). Which is smaller: 9 or a?
9
Let a = -2069/3 - -690. Is a less than -525?
False
Let f = 67/24 + -21/8. Suppose 7*c + 12 = 4*c, -4*c + 38 = -3*x. Let n = x - -19. Which is smaller: f or n?
f
Let n = -3 + 2.8. Let a = 19 + -19.62. Let j = a - -0.72. Which is smaller: n or j?
n
Let s = -1144/7 + 106385/651. Let h(j) = 2*j + 3. Let k be h(-2). Which is smaller: s or k?
k
Let g be 12/4 - (-10)/(-224)*67. Which is bigger: g or -1?
g
Suppose -2*a + 84 = 2*g, g + 3 = -0. Let t be (0 - -1)/((-15)/a). Which is smaller: 0.5 or t?
t
Let f = -617.9 - -618. Is f less than or equal to 679?
True
Let f be (11 - -5)/((-2)/(-2)). Let o = -13 + f. Suppose -4*n = -17 - o. Is n >= 1/3?
True
Let m be (-4)/38 - (-10322)/(-494). Which is smaller: m or -20?
m
Let p(y) = 4*y**2 - 9*y - 3*y**2 + 29 - 15. Let s be p(7). Is -22 greater than or equal to s?
False
Suppose 5*u + 13 = a, -4*a + 5 = -4*u + 1. Let m be 2/u - (-368)/(-24). Do m and -19 have different values?
True
Let l be (176/(-43))/(-2) + -2. Let d = 243 + -243. Is d >= l?
False
Let g = -981 - -948. Do 11 and g have the same value?
False
Let u = 5689/136 + -281/8. Does 8 = u?
False
Let f be (4 - 6)/((-6)/15). Suppose -5*o + 3*c + c + 92 = 0, -f*o + c = -98. Suppose 5*h + 5*s = -o, -3*h + s - 6 = -14. Which is smaller: h or 0.2?
0.2
Let h = 797/4 + -156. Which is smaller: h or 1/4?
1/4
Let h = -1 + 1.3. Let v = -0.2 - h. Is -1/4 smaller than v?
False
Let y be -1*(-1 - 35/(-33)). Which is smaller: y or -24?
-24
Let h = -1.4 + -166.6. Which is greater: h or 0.1?
0.1
Let o be (-1)/71*8/(-20). Let n = -688/3905 - o. Are n and 0.2 non-equal?
True
Let u = 442 + -441. Do 3/178 and u have the same value?
False
Suppose -5*l + 1295 + 387 = 2*z, -4*l + 2*z + 1342 = 0. Which is bigger: l or 339?
339
Let a be 3/(-10)*(-2 + (-1412)/(-696)). Which is bigger: -1 or a?
a
Suppose i + 0*i - 3 = 0. Suppose -w - 1 = z + i, 3*w = 3*z - 18. Let o = -16 - -10. Which is bigger: o or w?
w
Suppose -16 = -4*f, i = 2*f - 4 - 1. Suppose 0 = 2*r - 3*g - 19, 5*r - 6 = -i*g + 10. Suppose -4*o - r = o. Is o <= -3/7?
True
Let k = 67/2 + -33. Let n(j) = 4*j**2 + 8*j + 9. Let z(v) = 5*v**2 + 8*v + 9. Let r(i) = -6*n(i) + 5*z(i). Let p be r(9). Which is bigger: p or k?
k
Let q = 20392/7 + -2892. Which is bigger: 22 or q?
22
Let z(l) = 6*l**2 - 3*l + 2. Let v be z(1). Suppose -r + 10 = 2*q + 4*r, r - 2 = -v*q. Which is smaller: 2/19 or q?
q
Suppose y + 434 = 714. Which is smaller: 278 or y?
278
Let b(n) = -n**3 - 7*n**2. Let u(a) = -a - 2. Let v be u(-4). Suppose v*f = 4*f + 14. Let j be b(f). Which is smaller: 1/20 or j?
j
Let m = -371 - -370. Which is smaller: 2/679 or m?
m
Let i(n) = -5*n**3 - 10*n**2 + 9*n - 13. Let o be i(-4). Is 1 < o?
True
Let z(v) = 2*v**2 + 4*v - 6. Let i be z(3). Let u be (126/i)/(-1) + 3. Let s(b) = -b**2 + 8*b - 10. Let a be s(7). Do u and a have different values?
True
Let u be 16/24 - 17504/(-312). Which is greater: u or 57?
57
Suppose 8 = 2*s - 2. Let t = -3 + 21. Suppose -3*c - 3*c + t = 0. Is s < c?
False
Let o be 3/(-9) + (-39)/(-9). Let y(k) = k**3 - 3*k**2 - 4*k + 4. Let q be y(o). Let m be (-8)/(-1) - (4 + -2). Which is smaller: m or q?
q
Let l be (-108)/(-24) - (0 + 2/4). Let w be ((1 + 0)/(-66))/(l/(-16)). Is w > 1?
False
Suppose -5*q - 4*h = -196, 3*q - 3*h = 7*q - 156. Let i be (q/(-54))/((-8)/9). Are i and 2 non-equal?
True
Suppose 6 = 22*l - 192. Let u(g) = -5 - g + 6 + 6. Let o be u(l). Is -2/3 greater than o?
True
Let i = -99.7 - -93. Let y = -5.7 - i. Let c = 0.09 + -0.1. Which is bigger: y or c?
y
Suppose -35*p = -34*p. Let g = -6109/5610 + -1/510. Is p at most as big as g?
False
Suppose -6*n - 8 = -8*n. Let v(i) = -i**2 - 4*i - 11. Let g(f) = -f**2 - 3*f - 10. Let y(c) = 2*g(c) - 3*v(c). Let r be y(-4). Which is smaller: n or r?
n
Let v = 9853/7 + -1405. Suppose 4*f = 3 + 5. Which is smaller: v or f?
f
Suppose 12*s = 15*s - 15. Suppose -r + 6 = s. Which is greater: 2 or r?
2
Let s(f) = -10*f - 58. Let k be s(-6). Let t be 6/(-9) + (-62)/(-39). Which is smaller: k or t?
t
Suppose -49 - 77 = -3*b. Let w be (4/b)/((-19)/228). Which is bigger: -1/4 or w?
-1/4
Suppose -115*m = -116*m + 2*h + 1, -2 = h. Let c = -34766/3 + 11490. Let o = c - -97. Which is greater: m or o?
o
Let p = -307 + 305.826. Is -0.1 at least p?
True
Suppose -2*k - 4 = -0. Let h be ((16 - 11) + -6)*0/(-1). Is k <= h?
True
Let q(g) = -308 - 6*g**2 + 0*g**3 + 2*g + 304 - 2*g**3. Let a be q(-4). Is 19 at most a?
True
Let u(o) = o**2 - 3*o - 6. Let t be u(5). Suppose t*k - 1 = 15. Let q be (5/20)/(11/k). Are 1 and q nonequal?
True
Let l = 343 + -2335/7. Which is bigger: -0.1 or l?
l
Suppose -30 = 2*u - 2*i, -i = 2*u - 0*u + 15. Let y be (u - -6)/12*8/18. Which is greater: y or 1?
1
Let k be ((-594)/570 + 1)*70. Which is bigger: k or -2?
-2
Let n = -10.8 - -8.8. Let q be (-8)/8*2/6. Is q less than or equal to n?
False
Let w be 50*((-48)/(-15) - 2). Let a be 0*((-45)/w)/((-3)/2). Which is bigger: a or -4?
a
Suppose -3 + 2 = h. Let x(g) = -5*g**2 - 4*g + 13. Let n be x(-6). Let t be -3 + 4/(-2) + (-726)/n. Is h bigger than t?
False
Let y = -12 - -9. Let z be (y + 21/6)/(-1 + 0). Do z and 24 have the same value?
False
Suppose 2*s - 4 = -5*m + s, 5*m + 2*s - 8 = 0. Which is smaller: m or 0.1?
m
Let g = 31 - 31.1. Is g at most as big as -1/69?
True
Let i = -71.4 - -71.3. Do i and 21.4 have the same value?
False
Let v be 24*(-1 + (-8)/(-16)). Which is bigger: -10 or v?
-10
Let x be (-3)/(-12) + (-381)/(-12). Let g(c) be the first derivative of -7*c**2 - 51*c + 3. Let y be g(-6). Which is smaller: x or y?
x
Let u = 1399 - 8413/6. Is -4 bigger than u?
False
Let d = -0.95 - -1.06. Let s = -0.31 + d. Is s less than or equal to -22?
False
Let g = -9 - -7. Let h = -5 + 9. Suppose 0 = 5*r - h*o + 11, 0 = -3*o - 0 + 12. Which is greater: g or r?
r
Let j = -38 - -38.225. Let c = j + 0.095. Which is smaller: 1/3 or c?
c
Let y(d) = -38*d**3 + d - 1. Let q be y(2). Let n = q + 627/2. Is n > -1/3?
True
Let c be ((-473)/(-55) - 9)/((-2)/(-5)). Which is smaller: -2/43 or c?
c
Let k = 120 + 176. Which is bigger: k or 297?
297
Suppose -3*s = -2 - 10. Suppose s*m + 9*m - 5*m = 0. Suppose 0 = -3*l + 3 - 0. Is l equal to m?
False
Let x = -68 - -21. Let v = x - -59. Is 12 < v?
False
Let l = -0.49 - -0.17. Let q = l - -0.32. Let y = q - -5. Which is greater: 1/2 or y?
y
Let h = 23 + 8. Let v = h + -31. Is -5 equal to v?
False
Suppose 4 - 19 = -5*p. Suppose p*y = -4 - 8. Let s be (-1)/y + 3/4. Is 9/5 bigger than s?
True
Let u be 4/12 + 500/(-42). Let m = -12 - u. Let n be 0/(6 - 2 - 2). Which is smaller: m or n?
m
Suppose -4*x + 60 = n, -5*n - 16 = 4*x - 236. Do n and 40 have different values?
False
Let g = 680 + -686. Which is smaller: g or -98?
-98
Let n(r) = -r + 1. Let w = -8 + 10. Let x be ((0 - -1) + -1)/w. Let i be n(x). Which is smaller: 10 or i?
i
Let t = 0.33 + 15.67. Does t = -0.06?
False
Let s(c) = c**2 + 1. Let i(j) = 11*j**2 + 4*j. Let g(p) = i(p) + 5*s(p). Let k be g(-1). Is 17 greater than or equal to k?
True
Let p = -43.1 + 46. Let x = -81.7 - -79. Let o = x + p. Is -0.3 >= o?
False
Let z = 28 - 25. Let t be (1 - 0)*z - 1. Is 2 <= t?
True
Let a(x) = x**3 + 4*x**2 - 