-1475 + 10343/7. Which is greater: x or q?
x
Let u be 6/(-51) + 29150/(-187). Is u at least as big as -156?
True
Let r = 130 + -127.07. Let d = 0.07 + r. Which is bigger: d or 0?
d
Suppose 9*j - 1568 = -5*j. Is j <= 111?
False
Suppose -j + 3 = -2, 0 = 4*x + 3*j + 17. Which is smaller: -109/16 or x?
x
Suppose -2*w - 13 = q - 1, q - 2*w = 8. Let v be (-15)/2*48/20. Let j be (v/(-24))/(1/10 + -1). Is q at least j?
False
Let b = -29.4 - -31.13. Let c = 14 - 15.8. Let f = b + c. Does f = -1?
False
Let f(j) = 10*j + 81. Let s be f(-8). Let z = -27 - -186/7. Which is bigger: z or s?
s
Let m be (-1)/18 - (-6)/27. Let n = 5 - 6. Let l = 0 - n. Is m <= l?
True
Let r(u) = -u**3 - 6*u**2 + u + 7. Let f be r(-6). Suppose -12*l - 16 = -4*l. Let c be (l/6)/(6/8). Does f = c?
False
Let z = -35 + 61. Let t = z - 24.8. Let v = t + -1.3. Which is greater: -0.4 or v?
v
Let h be 2 + (0 + -1)*0. Suppose h*g = -4*j + 3*j + 35, -3*g = -2*j - 42. Suppose 0 = -2*v - 0*v + 2*s + g, 2*s = -2*v. Is v smaller than 5?
True
Let i(k) = k**3 + 4*k**2 - 7*k - 6. Let y be i(-6). Let b be (-5 + 1)*y/(-16). Suppose -14 = m - 4. Is b smaller than m?
False
Suppose 7*l - 11 = 10. Suppose -y + 4*t = -22, -l*y + 36 = y - 3*t. Which is greater: y or -3?
y
Let d(f) be the third derivative of -f**4/24 + f**3/2 + 33*f**2. Let o be d(3). Which is greater: o or -2/19?
o
Suppose -2*z = x + 1315 + 460, 7094 = -4*x - 5*z. Are -1771 and x equal?
True
Let b = -1668 + 13343/8. Is b not equal to -0.1?
True
Let l be (-22)/1*-1*212/1166. Is 2/5 smaller than l?
True
Let v = -187085/12684 - 1/3171. Which is greater: v or -14?
-14
Suppose 4318 = -19*l + 10797. Which is smaller: l or 342?
l
Suppose 25*k - 5 = 26*k. Let t be (-19)/(k/(-20)*4). Is -21 < t?
True
Let s be (-1)/(5/(2060/(-4))). Which is smaller: s or 101?
101
Let p = 1047 + -1047.2. Let z = 2/23 + 32/161. Which is greater: z or p?
z
Let l = -970175670/517 + 1876537. Let g = 129/11 + l. Which is smaller: -1 or g?
-1
Suppose t - 5 = -5*b, -16 = -2*t - 2*b + 2. Let u be 0/(0 - 24/6). Which is smaller: u or t?
u
Let s be 1/(-4 + 5)*0. Let q be -8 + ((-12)/(-3) - s). Let l be q/14 + 37/7. Which is smaller: l or 4?
4
Let t be 3/(3/8) + -16 + 16. Suppose 473 + 407 = -t*i. Which is greater: i or -109?
-109
Let m be -4 + (4 - 0/(-2)). Let g be 1/((-164)/6)*(-44)/66. Which is bigger: m or g?
g
Let k = 5 + -3. Let v be 0*(-1 + 0)/k. Let x(t) = -5*t - 10. Let r be x(-2). Are v and r unequal?
False
Suppose l + 102 = 4*l. Suppose 0 = -2*w + l. Suppose 5*r = -q + 91, -r + 40 = r + 4*q. Is r at most as big as w?
False
Let m(f) = -5*f + 5. Let g be m(3). Let x be 2/5 + (-326)/g. Which is smaller: 32 or x?
32
Let l be (-2)/(-2)*1 + -1. Suppose l = t + t - 6. Suppose t*u = u. Which is smaller: -1 or u?
-1
Let x = 5290/3 + -21565/12. Is x != -34?
True
Let t = 0.2947 - -0.1053. Which is smaller: 1 or t?
t
Suppose 4*j = -0*j - 4. Let z be (-1)/1 + (-3 - (-196)/46). Which is greater: j or z?
z
Let i be 1/((2 - 1)/2). Let v = -32 + 20. Let u be (45/(-24))/(9/v). Which is smaller: i or u?
i
Let v(l) = -l**3 - 3*l**2 + l + 2. Let o be v(-3). Let f = 16 + -16.06. Let w = f + -0.01. Are w and o unequal?
True
Let p = 51 - 88. Let z = -35.8 - p. Let n = z + -1.4. Is n less than -4?
False
Let t be ((-494)/(-624))/((-36)/(-6)). Which is bigger: t or -1?
t
Let f(o) = 2*o**2 - 41*o + 23. Let i be f(21). Do i and 43 have different values?
True
Let i = -3599/24 + 1029/8. Let a(c) = -2*c**3 + 25*c**2 - 17*c + 40. Let q be a(12). Is q <= i?
False
Let t = 7.3 + 3.7. Let m = -5 + t. Which is smaller: m or 0?
0
Let v(l) = l**3 + 4*l**2 - 5*l + 1. Suppose 0 = 4*p + 4*t - 2*t + 62, p + 4*t + 33 = 0. Let w = -18 - p. Let r be v(w). Which is smaller: r or 3?
r
Let t = 898 - 1306. Is t < -408?
False
Suppose m + 5 = -0*m. Let n = -0.41 + 0.39. Is n > m?
True
Let m be 4/(-10) + (-24)/(-10). Let w = 0.0286 - 9.0286. Which is smaller: m or w?
w
Let u = 4.045 + -0.045. Is u less than -0.01?
False
Let h(p) = p - 2. Let v be h(3). Let g be (6/42)/(v/(-3)). Let m be (1/4 - (-1)/(-4)) + -1. Which is smaller: m or g?
m
Let h = -547/6 + 91. Let l be ((-6)/21 - 57/21) + 3. Let a be (-3 - l)/3*0. Which is greater: h or a?
a
Let k be (-27)/(-2)*(-3 - (-363)/117). Is k at least 1?
True
Let j be 2/7*(-15)/(-15). Which is greater: j or 204/5?
204/5
Let u = 4878 + -4877. Let q = 173/2 + -289/4. Let g = q - 14. Is u less than or equal to g?
False
Let y be ((-3)/(-24))/(25/(-20)). Let p(t) = -5*t + 10. Let n(u) = -u + 1. Let b(v) = 6*n(v) - p(v). Let r be b(-4). Is r at most y?
False
Suppose 0 = 16*r + 14*r + 120. Is -50/19 > r?
True
Let u = 1549.02 + -1549. Is u >= -20?
True
Let b be (-5)/(-20) - (-110)/(-500). Is b smaller than -1?
False
Let v = 8 - 7. Let s be -1*(4 + -2 + -3). Is s <= v?
True
Let h(y) = y**2 + 15*y - 5. Let w be h(-15). Let n be ((-10)/50)/((-18)/w)*2. Is n at least as big as 0?
False
Let h = 39 - 52. Let o(v) = 3*v + 26. Let c be o(h). Is 3 less than c?
False
Let p be (1 - 0)*(84/40)/(-21). Is p less than or equal to -2?
False
Suppose n + j = 309, -5*n + j + 1542 = 5*j. Is n less than 306?
False
Let a = -1815.9 - 132.1. Which is bigger: a or 1?
1
Let n = -548 - -687. Is 3 smaller than n?
True
Let p = 20.9 + -21. Let u = -562 + 1137/2. Which is bigger: u or p?
u
Let d = 14.9 + -15. Let h = -1.69 - -0.19. Let n = 1.5 + h. Are d and n equal?
False
Suppose 5*j - 6070 = 5*t, -6 = -2*t - 4. Is j less than 1214?
False
Let p be -1 + 3 + (0 - -1). Let y be (-183)/99 - 1/(0 + p). Which is smaller: y or -3?
-3
Let h be (-2)/7 + (-116)/(-14). Let a(i) be the third derivative of -i**6/120 + 2*i**5/15 + i**4/24 - i**3 + 2*i**2 + 7. Let o be a(h). Is 1 >= o?
False
Let h(d) = -2*d**3 + 3*d**2 + 4*d + 1. Let i be h(-3). Let u be 1/2 - 28/i. Is 0 < u?
True
Let m = -7/1510 - -139229/1510. Which is smaller: 93 or m?
m
Let f = 10973 + -10981. Let n = 0 + 10. Let m = n + -17. Which is greater: m or f?
m
Suppose 0 = 137*q - 132*q + 365. Which is bigger: -67 or q?
-67
Let a = 4/33207 + -18618062/33207. Which is greater: -560 or a?
-560
Let s = 0.18 - 2.98. Let i = s + 2.7. Is 6 bigger than i?
True
Let i = -828 - -825. Is -392 smaller than i?
True
Let i = -204 - -205. Is 56 at most i?
False
Let i = -42.1 - -37. Let g = 29.1 - 26. Let s = g + i. Which is smaller: -2/17 or s?
s
Let u(m) = -m**3 + 5*m**2 + 12. Let o be u(6). Let d = o - -24. Is d greater than -2/17?
True
Let x = 0.055 + 108.945. Let w = 109 - x. Are w and 16 unequal?
True
Suppose -816 = 2*x + 5*j, -17*j + 12*j - 1219 = 3*x. Is x less than -403?
False
Suppose 29*i + z = 27*i - 8, -2*z - 19 = 5*i. Which is smaller: -30/13 or i?
i
Let u = -18/65 - -101/130. Which is greater: -31 or u?
u
Let k be ((-91)/105 + 1/5)*-18. Let f(n) = -12*n - 4*n**2 + 2*n**2 - 2 + 3*n**2. Let d be f(k). Is -6 less than d?
True
Suppose 0 + 3 = -h. Let s = -25.1 - -25. Let m = s + -0.1. Which is smaller: m or h?
h
Let j be (-2 - (-57)/27) + (-3349)/(-153). Which is smaller: j or 21?
21
Suppose 11*c + 0 - 242 = 0. Let s be c/26 + (-44)/(-286). Which is smaller: -2/125 or s?
-2/125
Let g be 28899/5016 - (-3)/12*2/(-4). Let f(u) = -6*u. Let b be f(-1). Is b greater than g?
True
Let s(f) = -f. Let m be s(1). Suppose 0 = 5*d - d - 20. Suppose -d*c = -4*j - j - 45, 3*j + 3*c - 3 = 0. Is j equal to m?
False
Let d = 4409/39 + 26281/13. Let x = -2089 + d. Let k = x + -45. Which is smaller: k or 0?
0
Let v = 93/739 + -69887/279342. Let z = 323/5778 + -4/107. Let p = z - v. Are -1 and p nonequal?
True
Let n be -1*(-1)/(2/2). Let q be -2 + -3 + 319/36 + 3. Let u = -27/4 + q. Which is smaller: u or n?
u
Let o be ((-12)/(-8) - 2)*-10. Suppose 5*y + 4*z = o*z - 21, -y - z = 9. Let q be (-2)/(-1)*y/(-10). Is -1/4 >= q?
False
Let z be 719 + (-8)/(-1) + -7. Do z and 719 have different values?
True
Let o = -8 + 12. Let s be 2*-23*o/(-14). Let t = s + -13. Do t and 0.2 have the same value?
False
Let s = 1.6 - 2.3. Let y = -95 - -94.78. Let x = y + 0.32. Which is smaller: x or s?
s
Let b = 0.14 + -0.08. Let x = -9.94 + 9. Let n = x - b. Which is bigger: 1 or n?
1
Suppose 4*k = 13*k + 3*k. Let y = 3.9 + 14.1. Let h = y + -32. Is k smaller than h?
False
Let i = -8 + 8.25. Let b = -0.55 - i. Let v = b - 1.2. Which is smaller: -3 or v?
-3
Let p(l) = l**3 + 15*l**2 + 12*l - 36. Let b be p(-14).