0
Let b = -1/125 + 103/375. Suppose 0 = -0*s - 4*s + 280. Let t = 69 - s. Is t bigger than b?
False
Let r = -2960 - -2959.9. Which is greater: 3296 or r?
3296
Let d = 942 + -1068. Which is smaller: d or 12?
d
Suppose 3 = -9*d + 8*d, -4*b + 15 = -d. Suppose 5 = a + b. Let x be (15 - 13)*a/(-76). Which is smaller: x or 0?
x
Let l = -26253 - -14723. Is -11530 < l?
False
Let u = 52 - 52.29. Let v = u + 0.19. Which is greater: -5/12 or v?
v
Let t(y) = 27*y**2 - 2 - 2*y + 9*y**2 + 8*y**2. Let p be t(-1). Let j = p - 23. Is 20 less than j?
True
Let a = 4933 - 24582/5. Suppose -3*c + 58 = -s - s, 5*c = s + 85. Which is smaller: c or a?
c
Suppose 923*n + 117192 = 1075*n. Is 771 at most as big as n?
True
Let a(s) = -2*s + 32. Let q be a(17). Let g be q/(-4)*(-20 + 20) - 0. Let l be (-1)/2*(-2)/45. Which is smaller: g or l?
g
Let k = -2779609/280200 + 1/11208. Is k less than -11?
False
Let i = 25.4 + -6.6. Let z = i - 18.5. Which is greater: 0.1 or z?
z
Let y = 3.4 + -55.4. Let d = 7199 + -7199. Which is bigger: y or d?
d
Let f = 280.471495 - -0.395505. Let b = f + -281. Which is smaller: -0.1 or b?
b
Let j be -3 - (-11)/(22/24). Suppose 5*f - 351 = -376. Let l be (32/(-4) - f) + 0 + 12. Is l at most j?
True
Let u be 120/(-2128)*(6/144 - (-5)/(-40)). Which is greater: 1 or u?
1
Let n be -3 + 29/(10585/1125). Which is smaller: -2/7 or n?
-2/7
Suppose 6*x + 26 = 19*x. Suppose -3*v + 92 = -5*z, -3*z = -5*v + 174 - 42. Suppose q + v = x*p, -2*q + p - 3*p = 60. Which is bigger: -27 or q?
-27
Let l be 1/31*(4 + -2). Suppose 18 - 30 = -4*z. Suppose 3*g - d = -z, 6*d - 3*d - 4 = 4*g. Is l at most g?
False
Let m = -6 + 7. Let a(j) = -j. Let g(n) = 9*n - 22. Let c(k) = 4*a(k) + g(k). Let h be c(5). Which is smaller: m or h?
m
Let j be 8/(-222)*(8 - (-65)/(-10)). Let u be ((-21)/(-14))/(3/(-4)). Let o be 3 - (8 - (2 - u)). Are j and o non-equal?
True
Let a be (-117)/39 - 235998/1262. Let j = a + 190. Which is bigger: 0 or j?
0
Let c = 2.902 - 3.1. Suppose -3*k + 23 = -4*s, 2*s - 440*k + 439*k = -9. Which is greater: s or c?
c
Let p be 240/(-420) - 73/7. Let k be 44/p - (-2885)/20. Is 140 at least as big as k?
False
Suppose -4*g = 0, -3*v - 4*g + 2 = -2*v. Let p = 201.48 + -205. Let n = p - 2.48. Which is smaller: v or n?
n
Suppose 0 = -2*o - 8 - 2. Let r(c) = 7*c - 9. Let x be r(o). Let g be (1 + -4)/((x/60)/(-11)). Is -45 at least as big as g?
True
Suppose -7 = 6*w - 7*w. Suppose w*y - 4 = 10. Let h be ((-108)/4 + y)/(-1). Is 24 at most h?
True
Let s be (-1)/(-43)*(3 + (18 - 22)). Suppose -4*f = f + 5*n - 45, f + 4*n - 21 = 0. Suppose f*q - 3*k + 10 = 0, 0*k = -2*q + 5*k - 23. Is s at least q?
False
Suppose 63*w = 4*w + 236. Which is bigger: 31/11 or w?
w
Suppose 0 = -5*d + 2*y + 26, 7 = -d + 5*d + 3*y. Suppose a - 1492 = -3*a + d*g, 378 = a - 2*g. Which is smaller: a or 369?
a
Let d = 1152 + -806. Let t(i) = 13*i**3 - 336*i**2 - 41*i + 61. Let a be t(26). Which is bigger: d or a?
a
Suppose -f + 1490 = 5*r, 3*f - 4337 = r + 3*r. Which is bigger: -0.2 or f?
f
Let o = -1/66 + -1/6. Let r(q) = q**2 + 4*q - 24. Let f be r(-6). Let l be (-4)/6 - (23/f - -2). Which is smaller: l or o?
l
Let h be 4710/12441 - (3055/(-145) + 21). Which is smaller: h or 0?
0
Let g = 23 + -13. Let i(o) = o**3 - 8*o**2 + 4*o + 2. Let y be i(7). Let w = 30 + y. Is g < w?
True
Suppose -6*u + 2762 = -1312. Is 680 != u?
True
Let m be 8/(-20) - (-2244)/85. Let l be (-1)/(-2 - 0) + 169/m. Do l and -32 have the same value?
False
Let v = 35 - 31. Suppose -v*k = k + 120. Let o = k + 23. Which is smaller: -3/2 or o?
-3/2
Let d = 79 + -78.775. Let c = d + 1.775. Is c at least -5?
True
Let b be 270/(-1134)*(7/21)/(5/(-3)). Which is greater: 85 or b?
85
Let q(w) = w**3 - 15*w**2 + 24*w + 32. Let l be q(13). Suppose -i - 8*v + 30 = -l*v, -4*v = -4*i + 72. Which is smaller: i or 19?
19
Let j = -553 + 654. Let w = j - 102. Let o = 16 - 25. Is w at least o?
True
Let i = 49/873 + 342109/17460. Which is smaller: i or 21?
i
Let o(t) = -13*t - 38. Let y be o(10). Let l = 130 + y. Which is smaller: l or -39?
-39
Let q be (112/(-168))/(56/21). Is q equal to -3572?
False
Let v = -40 + 36. Let s be (-2*(-1)/6)/(4/v). Is 23 greater than s?
True
Suppose 532*r = 484*r - 864. Is -0.047 > r?
True
Let z(d) be the second derivative of 11*d**3/6 + 11*d**2/2 - 26*d + 3. Let r be z(-5). Is -42 <= r?
False
Let o = 3382 - 726. Is 2658 at least o?
True
Let y(k) = -2*k**2 - 1. Let h be y(2). Suppose -2*i - 2*i = -28. Let u = i + h. Is u at least as big as -2/23?
False
Let p = -77 + 148. Let n = 80 - p. Suppose 7*o = n*o - 4. Which is bigger: o or 1?
o
Let g = -8201983/325290 - -2/23235. Which is smaller: -26 or g?
-26
Suppose 12*g - 55 = 65. Let f(i) = -i**2 + 13*i - 31. Let p be f(g). Is p != 2/169?
True
Let q = -0.25805 - -242.25405. Let r = -242 + q. Is r greater than 1?
False
Suppose -4*b - 3*a = 2*a - 10, -2*a + 4 = 3*b. Suppose -5*l - 2*t = 16 + 6, -3*l + 3*t = 30. Let y be ((-2)/(-327))/(2/l). Are b and y equal?
False
Let u = -1062/5 - -3166/15. Are -17/33 and u equal?
False
Let x = 2102 + -1239. Suppose 867*h + 300 = x*h. Do h and -77 have different values?
True
Suppose z = -2*u - 8, -2*u + 309 - 305 = -2*z. Is -54/71 at most u?
False
Let s = -5840/33 - 362048/165. Let f = -2362 - s. Let o be (-10)/(-4) - 2 - 34/(-4). Are f and o non-equal?
True
Let v = -5.092 + -5.303. Let x = v + 0.395. Does x = -1/2?
False
Let o be (-3024)/154*(-2)/(-15). Let q be (588/(-120) - -5)*(-2)/(-11). Let d = o + q. Is -2 at least as big as d?
True
Let n = 0.8002 - -0.2998. Is n at most -4.5?
False
Let z(a) = 4*a**3 + a**2 + 2*a + 2. Let m be z(0). Do m and 29/43 have the same value?
False
Let m be 86/(-602) - 116/(-14). Let d = 398 - 390. Which is greater: m or d?
m
Let x be (-2 - -8)*(-36)/54. Let j be x/228*6 - (-2)/19. Do j and 8/71 have different values?
True
Suppose -z - 2*c + 16 = 0, -2*z + 64 = 2*z - 3*c. Suppose z - 40 = -4*p. Let g = 25 + p. Which is smaller: 33 or g?
g
Let o be (-13)/(-52) - (8 - 1341/(-36)). Which is smaller: o or -94?
-94
Suppose -4*s + 3*s + 5 = -3*f, 2*s + 2*f - 34 = 0. Suppose 1713 = 13*j - 42. Suppose -j = -4*u - 87. Do s and u have different values?
True
Let j(r) = -r**3 - 7*r**2 + 6*r + 20. Let y be j(-8). Let n = 176 - 173. Suppose 2*l + y = -4*u, -n*u - 39 = 3*l - 0*l. Which is smaller: -5 or l?
l
Let t = 386 - 132. Let m = -255 + t. Which is greater: m or -10?
m
Let p be ((-17)/612*9)/(17/(-72)). Let b(z) = z - 7. Let x be b(12). Let d(q) = -2*q + 10. Let s be d(x). Which is bigger: p or s?
p
Let i(k) = -k**3 - 8*k**2 - 13*k - 23. Let x be i(-9). Suppose 147 = -7*z + x. Do z and 5 have the same value?
False
Let x = -363463/12 - -30289. Let w = -1 + 2. Do w and x have different values?
True
Suppose 0 = -5*x + r + 736, 0 = -4*x - 7*r + 8*r + 588. Suppose -x = -4*j + 2*s + 44, j - 30 = 5*s. Is 48 >= j?
False
Let t be 2/1 + 48/50. Suppose -661 - 463 = -562*g. Which is smaller: t or g?
g
Suppose 5*u = -2*g + 8, 3 = -g - u + 1. Suppose 5*h = 4*m - 6, 2*h - 14 = -2*m - 2. Let c be ((-18)/45)/(m/4). Is g greater than c?
False
Let k = -2062 + 3243. Is 1180 at least as big as k?
False
Suppose 407*i + 1640523 = -991546. Which is bigger: -6466 or i?
-6466
Let m = 4060.64 - -5.36. Which is greater: -1 or m?
m
Let c = -71.893 + -0.107. Let b = c + 72.14. Does -0.3 = b?
False
Let y(j) = -22*j - 634. Let w be y(-29). Suppose -10 = -b + 2*b + 5*r, w*b + 8 = -4*r. Let z = 60088/33 + -1821. Which is greater: z or b?
b
Let x be -1*24/(-21)*(-13)/(-52). Which is smaller: x or 48?
x
Let x(v) = -3*v**3 - 3*v**2 - 3*v - 9. Let w be x(-3). Let a = 66 - w. Let y = -13 + 24. Which is smaller: a or y?
y
Let y = -450 - -452. Suppose 3 = y*w + 5. Which is bigger: w or 8/23?
8/23
Let b be 4 + 57/(-12) - 1257/(-12). Suppose -5*y + b = 8*y. Let z be 1 - -3 - (y - 26)/(-6). Which is bigger: z or 55?
55
Suppose 2*n = n + 2*l, -l = 4*n - 9. Suppose o = -n*o. Which is smaller: 2/3 or o?
o
Let p(y) = -y**3 + 19*y**2 - 32*y - 30. Let m be p(17). Suppose 15 = -m*u + 151. Is u <= 40?
True
Let k = -41 + 40. Suppose -2*b + b = 1. Let l be ((-24)/(-112))/(b/2). Is k >= l?
False
Let v = 6401 - 6438. Is -0.9 at most as big as v?
False
Let l be (-6)/(-10) - 64/(-10) - 5. Let r be 1/(-1) + (-78)/(-3)*l. Is 52 != r?
True
Let k = -0.07 - 1.93. Let x