 19 = c. Is -17 smaller than c?
True
Let x(r) = r + 25. Let c be x(-4). Suppose 14*l - 7 = c*l. Which is bigger: l or -2/7?
-2/7
Let f(m) = -55*m**2 + 45*m - 249. Let t be f(14). Is t bigger than -10398?
False
Let m be 5 + -5 + -2 + 1. Let u = -26369/63118 + 62/151. Let g = u - -401/26752. Is g at least as big as m?
True
Let k be -9 - (14 - 8 - -91). Suppose -p - 525 = 4*p. Are k and p equal?
False
Suppose -40*b + 129725 - 59283 = -187078. Is b at least as big as 6438?
True
Let j(u) = -2*u**3 - 4*u**2 - 7*u - 6. Let y be j(-4). Let t = -949/11 + y. Which is bigger: 0 or t?
0
Let c(a) be the second derivative of -a**5/20 - a**4/6 + a**3/6 + a**2 + 39*a - 2. Let i be c(-1). Which is smaller: i or 5/33?
i
Let z be (-6 + 0)/((-15)/5). Suppose 5*l + z*m - 1 = 0, 3*m - 7 = -l - 12. Is l at least as big as -2?
True
Let n = -414 - -423. Let a = -1.9 + 1.2. Let l = 0.8 + a. Which is bigger: n or l?
n
Let u = -655/147 - -15199/588. Let c = u - -13/7. Is c at most as big as -0.1?
False
Let n = 79 - 55. Suppose -20*y - 1 = -41. Suppose -3*j - 2*s = -56, 0*j + 5*s = -y*j + 19. Which is smaller: n or j?
j
Let u = 73 + -71. Let l = -109 - -99. Let g be l/4*((-96)/15)/4. Do g and u have the same value?
False
Let y be (-5 + 5 - -95) + 0 + 1. Suppose y*s - 123*s + 1512 = 0. Is 58 equal to s?
False
Suppose 6*x + 76 = -87*x + 262. Which is greater: 104/43 or x?
104/43
Let f = -37518 + 37517. Which is bigger: 3/26359 or f?
3/26359
Let v = -359821/172 + 2092. Let l = v + 833/1548. Let f(q) = 20*q - 998. Let i be f(50). Which is greater: l or i?
i
Let n = -11257 + 3073157/273. Is 0 at least n?
True
Let u be 4/(-6) - 805/(-69). Suppose -u*w - 6 = -13*w. Let i be ((-8)/2 + w)/(-1). Do i and -1 have the same value?
False
Let g = 112 - 112.486. Which is smaller: 0.4 or g?
g
Let u be ((-370)/24 - 18/(-24))*-27. Suppose -7*p = 2*p + u. Is -44 at most p?
True
Let c = -235/39 + 19/3. Let q be 3 + ((-162)/(-15))/(15/500). Let d = q - 362. Is d < c?
False
Suppose 84*s + 135 = 81*s. Let r be (-10)/(-15)*s/(-290). Which is greater: r or -1?
r
Suppose 7*m + t + 5 = 6*m, -3*t = -4*m + 8. Is 2/4373 smaller than m?
False
Let f = 222 - 216. Suppose -f*i - 196 = -20*i. Is i <= 14?
True
Suppose 9*r - 4698 = 48*r + 4779. Is r less than -249?
False
Let x = -21 + 41. Let z = 232.1 + -140. Let c = -92 + z. Which is greater: c or x?
x
Let w = 402 - 227. Suppose 46*x = 41*x + 25. Let k be x/w*14/20. Which is smaller: 1 or k?
k
Suppose -551 = -44*t + 25*t. Let g be (35 - t)/(456/15 + 0). Which is greater: -1 or g?
g
Let z be 0*(-13)/(-17 - 9). Which is smaller: -4/873 or z?
-4/873
Let h be ((-4)/2 - 9)*(18 + 4). Let l = h + 243. Which is smaller: l or -30?
-30
Let n be 1*(3/(-2) + -4)*-2*13. Are n and 1000/7 non-equal?
True
Let d = 0.4139 + -0.5139. Suppose 3*m = 2*m + 1. Let q be (m - 26/30)*5. Which is greater: d or q?
q
Let j(y) = 3*y + 29. Let a be j(-9). Let v be (-1 + (-1 - a))*2/(-268). Which is greater: v or 0?
v
Let l be (155/(-93))/((-2)/(-138)). Let o(p) = -2*p**2 + 14*p + 6. Let j be o(12). Which is smaller: j or l?
l
Suppose -4*d = -2*w + 13302, -3*d + 26613 = 4*w - 8*d. Is 6658 less than w?
False
Let i be (1 - (-30)/(-16)) + 1 + 265. Does 264 = i?
False
Let x be -13 + (3 - 1) + 4. Let m be (x - 354/(-50))/(1/(-95)). Does -7 = m?
False
Let c = -121 + 120. Which is smaller: c or -25/103?
c
Let y(b) be the first derivative of -b**2 - 39*b - 6. Suppose 176 = r - 9*r. Let n be y(r). Which is bigger: 4 or n?
n
Let s = 3.9 - 4. Let k = -38.84 + 8.84. Which is smaller: s or k?
k
Suppose -4*b = 1 + 3. Suppose -8 = -2*s + 10*s. Let d be s/3 + (-3)/(-7). Which is bigger: b or d?
d
Let p = -11073 + 11513. Which is smaller: 449 or p?
p
Suppose 11*d - 9*d - 2212 = 0. Let l = d + -3071. Let i = l + 53065/27. Is -1 not equal to i?
True
Let i be (-2 + 101/(-33))*(-315)/140. Let z = i - 91/8. Which is bigger: z or 1?
1
Let l be (24/11)/((-231)/(-1694)). Does -40 = l?
False
Let j = 34325/3 + -11545. Which is smaller: -7 or j?
j
Let d = -3896 - -4162. Is d >= 263?
True
Let w be ((-4)/6)/(70/(-7995)) + 3. Let i = w + -26045/329. Let v = i - 91/141. Which is smaller: v or -0.6?
v
Let w(o) be the first derivative of 4 - 37*o - 3/2*o**2. Let r be w(-6). Are -19 and r non-equal?
False
Let h = 236.114 - 236. Let o = h + -3.114. Is o < -43?
False
Let y(u) be the second derivative of -u**4/12 - 16*u**3/3 - 5*u**2/2 + 162*u - 2. Let w be y(3). Are -111 and w nonequal?
True
Let d = 7.07 - 7. Let w = -7.061 + -0.009. Let i = w + d. Is -1/2 at least as big as i?
True
Suppose 0*o - 378 = 21*o. Let t be -123*(51/45 + -1) - 1. Which is bigger: t or o?
t
Let n = 0.0141 - -122.9859. Let m = n - 98. Which is smaller: m or -1?
-1
Let s = 13015 - 13014.31. Is s equal to 10?
False
Let g = 4627 + -2044. Which is greater: 1 or g?
g
Let b = -72 - -359/5. Let c = 271.01 - 271. Which is smaller: b or c?
b
Let t = 1/1160207 + 1055788219/175191257. Let b = -57100/12231 + t. Let r = b + -2/81. Are r and 2 unequal?
True
Suppose 11*y = 6*y + 10. Suppose 0 = 5*a + y*h - 19, 15 - 3 = -4*h. Suppose 82 = -a*q - 3*i, 2*q - i + 38 = 3*i. Is q less than -18?
False
Let d = -0.1 - -0.3. Let n = 1806.26 - 1806.56. Are d and n equal?
False
Let y = 1843/200332 + -1/1727. Suppose 0 = 4*d - q, 0 = -2*d - 0*d - 5*q. Is d < y?
True
Let x be 750/(-4875) + (0 - 538/(-1300)). Is 1 greater than or equal to x?
True
Let u = 1896 + -3663/2. Let x = u - 65. Which is smaller: x or -8/9?
-8/9
Let n = -2213 - -2212. Is 3/182 at most n?
False
Let k = -358 - -347. Let j = -6 + 12. Let w = j + k. Which is bigger: 0 or w?
0
Let d = 34 + -31.65. Which is smaller: -4 or d?
-4
Let u be 51/210*-4 + 1. Suppose 0 = -40*h - 81*h - 48*h. Which is smaller: h or u?
h
Let a be 14/10 - (-1044008)/280. Is a greater than 3729?
True
Suppose 7*g + 444 = g. Let i = g + 77. Let r be -14 + 25/(-5) + i. Which is bigger: r or -19?
r
Suppose 113045 + 202281 = 121*h. Which is greater: 2605 or h?
h
Suppose 2*d = -0*m - 2*m + 3*d, -3*d = 5*m. Is 36/293 at most m?
False
Suppose 16*w = -4*t + 13*w - 1188, -t - 4*w = 284. Let b = t - -304. Which is smaller: b or 0.16?
0.16
Let m = 0.9 - -0.1. Let g be 47/(161915/(-42877)) - (150/(-39) - -4). Are m and g non-equal?
True
Suppose -q - q + 0*q = 0. Suppose q = 37*w - 42*w. Is 2/7 smaller than w?
False
Let c = -0.111 - 72.889. Let w = -56 - c. Let g = -21 + w. Is -1/5 less than or equal to g?
False
Let r = -1.165 - -1.165. Let a be (2/28)/((-4)/(-12)). Does a = r?
False
Let g = 3080 - 1770. Let t = 1255.05 - g. Let d = t + 55. Is -2/5 less than or equal to d?
True
Let b(q) = -247*q - 1481. Let s be b(-6). Is s bigger than -4/681?
True
Let k(y) = -2*y**3 - 37*y**2 - 42*y - 24. Let v be k(-17). Do -172 and v have different values?
True
Let j be 1/(-7)*(-10 - (-13 + 2614)). Is j <= 387?
True
Let v = 378 - 370. Suppose 0*h - 60 = -12*h. Are v and h equal?
False
Let c(m) = -m**2 - 3*m + 12. Let d be (-15)/5*(-2 - 20/(-6)). Let u be c(d). Suppose u*p - 3*p - 35 = 0. Is 9 not equal to p?
True
Let g be 4130656/(-224) + 5/140*12. Which is greater: g or -18439?
-18439
Let t(f) = -f**3 - 5*f**2 + 13*f - 5. Let a be t(-7). Suppose 5*m - 5*m = a*m. Let v be (-13)/20 + (-2)/8. Which is bigger: v or m?
m
Suppose 27876*x - 27903*x = -3240. Is x at least 1897/16?
True
Suppose 3*n + 3*b - 15 = 0, 0*n - 2*b = -2*n + 10. Let g be 174/15 - (0 + 3/n). Suppose -8*q = -g*q. Which is smaller: -1/22 or q?
-1/22
Let n be 2 + -5 + (-54)/6. Let p be (-119)/(-28) + (-9)/n. Are 51/13 and p non-equal?
True
Let k = 3724.75 - 3724. Is k < -2/7?
False
Suppose 5*m = 5*f - 265, f - 51 = -m + 4*m. Suppose -2*n = f + 504. Let u = n + 1962/7. Is u at least as big as 0?
True
Let n be (-75)/(-14) - (4 + 54/27). Is -1 smaller than n?
True
Let r(m) = -2 - 11 - 3*m - 2 - 2. Let a be r(-8). Which is smaller: 8 or a?
a
Suppose 7*c + 22*c = -67*c + 19680. Which is smaller: c or 817/4?
817/4
Let c(p) = -p**2 + p + 26. Let b be c(-4). Suppose -11*j - b = -14*j. Let w be 4/14*(3 + 10 + -1). Which is greater: w or j?
w
Let l be (-5061)/(-105) + ((-2)/6)/(24/(-36)). Is l less than 49?
True
Let w = -18479 + 18540. Is 299/5 less than or equal to w?
True
Let r = 1361 + -1419.3. Let n = 14391 + -14330. Let i = r + n. Which is smaller: i or 2?
2
Let k = 162 + -155. Let i be 6/42 - k/((-245)/(