)/((380/(-153121))/(-20)). Which is bigger: 8056 or f?
f
Let n = -3235995/1207 - 17172/71. Let m = n + 2931. Which is smaller: 9 or m?
m
Let k = 45.21 - 53. Let m = k - 1.21. Which is smaller: 0.3 or m?
m
Let a = 48 + -34. Let f = a + -14. Let i = 0.1 - f. Is i smaller than 2.3?
True
Let x(i) = -i**3 - 5*i**2 - 5*i - 7. Let k be x(-3). Suppose 7*w + 0 = 21. Let n be (7 + -6)*(2 + -35)/w. Is k less than n?
False
Let z = 23797/7 + -3400. Is -256 equal to z?
False
Let s be (-2)/((-4)/3481) + -45*(-32)/(-576). Is s < 1740?
True
Let j(c) = -112*c + 2688. Let t be j(24). Is t less than -19/238?
False
Let t(o) = o**2 + 16*o - 198. Let c be t(-43). Which is smaller: c or 961?
961
Suppose -x + 1056 = -3*x + 4*m, 2*x + 5*m = -1074. Let g = -530 - x. Is 36/31 equal to g?
False
Suppose -g = -2*g - 69. Let r = 66/7 + -205/21. Is r < g?
False
Let i = -142 - -140. Let h(f) = -19*f + 5. Let w be h(i). Let n = w + -42. Which is greater: n or 2/43?
n
Let c be (-3)/(-5) + (-168)/105. Let t be 4/16 + (-13)/12. Let j = t + 77/78. Is j <= c?
False
Suppose -3*i + 54 = 6*i. Let r be (10 - -1) + -5 + i. Let s = 10 - -3. Which is greater: s or r?
s
Let w be (29/(2610/(-1188)))/((-2)/(-10)). Suppose -390 = 8*c - 2*c. Which is smaller: c or w?
w
Let z be (-15)/(-12)*(104 + 0). Let d = -21 + z. Is 109 smaller than d?
False
Let g = 2180/3 - 618. Let d = g + -85. Which is smaller: 23 or d?
23
Let a = 29373 + -29372. Let z be (4096/341)/(-4) - -3. Is z greater than or equal to a?
False
Let y be (-36)/(-27) - 66/225*4. Are -1.1 and y non-equal?
True
Let n(x) = -14*x + 118. Let b(f) = -5*f + 40. Let y(c) = -8*b(c) + 3*n(c). Let r be y(-13). Do 61 and r have the same value?
False
Let d be -2 + 307/184 - 10/(-30). Let g = d + 797/169464. Is g smaller than 1?
True
Suppose 5*w + 12 = -3*c - 0, -c = -3*w - 10. Suppose -4*z = 20, -2*i + 3*i + c = 2*z. Is -8 equal to i?
False
Let b be 135/90*83/(-6)*-4. Let i(s) = 4*s**3 + s**2 - 5*s + 2. Let l be i(-3). Let x = l + b. Is x greater than 1/44?
True
Suppose 0 = -3*n - 373 + 70. Let p be ((-2)/(-4))/(1111/(-222200)). Which is greater: n or p?
p
Let m(t) = t**3 - 6*t**2 - 2*t - 30. Let f be m(7). Suppose -20 = -2*h - 2*h, f*h = -2*v - 13. Is -19 at most as big as v?
True
Suppose -3113 = 3*o + 4*j, 4*o + 4176 = -12*j + 13*j. Are -1043 and o nonequal?
False
Let c be 196 - (-16)/(80/25). Let f = -103 - -305. Which is smaller: c or f?
c
Let n be (-1 - 0)/(1/(-17)). Suppose l - 309*m + 314*m - 51 = 0, -l - m + 23 = 0. Is l >= n?
False
Let t(v) = -v - 8. Let i be t(-5). Let r be (-4)/4 + i + 11. Let k be (-1 - (-13)/r) + 2/14. Which is smaller: 2/107 or k?
2/107
Let h be 3 - 9 - 1209/(-202). Is h > 0?
False
Let n = -11 + 14.8. Let u = -2.8 - n. Let a be 1*(-8)/10*115/138. Is a bigger than u?
True
Let j be -7*(4*-6 + -4). Let c = j - 196. Which is smaller: c or -17?
-17
Suppose -476*v = -481*v + 5. Which is bigger: 13/121 or v?
v
Let s(w) = w**3 - 33*w**2 - 36*w + 75. Let h be s(34). Let a be h/(-28) - 45/12 - -40. Is a greater than 35?
True
Suppose 4*d - 625 = 3*h + 383, 0 = -5*h. Let a = d + -251. Let k = -41 + 1027/25. Which is bigger: k or a?
a
Suppose 34*i - 1122 = 136. Let m(n) = n - 81. Let t be m(i). Is t < -52?
False
Let h(d) = d + 1. Let k be h(4). Suppose -k*j = -2*b - 274, -3*j - 2*b + 212 = j. Do j and 52 have different values?
True
Suppose 3*y + 92 = 4*z, 0*y + 23 = z + 5*y. Let g = z - 205/9. Do g and -2.2 have the same value?
False
Let n(s) be the third derivative of -s**6/120 + 41*s**5/60 - 13*s**4/4 + s**3/6 - s**2 - 10. Let y be n(39). Is 8/39 at most as big as y?
True
Let m = 34976 - 40537873/1159. Let t = m - -17/61. Is t < 0.07?
True
Suppose 42*y + 216832 = 87*y + 131*y. Is y smaller than 1232?
False
Let h be 580/16 + 10/(-40). Let g be -3 + -12 + (-18)/h. Suppose 3*v = n - 3*n - 56, 4*n + 16 = 0. Which is greater: v or g?
g
Let l = -5848 + 29236/5. Is l at most 24/7?
True
Suppose -3*f + 384 = 5*x, -25*x + 30*x + 2*f = 381. Let j be (1/3)/((-25)/x). Which is smaller: j or -4/11?
j
Let w = 22474 - 22470. Do 176 and w have different values?
True
Let u = -3968/610341 - 14/1569. Which is bigger: 1 or u?
1
Let b = 53750 + -5106202/95. Which is greater: b or 1?
1
Let s be (87/249400)/(15988/7985 + -2). Let b = s - 13/80. Which is bigger: -1/5 or b?
b
Let k be (-6)/(-14)*(-2)/(-3). Let n = 5369 + -5134.9. Let i = 234 - n. Which is smaller: k or i?
i
Let p be ((-8)/62)/((-2)/(-8)). Let a be (10 - 2) + 196992/(-25792). Let d = p + a. Which is bigger: d or 1?
1
Suppose -o + 465 = 11*k - 14*k, 9 = -3*o. Let i = -213/2 - -106. Which is smaller: k or i?
k
Suppose -f - 33 = -2*l, 13 = -3*f - 2. Suppose 118 - l = -8*k. Let r = 18 + -30. Which is bigger: r or k?
r
Let v be 3 + -7 - (-336 - -2). Suppose 0 = -2*x - 28*x - v. Is x at least -11?
True
Let h be (-3528)/(-1008)*((-16)/(-392378))/2. Which is bigger: h or 1?
1
Let p(b) = -2*b**3 + 11*b**2 - 19*b + 24. Suppose 13*x - 70 - 8 = 0. Let y be p(x). Which is smaller: -125 or y?
y
Suppose 0 = -122*q + 3542 + 2070. Is -112 <= q?
True
Suppose 14*o = -74*o - 4*o + 193568. Which is greater: o or 2106?
2106
Let y be -2*133 + 2*-1. Let s be (28/(-6) + (-4495)/(-870))*-532. Is s not equal to y?
True
Suppose -2*u + 3 = -17. Let m(x) = x**3 - 3*x**2 + 8*x - 14. Let b be m(6). Let r = b - 131. Is r at most u?
False
Let z be ((-645)/10)/(11/44). Do z and -262 have different values?
True
Let g(r) = -r**3 - 10*r**2 + r + 15. Let q = 40 - 50. Let d be g(q). Suppose -26 = -4*f + 2*w, -3*w + 36 - 9 = d*f. Which is bigger: 7 or f?
7
Let x = -1.13719 - -0.13719. Which is smaller: x or -2326/7?
-2326/7
Let s = 238 - 222. Let m(y) = -9*y - 1. Let d be m(-2). Which is smaller: s or d?
s
Let p = 2200.1 + -2200. Is p at most as big as 12.09?
True
Let h = 4561 - 2836. Is h equal to 1726?
False
Let n = -190 - -239. Suppose r - 155 = -4*y, n*y = 51*y + 5*r - 91. Let j(c) = c + 39. Let f be j(0). Which is greater: f or y?
f
Let d = -633 + 697. Which is bigger: -1.3 or d?
d
Let l = -50/21 + 19/7. Which is greater: l or -17/44?
l
Let z = -1.56 + -164.44. Let b = z - -165.7. Suppose -2 = -g - 0, 5*s + 74 = 2*g. Is b greater than s?
True
Let l = -48821 + 48821. Let z = -2/45 + 14/15. Which is smaller: z or l?
l
Let v = 1.1928 - 0.1928. Which is smaller: 0.406 or v?
0.406
Let k = -19 + 11. Let b = k + 3. Suppose 468*s = 463*s + 15, 5*z + s + 12 = 0. Which is smaller: z or b?
b
Suppose 305*j + 373 = 304*j. Is -1 > j?
True
Let p(k) = 73*k - 469. Let j be p(7). Suppose q + d = 3*q - 28, d = -3*q + j. Let h = -2.06 + 0.06. Is q at most h?
False
Let r = -0.0432 + -0.0097. Let v = r + 12.0529. Let i = 2 + 0. Are v and i equal?
False
Let y be ((-22)/10)/((-9)/(-10)). Let q = y + 173/126. Let o = 19/14 + q. Do 7 and o have different values?
True
Let z = 11684 + -12875. Which is smaller: -2 or z?
z
Let h be (4/10)/((-18)/(-630)). Let y be (3/5)/(h/70). Let b be y - 6/(-2 + (-1 - -5)). Is b < 0.16?
True
Suppose -3*q + 18 = -4*w, 0 = 123*q - 119*q - 24. Which is smaller: w or 1/2573?
w
Let f = 374015066/6435 - 58122. Is -1 greater than f?
False
Suppose -3*i - 4 = -f, 22 = -4*i + 5*f + 2. Suppose -10*l + 95 + 555 = i. Suppose -l = -4*p - p + 4*d, 2*p - 2*d - 24 = 0. Is p > 16?
True
Let h(w) = 1355*w**3 - 8*w - 9. Let d be h(-1). Is -1355 > d?
True
Let x be -19*(11 - 5) + -3. Let v = -113 - x. Suppose 176 = -4*a - 2*s, 94 = 2*a - v*a + 2*s. Are -46 and a nonequal?
True
Let b = 5/12 + -41/60. Let s = 8.0762 - 8.1. Let z = 0.0762 - s. Is b > z?
False
Let l be 1 - (-3 + 1 - -4). Let p be (-22)/8 - 1 - 9/(-27)*6. Which is smaller: l or p?
p
Let h(z) = 2*z**2 + 4. Let t be h(0). Let a(o) = t*o**2 - 11 - 16*o + 16 - 5. Let x be a(4). Which is smaller: -8 or x?
-8
Suppose 0 = 2*r - 5*f + 20, 4*f - 44 = -3*r + 6*r. Let d be 167/(-10) + 19 + -21 + (-238)/(-140). Does d = r?
False
Let b(x) = -3*x - 15. Suppose 31*z - 28*z + 12 = 0. Let j be b(z). Let c be (82/(-26) - j) + 2/13. Which is bigger: c or -4/19?
c
Let g be ((-3)/(-520)*2)/((-10647)/(-338)). Which is smaller: 0 or g?
0
Let o = 1684/15 + -1687/15. Which is greater: -5.36 or o?
o
Let f = -225/2 + 11473/102. Let a be (2 - 4)/((-40)/180). Suppose a - 9 = 11*r. Which is smaller: r or f?
f
Suppose 7241 = 5*n + 24136. Let p be (-236)/885 - (-9680101)/(-2865). Let v = p - n. Which is s