-0.1. Let d = p + c. Is -0.9 < d?
False
Let n(t) = -t**3 + 140*t**2 - 1422*t + 386. Let k be n(129). Which is smaller: k or -1/33079?
k
Let n = 0.2427 + -1419.2427. Is 1/3 >= n?
True
Let z(k) = -779*k - 57. Let c be z(-2). Suppose c = 8*r + 213. Is r less than 160?
False
Let r = 50854/345 - 3010/23. Which is smaller: r or 17?
r
Let k(y) = y**3 + 5*y**2 + 5*y + 4. Let m be k(-4). Suppose 6 + m = 3*t. Let b be (t/90)/((-12)/(-36)). Which is bigger: b or -1?
b
Let v = -198 + 204. Let d be -4*(-2)/20 - v/21. Which is greater: d or 0?
d
Let q = -80 + 79. Let w be q + 3 + (5 - 5). Let l be w + (-3 - (-3 - 5)). Which is smaller: l or 9?
l
Let m = -3595 + 3307. Which is smaller: 2/19 or m?
m
Suppose 4*i + 813 = 417. Let b = i - -88. Do -49/4 and b have the same value?
False
Let g be 352935/(-155) + -2 + -1. Is g < -2281?
False
Suppose 0 = -2*h - 3*i + 21, -17 = -4*h - 4*i + 3*i. Suppose -4 = -b, -h*b = -4*o + 2*b - 572. Let l = 53 + o. Is -85 not equal to l?
False
Let r = 71444143/1372 + -52073. Which is smaller: r or 1?
r
Let d = 68 - 65. Suppose 4*i - 2*w + w = 8, -d*w + 8 = 4*i. Let j = 23 - 20. Which is smaller: i or j?
i
Let a be (18/(-72))/(4/16). Let k = 960 + -6736/7. Which is bigger: k or a?
a
Suppose 0 = -8*n + 193 - 577. Suppose 24 = 10*o + 504. Is n at most as big as o?
True
Let p = 1390 - 1389. Which is greater: p or 2/26651?
p
Let x(f) = 41*f**3 + f**2 + 15*f - 15. Let g be x(1). Let v = 51 - 10. Are v and g nonequal?
True
Let k be (-62070)/1260 - 4/7. Let a = k - -99/2. Which is smaller: -0.058 or a?
a
Let d = -4876 + 2310. Which is greater: d or -2567?
d
Let n = 54 - 84. Let h be (-15)/n + 34/(-4). Let y be (-3)/4 + 466/h. Which is smaller: -60 or y?
-60
Let f = 86/93 + -39/31. Is 1/25 != f?
True
Let q be (2 - -1228) + 14 + 14. Which is smaller: q or 1260?
q
Let t = -43651.06 + 43157. Let u = t - -494. Let y be 4/6*3/8. Which is smaller: y or u?
u
Suppose 3 = -g, g + 41 - 11 = 3*h. Suppose -2*j = p - 4 - 2, 5*p - j - 30 = 0. Let l = h - p. Which is bigger: l or 4?
4
Suppose 5*f - 5 = -0. Let o = 166886 + -1835748/11. Which is greater: o or f?
f
Let q(j) be the second derivative of 13*j**3/3 - 4*j**2 + 21*j. Let c be q(8). Suppose 5*m + c = 10*m. Is 39 smaller than m?
True
Suppose 781*o = 748*o. Which is greater: o or 2/59635?
2/59635
Let b(h) = -7*h**2 + 65*h + 22. Let r be b(7). Let i be 2/7 + ((-162)/(-21) - 7). Which is smaller: r or i?
i
Suppose 2*c = -3*b + 1979, -6*b + 7*b + 3979 = 4*c. Suppose 11*h = -3*h - c. Which is smaller: -69 or h?
h
Let h be (2/((-8)/39))/(12 + (-539)/44). Suppose -96 = -2*u + 4*d - 32, 4*u = -2*d + 168. Which is greater: u or h?
u
Let d(f) = 473*f + 20 - 238*f - 233*f. Let n be d(-10). Is 4/103 smaller than n?
False
Let n be 56/(-12) + 5/3. Which is smaller: n or 1276?
n
Let f be -16 + 3003/(-3066)*-16. Suppose 1 + 0 = 2*u + i, 5*i + 6 = u. Which is smaller: u or f?
f
Let c be (-68280)/38918 - (20/11 - 2). Let m = c - -25189969/137982. Let w = m - 181. Is w bigger than -1?
True
Let j(z) = -z**3 + 3*z**2 + 69*z + 209. Let a be j(11). Is 120/193 smaller than a?
False
Suppose 3*o = w + 18, -3*o + 0*w + 30 = -5*w. Suppose r + 6 = -2*r, 70 = -2*u - o*r. Which is smaller: u or -31?
-31
Let q(r) = -r**2 - 8*r - 7. Suppose -5*j - 2*u - 24 = 0, 4*u - 10 = j + 8. Let t be q(j). Let a be (52/t)/((-64)/20 + 3). Is -51 <= a?
False
Suppose 6*m - 3*s = m - 10, 5 = s. Let o = m + -1. Suppose 545*c = 551*c. Is o greater than c?
False
Let v(f) = f**2 + f - 3. Let q be v(-3). Suppose 0 = y - q*y. Let i be 26596/62130 + 4/38. Which is smaller: y or i?
y
Let x be (10 - 10) + 120/(-2936). Is 1 less than x?
False
Let r be (-2)/(-27) - 3286/(-837). Let q be r*((-161)/38 + (-39 - -43)). Which is smaller: q or -2?
-2
Let z = 0 + -1. Let k be 984/82*((-75)/(-80) - 1). Do k and z have the same value?
False
Let j(z) = -z**3 + 10*z**2 + 3*z - 29. Let d be j(9). Let w = d + -85. Which is smaller: -15 or w?
-15
Suppose -3*r + 28 = 4*a, 0 = -0*a + 4*a - r - 12. Let q = -499 - -498. Which is smaller: a or q?
q
Let w be ((-2)/1604)/(14/29203972). Let d = w + 2601. Is 1 at least d?
True
Suppose -n = t + 3*t + 14, -2*n = -2*t - 12. Let b(p) = 10*p + 10. Let y be b(t). Let c = 14 + y. Which is bigger: -78/5 or c?
-78/5
Let z(g) = 75*g - 354. Let q be z(7). Suppose 0 = q*a - 163*a + 104. Is a equal to -24?
False
Let j = 53 + -45. Let k be (-236)/(-88) + 1*j/(-44). Suppose -2*p + 10 = -f + 3*f, p = -2*f + 7. Do k and p have different values?
True
Let h = -1229 - -878. Which is greater: 11 or h?
11
Suppose 2*j - 173 = -2*j + 5*k, 3*j - 3*k - 132 = 0. Let h(z) = -18*z - 5. Let u be h(-3). Do j and u have the same value?
False
Let p = -19053 + 19063. Let b = 39.4 + -5.4. Which is greater: b or p?
b
Let j = -1.41 - -15.21. Let t = j + 4.2. Let n be -5 - ((-17)/3 + 3 + (-28)/12). Are t and n non-equal?
True
Let i = 6250 + -6250.1. Is i < 4367?
True
Suppose -10*p - 5*i + 67 = -6*p, 4*p = 2*i + 46. Let k be -2 - (1 + -2) - p. Which is smaller: k or -124/9?
k
Let x be ((-1)/12)/(11/(-1) - (-14065)/1160). Is -4 <= x?
True
Let n = -19/87 + 631/4350. Which is smaller: n or 1?
n
Suppose 49*p - 325 = 2*p - 983. Does p = -38?
False
Suppose -3*m = 4*y - 11, y + 8 + 2 = -5*m. Suppose 3*u = y*b + 1, -5*b + 3 = -u - 0*u. Suppose 154*c + 5 - 45 + 194 = 0. Which is greater: c or b?
b
Let p = -248.5 - -248.3321. Which is greater: -2 or p?
p
Let x = -0.3 + 1.1. Let d = 97 - 106. Let j be (-34)/d - 1 - 3. Which is smaller: j or x?
j
Let q(f) = -6*f**3 + 88366*f**2 - 4 - 88366*f**2 + 3*f. Let r be q(2). Which is smaller: -49 or r?
-49
Let n = -8.543 - 6394.457. Which is smaller: n or 2?
n
Let d be 284/710 - 3452/5. Which is bigger: d or -5?
-5
Let h be (-337 - -55)/(12/9 + -1). Is h greater than or equal to -848?
True
Suppose -5*j + 57 = 7. Suppose -4*m - 16 = g, -10 - j = 5*g. Let s = m - 6. Is -1 < s?
False
Let v be ((-2)/8)/((-28)/(-16)). Let y = 2478 - 14867/6. Is y equal to v?
False
Let f(u) = u**3 + 38*u**2 - 1004*u + 118. Let b be f(-56). Is -102 at least as big as b?
True
Let f = -18322/149265 + -13/4815. Is f not equal to 1?
True
Let k = 4.1891 + -0.0991. Let u = k - 0.09. Let j = 1.54 - 3.54. Is j less than or equal to u?
True
Let z = -0.1 - -0.13. Let r = -3.03 + z. Suppose 7*y - 690 = -690. Do r and y have different values?
True
Let r = 15091/60380 - -1/15095. Is r at most 8?
True
Let v(o) = -o**2 - 6*o + 19. Let f be v(-7). Let q be (-4)/(f/21) - 148. Is -156 <= q?
True
Let h = -110.5 + 110.2. Let r be (84/2)/1 - 2. Let i be 8/(-4) + r/14. Is i smaller than h?
False
Suppose 189*s = -200*s + 399*s. Which is smaller: -8/2091 or s?
-8/2091
Suppose 66*v + 3531 = -14553. Is v bigger than -274?
False
Let x be (-109)/((-1)/(2/10)). Let w = -128 - -150. Let v = w - x. Is -1 bigger than v?
False
Let d be (-6)/(-675)*(-827)/(-2). Let a be 2080/(-4500)*-13 - (-1 - -7). Let u = a - d. Is -4 greater than or equal to u?
False
Let h = 711 + -739. Let x = -0.55 - -25.55. Let q = h + x. Which is smaller: 3 or q?
q
Let x be ((-120)/(-32))/(((-30)/(-160))/1). Which is smaller: -308 or x?
-308
Let c = -5427.24 - -5427. Let t = 9 - 6. Is t <= c?
False
Let b = 29966/9 + -3330. Is b < 2.57?
True
Suppose 58*x - 61*x - 12 = 0. Let h be 59304/156 - x/(-26). Let n = h + -4952/13. Is n < -1?
False
Suppose -93*x + 81*x + 5592 = 0. Are x and 463 non-equal?
True
Suppose 4*t - 63 = -4*p + 41, p = -3*t + 70. Let u be (-220)/(-121) - (-4)/t. Suppose g + u*y - 9 = 0, -3*g + 0*y + 4*y = -37. Is 9 greater than g?
False
Suppose 6*s - o = 67, -13*s + 4*o = -16*s + 56. Suppose 2 + 2 = -2*m. Let x be (-6)/m - (5 + -15). Is s bigger than x?
False
Let n(a) = a**3 - 13*a**2 + 15*a - 37. Suppose 13*c - 168 = -12. Let z be n(c). Let v = -2 - -3. Does v = z?
False
Let l = -6.2 - -7.33. Let s = 0.93 - l. Let h be 1/(-7)*35/150. Which is smaller: h or s?
s
Let w = 745867/152 + -4907. Let k(o) = 487*o - 3409. Let z be k(7). Which is smaller: z or w?
z
Let o = -1013253/3916 - -1035/4. Is 0 less than or equal to o?
True
Let v = 1.81 - 112.81. Let x = 19432 + -19432.1. Do v and x have different values?
True
Let c = 86.934 - 86.66. Is -4 less than c?
True
Let a = 1119590/193 + -5801. Is 2.9 bigger than a?
True
Let j = 9 + -9. Suppose j = c - 5 + 7. Let n be c/21*-3*(-4)/48. Which is smaller: 1 or n?
n
