3?
3
Let b(o) = 17*o - 87. Let u be b(11). Is 99 at least u?
False
Suppose -2016 = 2*u - 4888. Let v be u/(-24)*6/14. Let r = 51/2 + v. Which is smaller: 1 or r?
r
Let b = 0.007 - 2.307. Let j = -0.3 - b. Which is smaller: j or 8?
j
Let n be 2 - 14564/546*(-9)/(-12). Let j = -222/13 - n. Is 0 greater than j?
False
Let v be (-12)/28 + 8296/19096. Is 1 < v?
False
Suppose 3*q - 10 = 8*q. Let a = 1 - q. Suppose -5 = 4*h - 4*w - 1, a*w = 4*h + 2. Which is greater: -4/13 or h?
h
Let q be 4/(-1)*(-3)/6. Let r = -4 + q. Let g be ((-5)/2 - r)*4. Is 1 < g?
False
Let i be ((-3)/4)/(70/40). Let d = 46 + -40. Suppose 10 = d*m + 4. Which is greater: m or i?
m
Suppose 4*c = g - 4 - 40, -3*c - 2*g - 44 = 0. Is c at least as big as -92/7?
True
Let l(d) = 38*d**3 + d**2 - d - 2. Let t be l(-1). Let x = t + 39. Let m be 2/(-15) - (-1 + 1). Which is smaller: m or x?
m
Let i(d) = d**3 - 6*d**2 + 5*d + 1. Let j be i(5). Let w = -18 - -12. Let h be (1/3)/(3*9/w). Do h and j have the same value?
False
Let n = -148 + 105. Let v = n + -30. Which is smaller: -74 or v?
-74
Let r = 3/56 - 183/280. Which is bigger: r or -0.15?
-0.15
Let l = -410 + 406. Is l at most -4?
True
Let z = -6703/450 - -14/225. Which is bigger: z or -16?
z
Let h = 163/110 + 1/55. Is 39 > h?
True
Let b = -7146/7 - -1021. Is b greater than -34?
True
Let k(p) = -2*p + 74. Let d be k(37). Which is smaller: d or 5/57?
d
Suppose -78 = -3*s - 114. Let j(n) = -2*n**2 + 3*n - 4. Let k be j(3). Which is greater: s or k?
s
Let k = 0 + -26. Let v = -14 - k. Are 1 and v nonequal?
True
Let q be 1/5 + ((-66222)/(-15))/6. Which is greater: -0.2 or q?
q
Suppose -s = 3*s - 3*p + 5, s - 2*p = 5. Let r = 10 - 18. Are s and r unequal?
True
Let t be 2 + -4 - -1 - -13. Let x = t + -11. Let z be (-3)/(x + (-177)/6). Is 0 at most z?
True
Let a = -2743 + 10983/4. Let k be (4/(-6))/((-1)/3). Is k smaller than a?
True
Suppose -2*y = 2*s - 3*y + 59, y = -5*s - 130. Let l = -29 - s. Is l bigger than -5/8?
False
Let h(b) be the third derivative of b**5/60 + 7*b**4/12 - 7*b**2. Let w be h(-13). Let z = 12 + w. Which is bigger: z or -1/18?
-1/18
Let d(b) = 46*b**3 + b. Let q(p) = -p + 4. Let o be q(5). Let v be d(o). Which is smaller: v or -48?
-48
Let g be ((-25)/(-10))/((-50)/(-4680)). Is 232 equal to g?
False
Suppose 4*j - 11 = 5. Suppose -3*g - 1 = -j, 0 = o - 2*g + 3. Which is smaller: 3/7 or o?
o
Suppose -15*o - 344 = -11*o. Let i = o - -84. Is 7 at most i?
False
Let r = -2066 + 2070. Which is bigger: r or -31?
r
Let f = -2 + 3. Suppose -5*u - f = -6. Let z = 25 + -21. Is z bigger than u?
True
Let g = 2407.015 + -2413. Let k = g + 0.085. Let j = -6 - k. Which is bigger: -0.2 or j?
j
Suppose 2*t + 10 = -4*m, -42*m + 3*t + 11 = -44*m. Which is greater: m or 3/113?
3/113
Let p(j) = 4*j + 22. Suppose -2*r + 3*g = -4*r - 34, 2*r - 2*g = -14. Let m be p(r). Are m and -21 non-equal?
True
Let z be (-2 - 565/80) + (1 - -2). Let o = z - -933/80. Which is smaller: 6 or o?
o
Let n(j) = -j**3 + 5*j**2 + 5*j + 1. Let o be n(5). Suppose -5*g = -2*f + 74, 0 = -3*f - 0*g + g + 85. Which is smaller: o or f?
o
Let s = -2/14549 - -19017/32502466. Is s at least as big as -1?
True
Let t = 79 - 52. Which is smaller: 25 or t?
25
Let q = -25/3952 + -1/304. Is -1 bigger than q?
False
Let i(q) = -q**2 - 1 + 19*q**2 - 4*q - 4*q**2. Let b be i(2). Suppose 5*v - 3 = 3*p + b, -5*v + 2*p = -45. Are v and 7 nonequal?
False
Let v be (-5)/2*(-42)/(-105). Which is smaller: v or 8/87?
v
Let l be 1420/(-660) + 2/6. Does -3 = l?
False
Let k(l) = -l**3 - 4*l**2 + 3. Let c be k(-4). Let s be (-2)/(-4)*(4 + 0). Let z be (3 + 2 + -2)*(s - 1). Does z = c?
True
Suppose -39 = -16*m + 19*m. Is m > -5?
False
Suppose -932*j + 937*j = 105. Let c = -22 + 1. Let b = c + j. Are b and -2/11 non-equal?
True
Let s be (-1)/(-4) + (17 - (-23094)/(-1368)). Are 0 and s non-equal?
True
Let l(i) = -i**2 + 14*i - 7. Let u be l(7). Which is smaller: u or 44?
u
Let p = -153 - -150. Which is smaller: p or 0.046?
p
Suppose 17*h = 26*h + 2862. Do h and -318 have the same value?
True
Let m be 1/4 - 11/(-4). Let c = -169 - -343/2. Which is bigger: c or m?
m
Suppose 3 = 2*s - b, -s = 4*s - 2*b - 7. Is 2/735 > s?
False
Let t(d) = 6*d**2 + 3*d + 1. Let a be t(-2). Let f(l) = l - 1. Let o be f(14). Let g = a - o. Does 6 = g?
True
Let n(t) = 134*t**2 + 2*t - 6. Let x be n(2). Is x <= 534?
True
Let h(s) = -s - 2. Let m be h(9). Let a(x) = -3*x - 27. Let y be a(m). Let j be (-4)/y*(0 - -3). Are -1 and j nonequal?
True
Let p = 0.047 - 0.082. Let s = p - -0.065. Let q = 2/17 + -21/34. Is q less than s?
True
Let f = -337 + 283. Suppose -4*u = 220 - 0. Is u < f?
True
Let f(i) = i**2 + 7*i - 8. Let h be f(-6). Suppose -8*w - 7*w = 225. Let t = w - h. Is 2/11 >= t?
True
Let k be (8 + -7)/(-1 - (0 - 2)). Suppose 0*q - q - 21 = 0. Let n be -1 + 0 + q/(-36). Do k and n have different values?
True
Suppose 4*z = -5*v + 3*v - 16, 5*v + 15 = -5*z. Let g be 2 - (1 - (v + -1)). Let d be 2/(-4)*0/g. Which is smaller: 1 or d?
d
Let x(m) = 4*m + 5. Let g be x(-2). Let w be ((-48)/g)/(-4) - -7. Suppose -4*t - 1 = 3*b, 6 = w*b + 3*t - 6*t. Which is smaller: b or 1/17?
1/17
Let d = -5/66154 - 1848577/49417038. Let r = -3/166 + d. Suppose 4*w - 2*n + 0*n + 12 = 0, -4*n + 18 = -2*w. Do r and w have the same value?
False
Let t be (-75)/12 + -2*(-1)/8. Let i be (-6)/(-10)*t/135. Is i not equal to -1?
True
Let o = -0.369 + 0.089. Suppose 0 = 2*d - d - 1. Which is smaller: o or d?
o
Let c be ((-6)/(-30))/(0 + 1). Suppose -2*a + h = -4*a - 3, 0 = 3*h + 9. Suppose -4 = -4*j - a*j. Is j greater than c?
True
Let n be 357/18 + 5/30. Let g = 25 - n. Is 3 smaller than g?
True
Let m = -18053467/1239 + 14571. Which is smaller: 1 or m?
m
Let a(k) = 3*k**2 - 30*k + 7. Let r be a(13). Let f = r + -127. Which is smaller: -1 or f?
f
Let s = -31 + 27. Let k = s - -4.2. Is -3 less than k?
True
Let c = -1104 + 24283/22. Which is smaller: c or 1?
c
Let o = -338/3 + 7756/69. Let i be 0/(6/(-3) + 3). Is i at least as big as o?
True
Let o = 34 - -14. Let u = o - 56. Are u and -0.1 non-equal?
True
Let q be (-6 - -5)*(-7 - (-3)/(-2)). Which is bigger: q or 6/7?
q
Let g be 24/(-4) - (448 - -2). Which is greater: g or -457?
g
Suppose 97*k - 101*k = 184. Is 0.1 < k?
False
Let f be 72/54*1*1/(-12). Is 0.06 at most f?
False
Let b be 1/(520/(-56) + 1 + 3). Which is greater: 1 or b?
1
Suppose 4*l - 2*i - 168 = 0, 5*l - 2*i = 2*i + 216. Suppose -3*c - 2*m + l = 153, -3*m - 33 = c. Is c at least -39?
True
Let i(n) = -n**3 + 5*n**2 - 11*n - 29. Let b be i(13). Let x = b + 167641/110. Which is smaller: x or -1?
-1
Let s(z) = z**3 + z**2 - 1656. Let j be s(0). Is -1657 != j?
True
Let d = 1848/5 - 370. Is -0.1 greater than d?
True
Let m be (5 - (-45)/(-10)) + (-446)/880. Let t = -751/18920 + m. Which is smaller: t or 0?
t
Let i(p) = -2*p**3 - 7*p**2 + 8*p + 15. Let u be i(-4). Which is smaller: u or 5/73?
u
Suppose -4*p + 14 = 2. Let f = -64/103 - 2798/1133. Let y = 7/44 - f. Is p at least as big as y?
False
Let t = -0.157 + 0.137. Is t > 0?
False
Let u be -10 - -1*(-1 + -4 - -20). Let v = 17 + -10. Is v greater than or equal to u?
True
Let p(k) = k + 18. Let o be p(0). Let f = -152 - -169. Is f less than o?
True
Let i = 23 + -4. Suppose -2*s + 55 = i. Is 17 smaller than s?
True
Let f(t) = t**2 - 2*t + 32. Let q be f(0). Let w = 22/57 - -3775/114. Let j = w - q. Are -0.2 and j equal?
False
Let s = 1.8 + -1.94. Let d = s - -1.14. Let z = 4 - 5. Which is bigger: d or z?
d
Let w be -153 + 16 + 2 + 3. Is w less than -131?
True
Suppose 7 = 20*u + 27. Is -17/5 at least u?
False
Let z = 46955 - 8780623/187. Let s = z - -5/17. Which is smaller: s or -2?
-2
Suppose 2*c - 5 = -g + 5, 0 = 2*g + 3*c - 16. Suppose 4*s - 80 = -2*b, 67 = 3*s - g*b - 0*b. Which is bigger: s or 22?
22
Let z = 1 - -1. Let p(f) = -3*f. Let w be p(z). Let d be 69/92*(-4)/(-6)*-12. Is d greater than or equal to w?
True
Let b(p) = p - 2. Let l be b(-4). Let i be 4/l*(-75)/10. Suppose -d + 20 = 3*o, i*o - 5*d - 10 = -2*d. Is 19/5 > o?
False
Let y be (-32)/(-24)*3/(-214). Suppose -5*w - 2*k = -9, -4*w + k = 6*k - 14. Is w at most as big as y?
False
Let v be 4 + ((-3)/(-5))/(8/(-40)). Do -2/135 and v have the same value?
False
Suppose v - 2 - 2 = -3*l, 0 = -2*l + 2*v. Let q be (l - 4)*4/(-12). Supp