 3. Let i be j(2). Let s be 336/102 + (6 - 10). Is i at least as big as s?
False
Let x be ((-1986)/(-18))/(2/(-2))*-3. Is x smaller than 333?
True
Suppose -4*q = 11 + 1. Let o be 6/(-9)*q/(-54). Do o and 1 have the same value?
False
Let l(b) = -b**2 - 5*b + 3. Let d be l(-4). Suppose -5*r - 168 + 33 = 0. Let u = 35 + r. Are d and u equal?
False
Suppose 2*l + 9 = 5*c, 5*l = l + 4*c. Let d be (l/(-1) + 3)/1. Let u = 1 + d. Which is greater: u or 2?
2
Suppose -87 = 5*i - 3*k - 71, -17 = 4*i - k. Is -0.046 bigger than i?
True
Let w(z) = -z**3 - 7*z**2 - 8*z + 10. Let r be w(-9). Let a = r - 2194/9. Suppose -5*y + 19 + 1 = -5*p, -5*p - y = -10. Which is bigger: p or a?
p
Let d be ((-1)/(-2))/((-7)/14) + 284. Let k = 1965/7 - d. Which is smaller: -2 or k?
k
Let l = -348 - -348. Is l <= -1/824?
False
Suppose 3*p + 5*s - 6 = 1, 5*p - 3*s + 11 = 0. Let g = 16498/75 - 220. Is g less than p?
False
Let r be 92*((-3)/1 - (-104)/32). Let l be r/9 + (-24)/6. Which is smaller: -0.1 or l?
l
Let j be -2 - (2 - (-134)/(-33)). Let a = -232 + 232. Are j and a equal?
False
Let t be 28/21*(-3)/2. Let x be (t + 134/66)*(-23 - -20). Which is smaller: -2 or x?
-2
Let k(u) = -38*u - 607. Let r be k(-16). Is r smaller than 11/32?
False
Let g(v) = 0*v - 3 - v - 4 + 0. Let y be g(-10). Suppose 2*x = 2*z, -5*z = -2*x + y*x. Which is smaller: x or -1?
-1
Let r = 2.317 + -0.017. Let x = -2.35 + r. Which is smaller: x or -0.1?
-0.1
Let b be (12 + 0)*510/340. Which is smaller: b or 37/2?
b
Let r = 195 - 213. Which is smaller: -200/11 or r?
-200/11
Let x(b) = b + 12. Let a be x(0). Let g be (-10)/a - 16/(-24). Is 0 smaller than g?
False
Suppose -2*a + 14 = -4*n, -5*n - 2*a + 7*a = 25. Let d(p) = -p**2 + 1. Let c be d(n). Which is greater: 2 or c?
2
Suppose 0 = 2*n - 6 + 78. Let z = n - -38. Which is smaller: z or 9/11?
9/11
Let a = -508.948 - -509. Which is smaller: a or 1?
a
Let v = -1.6 - -1.3. Suppose 0 = -2*z + z - 1. Let y be (-1)/z - (-2)/4. Is v smaller than y?
True
Let j(w) = -2*w - 4. Let d(x) = x**3 + 4*x**2 - 5*x - 6. Let v be d(-5). Let n be j(v). Let p be (-4)/n - 1/(-2). Is p at least as big as -2/11?
True
Let k = 455 + -329. Which is bigger: -1 or k?
k
Suppose 13*o = 15*o + 634. Is -317 > o?
False
Let v be 0 + (-2)/9 - 423/(-81). Suppose v*m - m + 8 = 0. Which is smaller: -9/11 or m?
m
Suppose -8*p + 152 = -4*p. Let h = -38 + p. Is h less than or equal to -2/45?
False
Let v(t) = -112*t - 15. Let b be v(1). Which is smaller: -129 or b?
-129
Suppose -5*z + 3*z - 118 = 3*s, 0 = -4*s + 2*z - 162. Let i be (1 - s/(-4))*-1. Let j be (8/6)/(3/i). Which is smaller: 0 or j?
0
Let q = 160663/41 - 3920. Which is smaller: q or 0?
q
Suppose -3*b + 4*w - 246 = 0, 3*b = 6*b + 4*w + 270. Is -86 greater than b?
False
Suppose 9 = 3*k - 3*l, 4*k - 3*k + 6 = -2*l. Let v be 15/3 + k - 0. Suppose v*w = 2*w. Is 6/11 at most as big as w?
False
Let m be (-16)/20 + 1295/1775. Which is greater: 1 or m?
1
Suppose 3*f - 5*u + 30 = 0, 2*f - 2*u = -2*f - 40. Which is greater: f or -12?
f
Let f = -0.09 - -0.46. Let z = -0.47 + f. Which is bigger: z or 4?
4
Let t = 28 + -24. Suppose -t*y - 24 = -2*y. Is -12 at most y?
True
Let k = 74 + -44. Suppose 3*v - k = 5*y, -y + 2*v - 6 = -2*v. Let l(i) = -i**2 - 5*i - 5. Let g be l(y). Which is greater: g or -13?
g
Let x be 0*(-3)/(-2 - -5). Is x less than or equal to 1/63?
True
Let q = -3713/10 + 372. Let p be 8/(-40) - (-1 + 4). Let w = q + p. Which is smaller: w or -3?
-3
Suppose -5*c = -2*c + 90. Let f = -14/9 + 17/9. Is c equal to f?
False
Let m = -2/9 - -13/18. Let v = 3 - -11. Let g = 12 - v. Which is smaller: m or g?
g
Let m(l) = -16*l + 58. Let b be m(-2). Is b equal to 177/2?
False
Let w be (-1)/4 - 393/(-1540). Are w and 1 unequal?
True
Let v = 60 + -55.8. Let m = v + -4.4. Which is bigger: m or 0.1?
0.1
Let j = -1549 + 1523. Are j and 26 nonequal?
True
Suppose -2*t - 2*t - 28 = 2*i, -56 = 4*t - 5*i. Suppose -4*d + 398*y - 395*y - 25 = 0, -2*d = 3*y + 35. Which is smaller: t or d?
d
Let q be (6/6)/(2/12). Suppose -1 = r - q. Suppose 0 = 3*a - 3*v - 3, -r = 4*a - 4*v + 3*v. Are -7/4 and a nonequal?
True
Let i = 40 - -2. Let l = 41 - i. Is l < 0.11?
True
Let f be 3/((-9)/2772*-2). Which is bigger: 461 or f?
f
Let r = 24 - 9. Suppose -4*o + 3*o = 4*t - 8, -3*t - r = -o. Let v be (20/(-75))/(o/10). Are 5 and v nonequal?
True
Let t = 2 - -4. Let s be (-9)/t*(-8)/36. Are -1 and s equal?
False
Let q = -150 - -151. Suppose -5*w + 30 = -2*w. Let i be (-9)/w*24/(-18). Is i less than or equal to q?
False
Suppose -5*s = -5*t - 110, 2*s + 3*t = t + 52. Let m be -2 + 0 - s/(-10). Is m at least 30?
False
Suppose 0 = 3*t - 3*s + 8*s + 4, 0 = t + 4*s + 13. Which is greater: 62 or t?
62
Let t be ((-15)/25)/(-2 - (-1)/2). Is t less than 3010?
True
Let u be (-1 + (4 - 1))*1. Let s be ((-16)/144)/(u/(12/(-34))). Is 0 >= s?
False
Suppose 0 = -3*v - 2*v + 20. Suppose 0 = 4*s - v*j - 16, -5 = 5*j - 0. Let u = 743 - 743.1. Is s greater than or equal to u?
True
Let l = 16 + -28. Let t be (-3)/l + -2 + 259/20. Is t at least as big as 10?
True
Let n be ((-8)/(-72))/((-4)/(-18)). Are -111/2 and n non-equal?
True
Let h(u) = u**2 - 2*u - 9. Let v = -55 + 59. Let b be h(v). Which is bigger: b or 3/20?
3/20
Let f(t) = -t**2 + 3*t + 4. Let m be f(4). Let w = 1947 - 1953. Is w less than m?
True
Let i(x) = -x**3 + 12*x**2 + 30*x + 4. Let r be i(14). Is r <= 34?
True
Let f = 490/14841 - 4/153. Let i = f - 628/6693. Which is greater: i or -1?
i
Suppose 2*f - 4*r - 4 = 0, -4*f + 17 = -2*r + 3*r. Suppose -20 = -9*m + f*m. Let b be (-2)/(-8) - 5/m. Is -1/8 not equal to b?
True
Let m(w) = -w**2. Let n(o) = -3*o**2 - 16*o + 10. Let h(y) = 2*m(y) - n(y). Let t be h(-16). Let f be 10/25*t/18. Are f and 0 equal?
False
Let x = -5.22 - -2.25. Let q = -0.03 + x. Let t be 2/(5 - 4)*(-2)/4. Which is greater: t or q?
t
Let m = 805.7 - 806. Is -128 greater than m?
False
Let s = 6 - -6. Let y = -2 - -13. Let v = y - s. Does v = -1/17?
False
Let o be (2/6)/(6/(-4)). Let q = 807 + -808. Is o > q?
True
Let p(m) = -7*m + 2. Let k be p(8). Let b be -57 + (0 - 5 - -8). Is b <= k?
True
Let g(o) = 2*o - 20. Let j(b) = b - 7. Let x(l) = 6*g(l) - 17*j(l). Let c be x(-1). Suppose -p - 5 = c*p. Is -2/9 less than p?
False
Let m be ((-6)/(-2))/6*26. Suppose -5*r - 2 = m. Let q be ((-1)/3)/(r/18). Is q greater than 3?
False
Suppose v = -0 - 16. Let i = -98 - -113. Let w = i + v. Which is bigger: -2/11 or w?
-2/11
Suppose -76 = -1054*l + 1058*l. Suppose 4*g + 0*g = -80. Are l and g equal?
False
Let h be (-21)/12*(-7 - 1). Let m = h - 11. Is m > 4?
False
Suppose -40 - 100 = -10*f. Which is bigger: 5 or f?
f
Let j be (-2)/10 + (-39)/260*-4. Is j <= 462?
True
Let m(w) = 8*w + 16. Let x be m(-2). Is -47 less than x?
True
Suppose -25 - 5 = 2*h - 2*q, -2*q + 50 = -3*h. Let b be ((-55)/h - 3)/(1/2). Which is smaller: b or -0.03?
b
Let q = 1838/255 + -2/255. Is 6 smaller than q?
True
Let j be -3 - 4*(63/12)/7. Let w be 45/(-105)*(-20)/j. Which is bigger: w or -2?
w
Let a = 96.76 + 1.24. Let z = a + -97.9. Which is smaller: z or -64?
-64
Suppose -6 = 4*m - 3*x - 41, 3*m - 4*x = 28. Suppose 6*b = 3*b. Let v(j) = -j**3 + j**2 - j + 8. Let o be v(b). Is o equal to m?
True
Let o(c) = -c**2 - 2*c + 4. Let v be o(-4). Let s be (-4)/12 - 76/(-3). Suppose 0 = -5*j - s, -4*y = 2*j - 7*j - 9. Does v = y?
True
Let b = 98304220/8313 + -201020/17. Let x = -2/163 - b. Is x greater than or equal to -2/21?
False
Let k = 2.8 + 0. Let o = k + -12.8. Which is smaller: o or 1/2?
o
Let d(t) = -34*t - 1045. Let a be d(-31). Are -28 and a equal?
False
Let m = -3 + 3. Suppose -f = -3*k - 1 - 6, -3 = 3*k. Let j be (6/20)/(f/5). Which is greater: m or j?
j
Let o be ((-13)/(-39))/((-1)/3). Let v = -2861/36 - -159/2. Which is smaller: o or v?
o
Suppose 29*u - 1472 = -7359. Which is greater: -204 or u?
u
Let a be ((-3)/(-9))/(1/(-3)). Let f be (0 + a)/((-16)/9520). Let b be (-5)/(-3)*34/f. Which is smaller: b or 1?
b
Let d = 3.3 + -2.3. Let a = d + -0.8. Which is greater: a or -0.13?
a
Suppose -r - 5*d = -607, 0 = 3*r + d + 3*d - 1832. Let i be ((-3)/(-2))/(27/r). Which is bigger: i or 33?
i
Let n be 2/24*32/(-6). Let r be (-28)/(-10) + -1 + 12/10. Suppose 5*i + r + 12 = d, -5*i = 15. Which is smaller: n or d?
n
Let n be (0 + (-69)/6)*2. Let u = 