4 or o?
o
Let b be (-1 + -3)*(-6)/6. Let z(i) = -i**3 - 7*i**2 - 7*i - 4. Let y be z(-6). Suppose -b*f = y*f - f. Are -8/23 and f equal?
False
Suppose -2*f - 2 = 5*d, -2*f - 7 = -15. Let p be (d/5)/(-1 + 92/20). Let w = 2.3 - 3. Is w equal to p?
False
Let l = 87.11 + -0.11. Let u = -10 + l. Let c = 68 - u. Which is greater: -2/7 or c?
-2/7
Suppose -3*x = -5*s + 2*s, 0 = 2*x - 5*s + 6. Suppose -5*g = 2*y - x*g + 19, -3*g - 17 = y. Suppose 4*w + 0*w = 4. Are w and y nonequal?
True
Let z = -28365 + 28363. Which is bigger: 1.703 or z?
1.703
Suppose 3*i = 4*v - 38, 31 = 4*i - 4*v + 75. Is -194/39 bigger than i?
True
Let m = -412/13 - -5009/156. Is -58/7 at most as big as m?
True
Let l = -14389 + 129676/9. Which is smaller: l or 20?
l
Suppose 0 = -927*a + 914*a - 72696. Which is bigger: a or -1/3?
-1/3
Let x = -3643678 + 2896726124/795. Let r = -2/265 - x. Suppose -11 - 9 = 5*a. Which is smaller: r or a?
a
Let p be (-6724)/34440 - 10/(-7). Which is bigger: p or 1?
p
Let j = 3229 - 3211. Which is smaller: j or 10?
10
Suppose 1834*m - 18729 = 1843*m. Do m and -2085 have different values?
True
Suppose 3904 = 4*v - 304. Which is bigger: v or 1054?
1054
Let j(f) = -f**3 - 5*f**2 + 7*f + 47. Let t be j(-4). Do 23 and t have the same value?
False
Let x = -17 - -15. Let v(o) = -o**3 + 8*o**2 - 10*o - 19. Let d be v(6). Is x smaller than d?
False
Let x be (-2 - 2)*3/(-24)*-6 - -136. Are 0.11 and x equal?
False
Suppose -2*h = j + 16, -5*h + 3*j = 75 - 24. Let z be 0*(8 + 69/h). Which is greater: -1/727 or z?
z
Suppose -2*l = -5*c + 1808, -114 = c - 2*l - 466. Which is smaller: 374 or c?
c
Let y(h) be the first derivative of h**6/360 - h**5/120 + h**4/24 + 2*h**3/3 + 1. Let d(i) be the third derivative of y(i). Let b be d(2). Is 4 not equal to b?
True
Let m be (-3)/(2418/(-218)) - 2. Let v be ((-25)/(-15) + (-1480)/1248)*-4. Let r = v - m. Does r = -1?
False
Let c = 6713 + -6701. Suppose -4 = -4*x + 4*k, 0*x - 5*k = 2*x - 2. Which is bigger: c or x?
c
Let o be 14/(-21) - (-253112)/(-6). Let v be o/(-198)*(3 - 0). Let z = 640 - v. Is z at least as big as 0?
True
Suppose 258 - 275 = -g. Let s be 1/(-2) + 5/2. Suppose m - 7 = -s*z, -5*m + 0*z = 4*z - g. Which is smaller: m or -2/195?
-2/195
Let o = -7643 + 7662. Is o < 706/37?
True
Let l(z) = z**2 + 4*z + 15. Let i be l(9). Let n = -2262/17 + i. Let v = n - -196/153. Is -1/46 < v?
True
Let g = -7756.05 + 7510. Let w = 252 + g. Let d = w - -0.05. Is d at most -0.3?
False
Let u = 915 - 3605/4. Let o = -133/12 + u. Let w be 2/4 - (-1)/6. Do w and o have different values?
True
Let f = 374 - 370. Suppose -9*j - 168 = -f*j + 3*k, -4*j - 5*k - 137 = 0. Is j at least -4/7?
False
Let v = -29 - -30. Let p be (v - (-5)/(-3))/(319/(-284196)). Let i = p - 594. Is i less than -2?
False
Let q = 24.08 + -127.37. Let t = 0.71 - q. Let h = -105.3 + t. Which is greater: h or 0.2?
0.2
Suppose 0 = 2*j + 4 + 14. Let h be 11*(3/9)/((-3)/j). Let t be -4*(h - 7) + 4/1. Is t equal to 2/5?
False
Suppose -277 = -0*l + 4*l - 3*c, 2*c = -2. Let s = -72 - l. Let f be (4 + -3 + 15)*(-3 - s). Are -16 and f equal?
True
Let f be (-58754)/(-145) - 2/10. Is f not equal to 407?
True
Let y(s) = -34*s**2 - 2789*s - 130. Let x be y(-71). Which is greater: x or 26494?
x
Suppose -2*v = 2*a - 4, -19*v = -5*a - 20*v + 10. Which is smaller: a or 424?
a
Let j = 3103/182 + -31/26. Suppose 80*o - 321 = -208 + 1087. Does j = o?
False
Let y = 806.44 - 807. Let d = y + -5.44. Is d at most as big as -1/4?
True
Let x(d) = 10*d - 8. Let z be x(10). Which is greater: z or 95?
95
Let l = -0.01 - 0.69. Let m = -0.7 - l. Let x = 5592 + -5592.8. Which is greater: m or x?
m
Suppose 0 = 2*b - 5*b. Let l(d) = -2*d**2 - 15*d - 10. Let r be l(-7). Let v be ((-4)/(-20))/(r*38/(-15)). Are b and v non-equal?
True
Let u be (-353898)/(-472) - 1/(-4). Suppose 0 = 5*a + 4*v + 2542 + 1224, -3*a = -4*v + 2234. Let t = u + a. Which is greater: t or 0?
t
Let i(j) = -j**3 + 7*j**2 - 5*j - 6. Let c be i(6). Suppose -2*n = 2 + 6, -k + n + 2 = c. Let o be 0 - (24/(-10) - k). Which is smaller: o or -8?
-8
Suppose -5*o + c + 13 = -1, 0 = -5*o - 5*c + 20. Suppose o*h = 3*y + 5*h - 1, 3*y - 7 = -5*h. Is 1/78 greater than y?
True
Let d = 0.43 - -0.77. Let s = 1.65 - d. Let g = -116 + 582/5. Are s and g non-equal?
True
Suppose 0 = -4*l - 5*t - 2676, -2*t + 3*t = -2*l - 1338. Let r = l + 35456/53. Is r less than 0?
True
Suppose -o - 5*s + 29 = 0, -4*o + 4 + 2 = -2*s. Suppose 0 = 2*b + v + 13 + 95, -o*b - 224 = 4*v. Is b at least -52?
True
Let i be ((-160)/115)/((-267)/(-109) + -2). Let f be 45/(-207) - 1*3. Let w = i - f. Which is smaller: 0 or w?
0
Let f be (-125125)/(-42) - (24/(-27) - 6/(-27)). Which is smaller: f or 2981?
f
Let t be (-3934683)/2503809 - -2 - (2 - 44/28). Is 1 at least as big as t?
True
Let h = 182 + -182.1. Let x = 0.21 + h. Is -1 >= x?
False
Let a(r) = -r**3 + 27*r**2 - 24*r + 36. Let f be a(34). Which is smaller: f or -8873?
-8873
Let x = -71555/86 - -832. Let f = x - -7/86. Is -1 smaller than f?
True
Let z be -4 - (-3 + 8 + -18). Suppose -44 = -0*h - 4*h. Suppose -z + 31 = -h*f. Which is greater: f or -7/5?
-7/5
Let s = -149 + 188. Let i be (4/(-6))/((-1001)/111 + 9). Is s equal to i?
False
Suppose 14862 - 14286 = 12*m. Is m < -5?
False
Let l(x) = x**2 - 406*x - 28648. Let o be l(-61). Suppose 2*p - 63 + 380 = w, 0 = 5*p - 2*w + 792. Is p at least o?
True
Suppose 0 = 3*o + 2*f - 27 + 31, 0 = -3*o - 3*f - 3. Is o <= 0.0506?
True
Suppose 0 = -3*c - 407 + 2441. Let l = 1445 - c. Let i = 82071/107 - l. Which is smaller: i or 1?
i
Let g be (-1)/(-4) + 6/(-3). Let q be 1998/(-10) - 12/(-15). Let v = q + 197. Which is smaller: v or g?
v
Suppose -20*p + 3392 = -18*p. Let v = p + -652956/385. Let l = 6/35 + v. Which is smaller: l or 0?
0
Let a = -28.7 - -39.7. Let p = a + 153. Is p smaller than 0?
False
Let d = 48915/13 + -3763. Let t = -0.1 - -0.07. Which is smaller: t or d?
d
Let z = 303 - 118. Let h = z - 185. Suppose 0 = -5*c + 4*c - 15. Is h >= c?
True
Let k = -79/5165 + -74399/79541. Let m = -32/35 - k. Which is greater: -1 or m?
m
Let w = -73.82 - -73.8. Let b(k) = 5*k**3 + 5*k**2 - 5*k + 2. Let r be b(3). Let t = r - 671/4. Is t at least w?
False
Let k = -391 + 563. Suppose k = -5*c - 13. Is -36 > c?
True
Let w be ((-2538)/4 - 7)*8/(0 - -4). Which is bigger: -1284 or w?
w
Let o(p) = 58*p + 363. Let j be o(-6). Suppose -7*x = -3*y - 2*x - 384, -j = 5*x. Is y <= -134?
False
Suppose -5*z - 28 = 3*y - 0, 4*z + 20 = -3*y. Let x = 12 - z. Let g be x*(54/15 + -4). Which is bigger: g or -6?
-6
Let c(g) = -29*g + 2195. Let j be c(76). Which is smaller: -8/9 or j?
j
Suppose -5*q - 50 = -60. Suppose -2*p + 534 = 3*f, -q*f - 262 = -p - f. Does p = 266?
False
Suppose 5*d + d = 0. Let a be (-5)/15*3*d. Let p be 26 + -21 - (a + 0). Are 4 and p unequal?
True
Suppose i = -4*y - 4*i + 660, 330 = 2*y + 2*i. Suppose -y = -5*v - 150. Which is smaller: v or 13/4?
v
Let j = 5898 + -418783/71. Does -1 = j?
False
Let k = -20.73 + 17. Let a = k + 3.23. Which is smaller: a or 2/9?
a
Suppose -1965 = -9*j - 6951. Let d = 430 + j. Which is greater: d or -2?
-2
Let z = 67 - 18. Suppose 5*x - 75 = -l, -25*l = -27*l + x + 95. Is z <= l?
True
Let m be -1 - -1 - (-1524)/819. Let z = 94/21 - m. Let b = 36563 + -36561. Is b smaller than z?
True
Let r be (-3)/2*24/9. Suppose -13 + 11 + 12 = -5*k. Is k less than or equal to r?
False
Let t = 89 - 263/3. Let z be 645/(-6)*48/(-60). Let y be (1/(-9))/(z/516). Which is bigger: t or y?
t
Suppose -3*v + 3*y - 2*y = -38, 55 = 4*v + 3*y. Suppose -16 = v*f - 120. Let d be 4/(-5)*30/(-4). Is d smaller than f?
True
Let f be ((-5)/(525/56))/1. Suppose 0 = t - 3, -2*t = -4*r + 2*t - 72. Let a(h) = -h**3 - 14*h**2 + 15*h - 1. Let z be a(r). Which is greater: z or f?
f
Let s be ((0 - 9) + 2)*(1664/(-112) - -20). Which is greater: -47 or s?
s
Suppose -9*p - 5*p = -10*p. Let a(d) = d**3 - 3*d**2 + 6*d - 1. Let l be a(4). Let g = -1871/48 + l. Which is smaller: p or g?
p
Let u = 4227 + -4227.0253. Is u less than or equal to 3?
True
Let s(f) = -5*f**3 - 2*f + 8. Let g(a) = -2*a**3 - a + 3. Let t(l) = 8*g(l) - 3*s(l). Let x be t(-4). Let b = 56 - x. Is 2/5 less than b?
False
Let s be (-1 - 0)/(1 + (-12)/16). Let c be 155/(-3) + 2 + s/(-6). Let k = c + -4. Do k and -53 have the s