. Let f be -4 + (70776/1964)/h. Which is bigger: 1 or f?
1
Let u be (-6)/21 + (-316)/(-28). Suppose 0 = u*n - 20*n + 27. Suppose 5*p = -2*q - 0*p - 9, 5 = -q - n*p. Which is bigger: q or 2?
2
Let u(y) = -y**2 + 1. Let j(i) = -2*i**2 + 20*i + 55. Let n(d) = j(d) - 3*u(d). Let v be n(-17). Let z be (-4)/(-6) + (-16)/(-102). Which is smaller: z or v?
z
Suppose -187*v + 48*v - 62*v = 122811. Is v at most -613?
False
Let b = 22766/7 + -3252. Which is greater: b or 41/9?
41/9
Let t be 1505/30 + (-10)/(-12). Is t bigger than 85?
False
Let y be 6*(106/(-42) - -3)*-2. Suppose -3*d = -2*p + 27, 0 = 5*d + 3*p - p + 29. Which is smaller: d or y?
d
Let v(n) = 322*n - 3932. Let r be v(12). Which is smaller: -74 or r?
-74
Let r(u) = 63*u**3 - 2*u**2 - 16*u - 88. Let s be r(-5). Is -7933 at least as big as s?
True
Let m = 62 - 5. Let p = m + -20. Let x = p + -36. Which is smaller: 3.2 or x?
x
Let k = 1.517 - 0.137. Let z = k + -1.06. Which is bigger: z or 0.2?
z
Let k = -44/3 + 15. Let j(p) = p**3 + 51*p**2 + 46*p - 86. Let b be j(-50). Let r be (-16)/(-20) + 9/((-945)/b). Which is smaller: r or k?
r
Suppose -80795 = -25*a + 30*a + 2*g, -3*g = 3*a + 48486. Is -16157 equal to a?
True
Let u be 4/8*(-14 - 132/(-11)). Is 8/365 at least as big as u?
True
Let c(i) = -7*i - 9*i - 8*i - 108 + 24*i - 8*i. Let g be c(-12). Is -150/13 greater than g?
True
Let w = 196 + -149. Are w and 43 non-equal?
True
Let p = 7499 - 7495. Let b(q) = 7*q**2 - 7*q - 5. Let s be b(-5). Suppose 2*j = p*j + 3*m - s, -j + 100 = m. Is 95 smaller than j?
False
Suppose -472*c + 2535 = -443*c - 5788. Is 293 > c?
True
Let f(b) = -298*b + 700. Let d be f(4). Let w(s) = -19*s**3 + 3*s**2 - s - 2. Let n be w(3). Which is smaller: n or d?
d
Let n(q) = -q - 8. Let l be n(-10). Let x be -5 - (-4 + l) - -5. Suppose -10 = -4*r - x. Which is smaller: -2/9 or r?
-2/9
Let u = -457/42 + 75/7. Is u at most -1.24?
False
Let i = 0.12828 - -904.87172. Is i less than or equal to -0.3?
False
Let c(v) be the second derivative of -v**5/20 - v**4/4 - 2*v**3/3 - 3*v**2 - 13*v. Let d be c(-2). Let b be 42 + 0*d/4. Which is smaller: b or -1?
-1
Suppose 4*x = -30*c + 25*c + 64, 3*c = -2*x + 40. Let n be ((-46 - 2)/(-4))/(3/4). Are c and n equal?
True
Let q = -14 - -68. Suppose 28*h + q = 27*h. Let l = -61 - h. Is l at least -6?
False
Let s be 17*-3*3/9. Let c = 14 + s. Let n be (c/(-6))/((-1791)/36). Is n greater than -2/3?
True
Let b(q) = -q**2 - 140*q + 692. Let w be b(-159). Which is smaller: 0.5 or w?
w
Let z be 51 + -6 + (-4)/6*9. Which is smaller: z or 0.37?
0.37
Let k be (-8 - 75/(-10))/(3/360). Is k <= 19?
True
Suppose 7 = 3*y - 29. Suppose 405 - 1521 = -y*c. Suppose 9 - c = 7*v. Is v smaller than -7?
True
Suppose 84 = -3*n - 120. Let s be (-4 - n/18) + (-6)/(-27). Suppose 0 = -11*d - s*d - 11. Does d = 4/9?
False
Let o = -63 + 99.8. Let r = o + -35. Let h = 0.2 + r. Which is smaller: 0.3 or h?
0.3
Suppose 2*d - 1 = d. Let g = -340041 - -42845633/126. Let i = g - 34/9. Is d greater than or equal to i?
True
Let h = -1 - -5. Suppose -h*m - 4 = -12. Suppose m*n + 0*n - 2*u = -138, 2*u + 338 = -5*n. Is n at most -66?
True
Let a be (1/2*(-20)/30)/(4/2028). Which is greater: a or -8?
-8
Suppose 6*r + 8*r + 4*r = -r. Is -21/106 > r?
False
Let g = -1 + -2. Let j = g - -2. Let r be (-119 - -48) + 63 + 318/38. Is r equal to j?
False
Let h = -2027 + 2027. Let t = -101 - -12725/126. Is t greater than or equal to h?
False
Let g be (-2292)/22308 - 3/(-33). Suppose 39 = 4*j + 43. Is j <= g?
True
Let u be ((-51)/4)/(45/(-600)*-5). Which is greater: u or -239/7?
u
Let h = -26.6 - -78.6. Suppose 12 = -x - 5*w - 0, 3*x - 2*w = -2. Which is bigger: h or x?
h
Let o be (-12)/5*(-5 + (-120)/(-16)). Let u be 4*(45/7 + o)*-21. Do -31 and u have the same value?
False
Let t(j) = 19*j - 233. Let o be t(12). Let b be 2358/6*o/(-15). Is b greater than or equal to 131?
True
Suppose 133*x - 31*x + 6360 = -57*x. Suppose -3*g - 4*c = 262, -4*g + 5*c + 0*c = 308. Let u be 1/(1/g*2). Which is smaller: x or u?
u
Let r be (-1255048)/(-1280) + (-9)/15 + 1. Let q = r - 981. Let c = -25 - -26. Which is smaller: c or q?
q
Let v = 1906 - 1905.9. Is 0.4 at least v?
True
Let x be (-82)/(-5)*-10*(-3)/6. Which is smaller: x or 77?
77
Let c = -33 - -36. Suppose -s + c = 2*s. Let n be 5 - ((-242)/(-34) - 2). Is s <= n?
False
Let v = 0.97769 - -0.00331. Is v at least as big as -1?
True
Let k be 60/(-10)*(-2)/21. Let r = -0.268 + 0.268. Which is greater: r or k?
k
Suppose -5*l - n = -4, -5*n - 1 = -5*l - 21. Let o = 21 - 29.2. Let s = -44.8 + o. Is l smaller than s?
False
Let w = 362 - 363. Let l = w - 14. Is l >= -81/5?
True
Let w be -12 - 9*(9 + -2 - (-177)/(-27)). Is -58 less than or equal to w?
True
Let l(g) = -8*g + 66. Let v be l(8). Let n be v/14 - 44/(-462). Is -2/5 > n?
False
Let t = 2486 + -2486.06. Is -185 > t?
False
Let a = -292 + 484. Is 6 != a?
True
Let d(l) = -l**2 - 19*l - 31. Let w be d(-11). Let k = w - 44. Suppose 0 = -k*c + 9*c + 140. Is c less than or equal to 35?
True
Let m be (0 - -2)/2*-7. Let p be (66 + -6)/(-6) + 5 + -1. Which is greater: m or p?
p
Let p = -34.97326 + 0.01326. Which is greater: p or -1?
-1
Let s be 110238/42 + 15/(-21). Which is bigger: 2623 or s?
s
Let z(u) = -33*u + 16. Let i be z(2). Let x = -44 - i. Let j(k) = k**3 - 14*k**2 - k + 18. Let w be j(14). Which is bigger: w or x?
x
Suppose -174*l + 17535 = 2*p - 177*l, 3*p - 26350 = -5*l. Which is smaller: 8777 or p?
p
Suppose m = -4*m + 3*q - 1236, 4*m - 2*q = -988. Are -104 and m unequal?
True
Let u = 0.43 + 0.57. Let f(c) = c**3 + 5*c**2 + 4*c - 9. Let g be f(-3). Let x be ((-3)/(9/(-2)))/(95/g). Which is smaller: u or x?
x
Let k be (-164)/(-4141)*(2 + 111/(-54)). Which is greater: -1 or k?
k
Let x(h) = 2*h**2 + 39*h + 1025. Let v be x(-29). Is v less than or equal to 1578?
True
Let i(f) = 2*f**2 + 14*f - 70. Let v be i(-18). Suppose 30*j + v = 3176. Which is smaller: 476/5 or j?
j
Let t(m) = m**2 - 12*m + 11. Let i be t(7). Let w = -13 - i. Let h(p) = -p**3 + 12*p**2 - 13*p + 22. Let l be h(w). Which is smaller: l or 3/28?
l
Let z = 7013/2 - 57345297/16354. Do 0 and z have different values?
True
Suppose 0 = -p - 29 + 139. Let y(k) = -2*k**3 + 68*k**2 + 3*k + 44. Let w be y(34). Let z = 256 - w. Are z and p unequal?
False
Suppose -22*i - 3903 = -405. Let u be (-759)/i - (7 + -2). Which is smaller: 0 or u?
u
Let k be 5*21/(-70) - 6/(-12). Are k and 8715 unequal?
True
Let d = 5.25 + 875.75. Let j = d - 846.12. Let f = j - 35. Is 2/9 bigger than f?
True
Let a be (-21)/(-6) + 1*-3. Let x = -1.8623 + 2.5623. Which is smaller: a or x?
a
Let x(k) = -k**3 + 7*k**2 - 31*k + 6. Let l be x(4). Is -70 not equal to l?
False
Let c(m) = 121*m - 2572. Let n be c(36). Is n less than or equal to 1784?
True
Suppose -85*h - 804 = -7*h + 56*h. Is h less than 1/95?
True
Let y = -5 - -3. Let u(d) = -2*d - 1. Let o(m) = 7*m + 7. Let h(s) = o(s) + 4*u(s). Let g be h(-5). Which is greater: y or g?
g
Let n = -5888 - -5483. Which is bigger: n or 7/3?
7/3
Suppose j = 2*s - 9, -5*s + 5*j + 10 = -0*s. Suppose -s*f + 5*f + 134 = 0. Is 65 at least f?
False
Let m be -2 + (-23)/(3220/(-440)). Which is greater: -0.7 or m?
m
Let h(o) = 117*o + 350. Let w be h(-3). Which is bigger: w or -1.331?
w
Let q = -976 - -976. Which is smaller: q or -5443?
-5443
Let b(r) be the third derivative of r**5/60 + 19*r**4/24 + 11*r**3/2 - 8*r**2. Let g be b(-17). Let x be (-1)/3 + 3/9. Is x at least g?
True
Suppose 2*i = -3*d - 5 - 0, d + 18 = -3*i. Let c = -6892 - -6897. Which is smaller: i or c?
i
Let g be ((192/153)/(-16))/(515/(-9) + -3). Is 0 at least g?
False
Let r = -5281 + 5277. Which is smaller: -1933 or r?
-1933
Let b be ((-1)/5)/(4/(-4616)). Let c = -225/1252 - -9908691/43820. Let g = b - c. Is g >= -1?
True
Suppose -5*u + 4*s - 426 = 0, 5*u = -6*s + 2*s - 434. Let l = u + 72. Let h be (-17)/(-12)*(-16 - -7). Is h > l?
True
Suppose -2*z + 2*n - 7 + 9 = 0, 0 = 4*z - 5*n - 5. Suppose z = -7*k + 66 + 18. Is 38/3 bigger than k?
True
Let f = 142.04 + -144.04. Are 3174 and f unequal?
True
Let d be (23/(230/(-65)) - -2)/(1/34). Is d greater than or equal to -91?
False
Let y be ((-12)/30)/(3/15). Let s be y/(-4)*0 + 4. Suppose s*k - 18 = 7*k. Is 2 < k?
False
Let s(x) = -46*x + 44*x + 0 + 49. Let a be s(23). Let w 