t r be v(0). Is t at most as big as r?
False
Let v(r) = -r**2 - 35*r - 197. Let t be v(-28). Which is smaller: 1/224 or t?
t
Suppose -21*f + 18*f = 33. Suppose 0 = -13*q - 17 - 22. Let o be ((-225)/(-12))/q - (-2)/8. Is o at least as big as f?
True
Let k be ((-455)/273)/((-5)/786). Do 242 and k have the same value?
False
Suppose -24*i - 6 = -21*i. Let c be i/(-9) - (-242)/(-198). Is c > -2/11?
False
Let k be 6 + (-15)/(-180)*-75. Is 0.986 greater than or equal to k?
True
Let l(x) = -x**3 - 27*x**2 - 25*x + 14. Let f be l(-26). Let j be f - (3 + (-2 + 5 - 5)). Suppose 0*b - b - 12 = 0. Is j greater than b?
False
Let t(f) = -5*f**2 - 11*f - 20. Let c be t(-10). Let r = 410 + c. Which is bigger: 1/431 or r?
1/431
Let x = 61 - 45. Let j = x + -15. Let g be (1 + -2)/(3 + -2) + j. Which is bigger: 1/16 or g?
1/16
Suppose 4*a = 16 - 8. Suppose -5*y + a*i - 561 = 0, -y + 15*i - 10*i = 103. Which is smaller: y or -114?
-114
Let c(l) = l**2 - 5*l + 13. Let q be c(5). Suppose 8*g + 15 = q*g. Let i be 925/(-660) + g/((-9)/(-4)). Which is greater: 0 or i?
0
Let g be (3*(-6)/60)/((112/35)/(-8)). Let r = 9 - 13. Let o be r/(-14) - (-57)/(-126). Which is greater: o or g?
g
Let t be (29 + (2 - 2))*3. Suppose n = -3*n + d + t, 2*n = 2*d + 48. Let w = n + -17. Which is smaller: w or 0?
0
Let a be -2 + 12/(-3) + (-5 - -10). Which is smaller: a or 60/359?
a
Let o be 15/3 - (-64 + 76). Do 56 and o have different values?
True
Suppose 2*m = -4*q - 22, -57*q + 62*q = -m - 17. Which is greater: -323 or q?
q
Let g = -17031.444 + 17032. Which is greater: 0.05 or g?
g
Let q = 29729 + -16104. Which is bigger: 13626 or q?
13626
Let f = -2.74 - -2.75. Let b = 0.19 + f. Which is smaller: b or 241?
b
Let i be (294/(-28))/(1/(2 - 4)). Suppose -8*v - 85 = -i. Let g(a) = -6*a + 9. Let d be g(v). Is 55 != d?
True
Let b(i) = -i**2 + 5*i + 276. Let v be b(-11). Suppose -k = 3*k + 360. Let c = v + k. Which is smaller: 9 or c?
9
Suppose -9 = -3*v + 3*g, 0 = 4*v + 4*g - g - 5. Let a(l) = 3*l**3 - l**2 - l + 1. Let h be a(v). Is h smaller than -1?
False
Let a(g) = g + 3. Let x be a(-3). Let n(z) = z**3 + 66*z**2 - 57*z + 675. Let v be n(-67). Suppose 5*y = 4*h + 7, v = h + y - x. Are h and 6/7 unequal?
True
Suppose 116 = 20*f - 22*f. Let i be f/(-319) - (901/418 - 2). Is i bigger than 1?
False
Let t = 0.2946 - 670.0946. Let u = t + 668. Which is greater: u or 8/5?
8/5
Let a = 1438 + -1434. Which is smaller: a or 51/19?
51/19
Let o(d) be the first derivative of d**4/4 + 4*d**3/3 - 3*d - 2. Let m be o(-4). Let v = 4782 + -4780. Which is greater: m or v?
v
Let d(t) = t - 19. Let s(m) = 5. Let h(b) = -2*d(b) - 9*s(b). Let i be h(-5). Let x = -2508 - -2512. Is x bigger than i?
True
Let i = 19797 + -80333/4. Let g = i - -286. Is g greater than -40?
True
Let f = -588363 - -588364. Let t be (0 - -1)/(1770/(-4)). Is t smaller than f?
True
Let u(i) = -i - 8. Let x be u(-8). Let c be (5/4025)/((-12)/746). Let a = c - -2/345. Is a less than x?
True
Let t(g) = -89*g**2 - 621*g + 19. Let z be t(-7). Which is bigger: 0.96 or z?
z
Let z = 26 - 14. Let l = -20865/8 - -2608. Which is greater: z or l?
z
Let a(r) = 82 + 8*r**2 - r**3 + 0*r**3 - 9*r - 89. Let b be a(6). Let w = -20 + b. Which is smaller: w or -7?
w
Let i be (28/(-5))/((-432)/180). Is 0.09 at least i?
False
Suppose q + 2*f = 5, 4*f - 3 = 13. Let i be (1/23)/(3*q/63). Is i <= 0?
True
Let g be 2 + 16*1 + (13 + -2 - 11). Is -44 not equal to g?
True
Let m = -2100 + 2413. Is 313 <= m?
True
Let t = -10349 - -10376. Suppose 0 = -3*r - f - f + 1, 4*r - 5*f + 14 = 0. Is r at most as big as t?
True
Let b(r) be the third derivative of 7*r**5/15 - r**4/24 + 16*r**2. Let z be b(-2). Let x be ((-3)/4 - -1) + z/(-8). Which is smaller: x or -0.3?
x
Suppose -4*b + 14 = -2*l, 7*l + 10 = -b + 3*l. Suppose -2 = d, -4*t + b + 2 = 2*d. Suppose -5*z + 3 = -2, -a = t*z + 16. Which is smaller: a or -16?
a
Let g be ((-9 - -10) + 12/(-18))*3. Let a = 172 - 48. Let o be (-4)/2 - (-252)/a. Is o at least g?
False
Let q = -29 + 26. Let o be (-65)/(-26) + q/(-2). Let p be (3/4)/(5/o). Which is greater: -5 or p?
p
Let c = 400607438/506585 + -4/101317. Let z = c - 758. Do 33 and z have the same value?
False
Suppose 0 = 5*l, 4 = n + 5*l + 3. Is 3 >= n?
True
Let f = 6068.6 - 6106.6. Let y be 4/10 - (-34)/(-10). Let i be (0 + -1)/(1*y). Is f greater than or equal to i?
False
Let s = -1.1 - -0.86. Let r = -605 - -329. Let x = 276.1 + r. Are s and x unequal?
True
Let q be ((-6)/9)/((-5)/345) + 2. Suppose q - 24 = -6*d. Is d equal to -35/9?
False
Let k = 149 + -86. Let g = k + -314/5. Let i = 426847 - 426852. Which is smaller: g or i?
i
Suppose -4*z - 2*d + 13*d - 7054 = 0, z - 2*d + 1768 = 0. Which is greater: -1777 or z?
-1777
Suppose 5*l + 198 = -2*j, -2*j + 4*l - 197 - 37 = 0. Is j less than -109?
False
Let t = 0.003681 + 0.196319. Let a = 90733/69 - 1315. Which is smaller: a or t?
a
Suppose -18*j - 585 = -23*j. Let f be j/52*(-24)/21. Which is smaller: -4 or f?
-4
Suppose -90 = -8*m - 37*m. Let f(a) = a**3 + 4*a**2 + 2*a + 4. Let i be f(-4). Let n be (11 - 6)*i/(-5). Which is smaller: n or m?
m
Suppose -25 = -7*z + 12*z. Let n be z/(-10) - (-258)/4. Suppose -5*o - 3*t - t = -n, 0 = -5*o + 3*t + 65. Is 15 != o?
True
Suppose -3*o - 2424 + 624 = 0. Suppose -134*u + 158 = 560. Let w be (-3*u/(-6))/(135/o). Is w equal to 7?
False
Suppose 12 = -4*g - 0. Suppose -4*t + 313 = -106*z + 103*z, 9*z + 1016 = 5*t. Which is bigger: z or g?
g
Let d(z) be the first derivative of 9*z**2/2 - 15*z + 4. Let i be d(7). Let w be (-238)/(-8) - (-12)/i. Which is greater: w or 31?
31
Let j(n) be the second derivative of -n**4/12 + 13*n**3/6 - 2*n**2 - 24*n. Let y be j(5). Suppose 3*l + y - 39 = 0. Which is greater: 11 or l?
11
Let t be 6/2 + -5 - 71. Let y = 125 + t. Let a = y + -53. Is a at most -4/3?
False
Let t = -24 + 34. Suppose t*l + 114 - 684 = 0. Which is greater: 58 or l?
58
Let s be (-44 - 1)*((-112)/21 + 2). Let o be -5*6*2/s. Let f = 0.05 + 0.03. Which is smaller: f or o?
o
Let h(s) = 4*s**2 - 14*s + 3. Let q be h(3). Let n = 53/2 - 29. Which is greater: q or n?
n
Let o be (-6)/14*29/(-52). Let b = o - -1/91. Let u = 47.42 - 43.42. Which is smaller: u or b?
b
Let i be (-2)/(-9) - 7892/(-25560) - 5/10. Is i at least as big as -1?
True
Let j = -249 + 246.71. Let d = j - -2.19. Which is smaller: 3.5 or d?
d
Let o be -5*(4 + 56/(-10)). Suppose -2*i - 14 = -2*w, -5*i + 3*w - 39 + o = 0. Is -10 at most as big as i?
True
Suppose 203*p + 22816 = 141*p. Which is smaller: -397 or p?
-397
Suppose 74 = 5*g - 41. Let d(t) = 4*t**2 - 3*t + 10. Let r(s) = -13*s**2 + 10*s - 31. Let o(q) = 7*d(q) + 2*r(q). Let z be o(3). Is g less than or equal to z?
True
Let c be ((-2910)/(-776))/(1 + (-2)/8). Suppose -q - 378 = 5*b, 3*b - b = c*q - 162. Which is smaller: -77 or b?
-77
Suppose 0 = 4*n - 3*f - 188, 3*n + f - 152 = 6*f. Let u be (-4)/(3/4 - 11/n). Suppose 0 = 4*v + 2*a + 24, v = 4*a - 6 + 18. Is u less than v?
True
Let v = -345638 + 1391131/4. Does 2146 = v?
False
Let s(z) = -z**2 - 15*z + 36. Let r be s(-17). Let i(d) = 3 - 3 - 15*d**2 - 3 + r - d**3. Let a be i(-15). Which is greater: 22 or a?
22
Let i be 3/((-10)/(-70)*7). Suppose -x + 47 - 650 = -2*w, i*w - 4*x = 897. Are w and 304 nonequal?
True
Let x be 3/6*(-38)/19*-5. Is 200/33 smaller than x?
False
Let i = -1491.52 + 1491. Let u = -4.3 - 1.7. Which is smaller: u or i?
u
Let a be (2622/(-4) - 1)/(6 + 165/(-25)). Is a less than or equal to 1095?
True
Suppose -19 = 26*j - 44*j + 17. Is 10/9 < j?
True
Let w be (-14)/98 + (-1630)/7. Let p = -391 - w. Are p and -156 nonequal?
True
Suppose 99 = -224*z + 323. Which is smaller: z or -1/43235?
-1/43235
Suppose -3*m + 12 = -914*x + 909*x, 2*x = 4*m - 16. Which is smaller: -12/1669 or x?
-12/1669
Let y be 1504/(-2) + (7 - 9/18*20). Which is greater: y or -757?
y
Suppose -24*d = 1029 + 5963 + 5320. Which is smaller: d or -518?
-518
Suppose 7254 = 11*z - 37*z. Let s = z - -271. Which is bigger: s or -38/5?
-38/5
Let f be (-143 - -98)/((-10)/12). Which is greater: f or 11?
f
Let b(t) = -t**3 + 93*t**2 - 167*t - 1314. Let c be b(91). Which is smaller: c or 50?
50
Suppose -5 - 7 = -j. Suppose 0 = 15*h - 19*h + j. Suppose 0*m + 2*m - 14 = -d, -28 = -2*d + h*m. Is d equal to 12?
False
Suppose 2*z - 5*f = -120, 