be -11 + 14*(-42)/(-49). Is v less than or equal to r?
False
Let p = 536835/206 - 2606. Which is smaller: p or 0?
p
Let s(q) = -30*q**2 + 2*q - 9. Let h be s(2). Let d = -114 - h. Is d <= 11?
True
Let w = -5968 + 5963. Let q be 5/(-1) - 1*2. Which is bigger: q or w?
w
Let m = 124/5 - 174/7. Let w(i) = -i**3 + 13*i**2 - i + 13. Let j be w(13). Let n(c) = c. Let d be n(j). Which is smaller: d or m?
m
Suppose 3*c - 4*l + 8*l + 29 = 0, -19 = 3*c + 2*l. Let o be -1 + (-1 - (-21)/12). Let v = -5/12 + o. Which is smaller: v or c?
c
Let i = -3.88 + 3.6. Let q = i + 0.08. Is 0 at most q?
False
Let m be (-34)/(-9) - 20/(-90). Let z be (m/16)/((-3)/(-12)). Let u be 6/(-15) - (-76)/40. Which is bigger: u or z?
u
Suppose 0 = -t + 3*c + 31, -3*t + 7*t - c = 91. Let q be 2/16 + 1830/80. Are q and t equal?
False
Suppose -27*t - 1330 + 11320 = 0. Is t less than 370?
False
Let k(n) = -13*n - 56. Let o be k(-5). Which is greater: 46/5 or o?
46/5
Let c(m) = -m**2 - 19*m + 42. Let s be c(-21). Suppose -5*x = 4*o - 5, 0 = -4*o - 2*x + x + 1. Suppose o = -2*f - 2*f - 4. Which is bigger: f or s?
s
Let r be 5/(-3) + 2/3. Is 2/893 smaller than r?
False
Let a = 1493 - 1493.1. Let u be 4 + -1 + 1 + 0. Suppose 2 = 3*f + 2*m, -f + 2 = -2*m + u*m. Is f at least as big as a?
True
Let c = 242 + -267.6. Let z = c - 0.4. Let f = 26 + z. Is f greater than 0.3?
False
Suppose -106 = -5*m - 21. Suppose m*x - 4*x = 325. Is 26 less than x?
False
Let w(o) = o**2 - 7*o - 11. Suppose -7 = 2*y - 21. Let d be w(y). Is d bigger than 2?
False
Let g = -84 + 82.74. Let c = g + -0.14. Let r = -0.4 - c. Which is greater: r or -0.4?
r
Let h be ((-6)/(-132))/(84/(-64)). Let z = -74/15477 - h. Which is smaller: z or -1?
-1
Suppose 6*b - 8 = 4. Suppose -2*c - 4*o + 4 - 12 = 0, 2*c = -b*o. Let v be (-2)/(1 - (-1)/(-3)). Is v <= c?
True
Suppose 3*p = -w + 1, 4*w + 2*p + 46 = -0*w. Is w equal to -28?
False
Let d = 2.6 + -2.22. Let g = 2.82 + d. Let p = -3.2 + g. Is p < 0.08?
True
Let q(l) = -l**3 - 4*l**2 + 8*l + 15. Let t be q(-5). Is 1/1004 < t?
False
Let s = 1846 + -1846.14. Which is smaller: s or 2/23?
s
Let o = 15 + 23. Let b = o + -34. Which is smaller: 14/3 or b?
b
Let k = -382 + 180. Is -202 not equal to k?
False
Let g = -667831/17 + 39271. Let r = 36299/2720 + g. Let a = r - -1/32. Is -1 greater than a?
False
Let n(r) = r**2 - 10*r - 28. Let m be n(16). Suppose -4*g - o = 3*o - 80, -4*g + m = -2*o. Is g less than 19?
True
Suppose 11844 = -634*j + 616*j. Is j equal to -658?
True
Let m(d) = -2*d**2 + 19*d + 8. Let b be m(9). Let v be -13 + b - (3 + 1). Suppose v*j + 3*n = -j + 9, 0 = -4*j + 5*n - 15. Which is bigger: j or -2?
j
Let l = -1.41 - -0.9. Let o = -0.49 + l. Which is smaller: -5 or o?
-5
Let s(j) = -j**3 - 9*j**2 - 22*j + 11. Let v be s(-5). Which is greater: v or 12?
v
Let j be -3*(835/830 - 1). Let x = j + -299/1826. Let c be (-7)/(-9) - (-4)/18. Is c at least x?
True
Let y(a) = -a**3 - a**2 - a + 1. Let j be y(0). Suppose 2*g - 5 = -j. Let h = -5 + 11. Which is greater: h or g?
h
Let w be 2/(-7)*(-5)/(7725/21). Do 1 and w have the same value?
False
Let f be ((-10)/6)/((-5)/(-160)). Let z = 15303/14 - 48197/42. Let t = f - z. Is 2 bigger than t?
True
Let h = 0.325 - 0.125. Is h less than or equal to -17.6?
False
Let f = -1 + 0.96. Let o = -0.028 + 0.028. Which is bigger: f or o?
o
Let u be (18/(-15))/((-3)/(-10)). Let n = u + 7. Let f be (-18)/(-24) - n/(-12). Which is smaller: f or -1/2?
-1/2
Let q(n) = n**3 + 4*n**2 + n + 3. Let l be q(-4). Suppose 2*f - 4*t = 20, 2*t + 10 = 3*f - 8*f. Which is smaller: l or f?
l
Suppose -4*s = -s - 4*a - 40, -2*s + 12 = a. Let w be 1 + -2 + ((-18)/s)/(-3). Which is smaller: 0.31 or w?
w
Let n = 3542/192413 - 8/361. Which is smaller: 1 or n?
n
Let h = 2/4925 + 113123/374300. Let c = 1/19 - h. Is c greater than or equal to 2/5?
False
Let q(g) = g**3 - 3*g - 65. Let n be q(0). Is -65 >= n?
True
Suppose -55 = 27*g - 32*g. Suppose -10 = -4*p - p, -4*r + 5*p - 38 = 0. Let s = r + g. Which is smaller: s or 2?
2
Suppose -6*m - 16 + 10 = 0. Let g = m - -2. Let k(x) = x - 1. Let h be k(1). Is h > g?
False
Let f(l) = l + 1. Let s(a) = -3*a. Let w(o) = 2*f(o) + s(o). Let h be w(4). Let q(d) = -48*d - 290. Let i be q(-6). Is h greater than i?
False
Let h = 1645 - 1666. Are -20 and h equal?
False
Let c be ((40/16)/(15/9))/((-6)/(-64)). Suppose 3*p + 11 = 59. Is p at least c?
True
Let c be 9/12 + (-50)/(-8). Is 0 != c?
True
Suppose 2*h - 1 = 33. Suppose h - 53 = -4*t. Which is bigger: 17/2 or t?
t
Suppose 0 = -5*o + 8 + 27. Suppose -3*k - o*v + 2*v + 68 = 0, -2*k + 16 = -4*v. Let w = k - 16. Is w < -1/11?
False
Let i be 5*(-2 + 0 - -3). Suppose 18 + 27 = i*u. Which is smaller: u or 10?
u
Suppose -1 = 4*o + 5*x, x + 2*x = 5*o + 29. Let m = 13 + o. Let c = m + -6. Are c and 4 unequal?
True
Let d = 99 + -116. Let h = d + 16. Is -1 >= h?
True
Let g = 2193/4 + -548. Are g and 26/3 non-equal?
True
Suppose 5*p - 5 = 0, 16 = -3*d + 2*p - 4*p. Let i be (-7)/d - (-7)/(-42). Is i >= 1/43?
True
Let x(k) = -k + 2. Let r be x(-20). Suppose -2*z = 2*z - 84. Are z and r nonequal?
True
Let t = 3.1 - 2. Let u = t + -1.22. Let n = 0.22 + u. Which is bigger: n or -2/5?
n
Suppose 13*b - 35 + 48 = 0. Which is smaller: 3/55 or b?
b
Let n = 461 - 706. Which is bigger: n or -247?
n
Let i(p) = -p**3 - 3*p**2 - p - 2. Let o be i(-3). Suppose -15 = -8*m + o. Let k = 541/42 - 73/6. Are k and m unequal?
True
Let b = -59 - -32. Let j = 56 + b. Is 30 at most as big as j?
False
Let x be 8/20 + 12/(-10). Let w be (-403)/310 + 9/30. Which is smaller: w or x?
w
Let b = -107.045 - -0.045. Let l = b + 106. Which is greater: l or 12/5?
12/5
Suppose 0 = b + 2*b - 3. Suppose 0 = 5*p - 0*p + 4505. Let o = p + 15313/17. Which is smaller: o or b?
o
Let t = -1723 - -263621/153. Is -6 not equal to t?
True
Let l = 34 + -26. Suppose 7*n = -l*n. Let u = -2.9 - -18.9. Which is greater: n or u?
u
Let t(i) = -i**2 + 17*i - 66. Let p be t(6). Is p less than -3?
False
Let c = 123 - 60. Let i be ((c/(-12))/7)/(-3 + 0). Which is bigger: 0.1 or i?
i
Suppose 3*g + 5 = -2*m - 9, g - 5*m = 18. Let v = -49154/3 - -16553. Let q = v + -170. Does g = q?
False
Let d be (-1)/(-91) + (330/(-42) - -8). Which is bigger: d or -10/29?
d
Let x be (12/9)/((-16)/(-12)). Let l be ((-32)/(-20))/x + -2. Let t = 0.9 + 0.1. Which is greater: l or t?
t
Let q = -0.08 + 7.08. Let y = 19893 + -19893. Which is greater: q or y?
q
Let b be ((-21)/(-5))/((-1)/5). Let f be ((-1440)/108 + (-1 - -7))/(14/42). Does b = f?
False
Let g = 569917/8668 + 1/2167. Let q = g - 65. Let f = -0.18 + -2.82. Is q <= f?
False
Let a = 1/911 + 907/3644. Suppose 1 + 22 = -4*q - d, -4*q - 2*d = 18. Is a at least as big as q?
True
Let k(u) = -u**3 + 13*u**2 - 17*u + 18. Let s be k(12). Let o = 60 - 103. Is o >= s?
False
Let j = -27/2 - -3109/230. Is -1 at least j?
False
Let n(p) = -p**2 - 12*p + 3. Let j be n(-12). Let z be 0*(0 + j/(-6)). Which is smaller: z or 50?
z
Suppose -2*q + 414 = -b, 2*q - 1075 - 187 = 3*b. Is b at most as big as -427?
False
Let r be (126/9 + -11)/(-28). Let l = 0 + -1. Which is bigger: r or l?
r
Let t(w) = -w**2 - 6*w - 5. Let n be (1 + 2 - 2) + -6. Let z be t(n). Suppose -2*x + 6 = s, -x + 3 = 3*s - s. Is z < s?
False
Let s = -61 - -71. Let l be s/4*(0 + 6)/30. Is 2/7 greater than or equal to l?
False
Suppose 0 = 3*i + 12, 0 = -106*t + 105*t - 3*i + 555. Is 568 >= t?
True
Let f = 261.78 - 257. Let r = -5 + f. Let m = -0.18 - r. Is m bigger than 2?
False
Let s be 7 - (102/18 - -1). Is s greater than 82?
False
Let d be 1 + 3 - (-19)/(228/(-45)). Let f = 31 + -30.46. Let x = -0.5 + f. Is x at least d?
False
Let f = -241 + 23369/97. Is 1 less than f?
False
Suppose -2*g - 2 + 32 = 0. Let p = -16 + g. Let o = -3/32 - 5/288. Which is bigger: p or o?
o
Let h be (-105)/(-4) - 4/16. Let o = h + -16. Let y = o + -12. Which is greater: -5/6 or y?
-5/6
Let w = 100 - 101. Which is smaller: -75 or w?
-75
Suppose -12*z + 669 - 2421 = 0. Which is greater: z or 3?
3
Let a = -232 + 309. Is a at most as big as 77?
True
Suppose 5*t + 7*t - 7416 = 0. Which is greater: -1 or t?
t
Let z be 6/27 - 11571/189. Which is smaller: 0.4 or z?
z
Let s(t) = t**3 + 8*t**2 + 7*t + 7. Let w be s(-6). Let u(f) = -f**3 + 13*f**2 - 29*f + 27. Let b be u(10). Is b greater than