. Let m be 0/(-4) + 0 + w. Is m at most 2/353?
True
Suppose 0 = 2*o + 4*f - 38, 0 = -2*f - 189 + 209. Let t be (2/2)/((-1059)/6). Which is smaller: t or o?
o
Let u be (58581/2323 - 27)*8/(-6). Is u less than or equal to 1?
False
Let v be ((-189)/35)/((-16)/560). Which is smaller: v or 210?
v
Suppose 3*z + 1 = 2*q, -2*z + 7*z + 3 = 4*q. Let w(o) = 5*o + 4. Let f be w(q). Suppose 5*h + 2*b + f = -119, -80 = 3*h + b. Which is greater: -25 or h?
-25
Let x(l) = -1397*l + 19559. Let j be x(14). Is 1/737 > j?
False
Let j be 3/6 + 11/2. Let b = 707411/11 - 64311. Which is greater: j or b?
j
Suppose -23400 = 62*b + 38*b. Let w(s) = -s**3 + 1050. Let z be w(0). Let i be (-1)/(-7) + b/z. Which is greater: i or 1/4?
1/4
Let v be (5 - 30)*(-1)/(1 + 0). Let b be (4 + 41/(-10))*v/(-10). Is -1/46 at most b?
True
Suppose 2*b - c + 41 = 10, -c - 88 = 5*b. Let f(n) = 6*n - 20. Let t be f(b). Let d = -123 - t. Which is smaller: -2/207 or d?
d
Let g = -49.2046 - -0.2046. Let c = 24 - 72. Let p = g - c. Do 2/3 and p have different values?
True
Let m = -1159.5 - -1159.4. Which is smaller: -3705 or m?
-3705
Let t be (-1 + 1406/(-1))/((-872)/(-2616)). Is t less than -4221?
False
Let x(q) = 5*q**2 + 19*q + 89. Let h(g) = 4*g**2 + 20*g + 89. Let u(j) = 4*h(j) - 3*x(j). Let s be u(-21). Which is greater: s or 93/2?
s
Let p be (-585)/1300 + 1/5. Let q = 2.52 + -2.7. Let w = q + 2.48. Which is greater: p or w?
w
Suppose 0 = -2*q - 0*q - k - 139, -148 = 2*q - 2*k. Let h = 65 + q. Let f be 2 + (-4 - h)*-1. Which is smaller: f or -1/110?
-1/110
Let v be 24*(-11)/176 + (-26)/(-12). Let l = 70 - 18. Which is smaller: v or l?
v
Let k = -102518681/597 - -171723. Is 1 bigger than k?
True
Suppose f - 3*t = -5*t + 3, 0 = -4*t + 16. Let u be (133/14 + f)*(5 - -1). Which is smaller: u or 5?
5
Suppose 2*k + a - 6*a = -198, 0 = a. Let c = 12908 + -13006. Which is greater: k or c?
c
Let p(b) = -2*b**2 + 1. Let r be p(-1). Let i be 2 + ((-6506)/2952 - 16/(-72)). Which is smaller: i or r?
r
Let x be 33/7 + (-190)/(-665). Which is smaller: x or 45.8?
x
Let f be 1117297/2686 - (-1)/34. Which is smaller: f or 2076/5?
2076/5
Suppose -y - 5*d + 724 = 0, 3*y - 5*d + 3700 = 8*y. Let p be (2/(-6) - 0)/(6/y). Is p < -40?
True
Let k(h) be the second derivative of -14*h + 3/2*h**3 - 3/2*h**2 + 0 - 1/20*h**5 + 2/3*h**4. Let g be k(9). Is -3 equal to g?
True
Let x = 95615 + -234830443/2456. Is 1 <= x?
False
Suppose -3*x = -x - 4. Suppose x + 1 = 3*y. Let k = 2/41321 - 2531/23612. Which is greater: y or k?
y
Let r be -6 + 2 + 12210/3055. Let s = 603/2444 - r. Which is bigger: -65 or s?
s
Let d(r) = r**3 + 4*r**2 - 10*r - 1. Let l be d(-6). Let s = -9 - -5. Let f = s - 7. Which is smaller: f or l?
l
Suppose -83*v = -4*i - 84*v - 642, -4*i = 4*v + 636. Is -162 equal to i?
False
Let w be ((-306)/4)/(1/(-2)). Let v = 13331/96 - -495/32. Which is smaller: v or w?
w
Let j = -5/4739 - -22352/7710353. Which is smaller: j or 1?
j
Suppose -23 = -j - 10. Let l(u) = u**3 - 12*u**2 - 14*u + 13. Let i be l(j). Suppose i*c = -c. Which is smaller: -7/6 or c?
-7/6
Let h be (1 - -6) + 451 + 32. Let l = -502 + h. Is -0.2 less than l?
False
Let d be -1*1/(-4)*-4. Let m be d/5*0 - -3. Let z be 2/(-6)*(0 + m). Which is bigger: z or -3/65?
-3/65
Let m be (-2 + 3)*(-9 - -10). Which is bigger: m or -4/131?
m
Let w = 0.5566 - 0.1566. Which is smaller: -179 or w?
-179
Let t = 143 + -139. Let m be ((-4)/1442)/((9 - t)/(-5)). Which is smaller: -1 or m?
-1
Suppose -20 = 4*z, 34*z = 5*j + 29*z - 530. Let h = j - 112. Let b be (-2)/(0 + 1/6). Is b >= h?
False
Suppose -5*p = x - 140 - 56, -5*x = p - 20. Let a be 1 - p/35 - 814/(-14). Suppose 56 = -2*d + a. Which is bigger: d or 1/32?
d
Let p be (-1)/((-8)/4)*(-2 + 136). Let w = 69 - p. Suppose w*x = -2*y - 0*y - 42, -2*x = -y + 27. Which is greater: -19 or x?
x
Let b(x) = -4*x**3 + 2*x**2 - x - 9. Let g(v) = 2*v**3 - v**2 + 4. Let n(y) = 2*b(y) + 5*g(y). Let h be n(-5). Which is smaller: h or -262?
h
Suppose 29*i - 17226 + 631 = -1863. Are 497 and i unequal?
True
Let q be 5/((-255)/(-68)) - 2384/(-156). Is -1 smaller than q?
True
Let l be (-8)/10 - (-117)/260*4. Is -5/914 at most l?
True
Let y be (-56)/33 - (168/(-63))/(-4). Suppose 3*u - 2 = 2*x - 6, u - x + 1 = 0. Do y and u have the same value?
False
Let v = -21.2 - -38.6. Let f = -17.5 + v. Let z = -14 + 2. Is f bigger than z?
True
Suppose -3*n + 16 = 4. Let q(t) = -2*t + 13. Let m be q(n). Suppose m*k - 2*f + 50 = -4*f, -5*f - 25 = 0. Is -9 smaller than k?
True
Suppose -610 = -4*y + 2*r, y - 3*r = 3*y - 285. Let f be (-40)/y*3/10. Which is greater: 1 or f?
1
Let m = -9.2 - -32.2. Let w = -265.62 - -242.8. Let p = w + m. Is 1/4 >= p?
True
Let f = -144.07 + 144.07. Which is smaller: 6763 or f?
f
Suppose z = r - 18 - 11, -5*r - z + 139 = 0. Which is bigger: 113/4 or r?
113/4
Let s be (-4)/(-44) + (-276)/132. Let c be (-7868)/140 + s + 1. Is -56 smaller than c?
False
Suppose -i - 7715 = 5*c + 6744, 0 = c + 5*i + 2911. Which is smaller: c or -2892?
-2892
Let c = 299.6 + -298.6. Let n = -35 - -11. Let o be (-2)/3 - n/9. Which is greater: o or c?
o
Suppose -3*i + 355 = 5*a, -i + 4*i - 315 = 3*a. Suppose i - 1103 = -3*o. Is 330 less than or equal to o?
True
Let x(i) = i**2 + 181*i + 880. Let a be x(-5). Which is bigger: -3/265 or a?
a
Let s(v) = 196*v**2 - 11*v + 38. Let y be s(3). Which is smaller: y or 1768?
1768
Let v = 639 - 638. Let u be (2 - (-303)/27)*v. Are u and 0.1 nonequal?
True
Let s = 15256 + -75135799/4925. Which is smaller: s or 1?
s
Suppose -6*a = -10*a + 12. Let g be (-1 - 48/78)/1 - (-10)/2. Which is greater: g or a?
g
Let g(p) = -23*p + 878. Let q be g(47). Which is smaller: q or -202?
q
Let c be ((-55)/198)/(65/(-39)). Let l = 2.6 + -2.5. Let z = l - -11.9. Which is greater: z or c?
z
Let z be (6 - (4 + 0)*2) + -2. Suppose -5*k - 5 - 5 = 0. Is k less than z?
False
Let x = -1.6 + 1.65. Let l = -585 - -596.95. Let h = l + x. Is h at least as big as 2?
True
Let q = -15/113 - 14291/452. Suppose u - 4*z = -20, 2*u + 5*z = 26 - 105. Is u less than or equal to q?
True
Let j(q) = q**3 + 37*q**2 - 94*q - 624. Let l be j(-39). Which is greater: -4 or l?
l
Let n(j) = 114*j - 2656. Let z be n(39). Is z <= 1790?
True
Let f be 27/(-63) + (-164338)/(-327579). Let s = 12/821 + f. Which is smaller: s or 0?
0
Suppose 66 = -3*w + 204. Let i = w - 43. Let n be 1/i - (-88)/(-30). Which is smaller: -2 or n?
n
Let n = -0.2973 - 41.7027. Which is smaller: n or 5/11?
n
Suppose 35*r - x = 30*r - 5, r - x + 1 = 0. Let k = 15447/13 - 1189. Do r and k have the same value?
False
Suppose -3*s - 4*x = -0 - 11, -5*s = -x - 26. Let q be (8/3)/(((-5)/(-12))/s). Let g = q + -26. Which is bigger: g or -2/13?
g
Suppose -3*i - 34 = -40. Suppose -239 + 85 = i*c. Is -78 at most c?
True
Let r be 55/3 - (-15)/(-45). Suppose -29*y + 847 = -r*y. Which is bigger: 76 or y?
y
Let m = -5523 - -16489/3. Is m greater than or equal to 10?
False
Let d = 1197 - 136459/114. Let v be 36/44 + 9/((-297)/(-6)). Which is smaller: d or v?
d
Let k = 0.0521 + -8.0521. Which is greater: 3/68 or k?
3/68
Let c(w) = -w**2 - 5*w + 85. Let x = -848 - -836. Let y be c(x). Let b be (0 + 0 - -1)*3. Are y and b unequal?
True
Suppose -3*u + 15*w = 17*w + 48, 3*w = 4*u + 81. Let i = -81 + 66. Which is smaller: i or u?
u
Let v = -2.224 + 1.424. Let o = -3 + -13. Which is greater: o or v?
v
Suppose 7*i - 4*i - 2*p - 24808 = 0, 2*i + 3*p - 16530 = 0. Let m be (-2535)/i - 1/(-4). Is 0 smaller than m?
False
Let z be (-8)/3*(-51)/(-34). Let i be z/18 - (-20075)/(-585). Let u = -33 - i. Are u and 3 non-equal?
True
Let z be ((-392)/126 - -3)*((-12)/(-62) + 0). Which is smaller: z or -1?
-1
Suppose 15*w + 42*w + 17*w = -104562. Is 0 less than w?
False
Let i be -2 + 49/21 - (-8)/3. Suppose 0 = a - 4*o, i*a = 4*o + 7 + 9. Which is smaller: 64/9 or a?
64/9
Let b = 185/43 + -2121/473. Are -662 and b non-equal?
True
Let l(v) = -8*v**3 + 7*v**2 + 6*v - 80. Let w be l(-8). Is w != 4417?
True
Let y = 3366 - 3365.8. Is -900 equal to y?
False
Let s(h) = -109*h**2 - 323*h + 6. Let v be s(-3). Which is smaller: v or -89?
-89
Let t be -18 + 5/(-200)*-710. Which is smaller: 1300 or t?
t
Let l = 259.306 - 0.306. Let y = 375 - l. Which is greater: y or 0.1?
y
Let u(g) = g**3 - 9*g**2 + 5*g + 2. Let r be u(7). Le