/(-330). Are t and n equal?
False
Suppose 25 = -5*p + 5*d, 4 = -5*p - 3*d + 27. Is -2696 greater than or equal to p?
False
Let u be 1/(((-5)/19)/(-5)). Let n be (u - 20) + 0/(-2). Let q = 9273/25 + -371. Is n at most as big as q?
True
Let c(d) = 45*d - 6 - 42*d - 5. Let y be c(0). Let x(o) = o**3 + 11*o**2 + o + 1. Let b be x(y). Do -9 and b have the same value?
False
Suppose 102*w + 76 = 104*w. Suppose -14*y - 46 = w. Which is smaller: -3 or y?
y
Let f = 63 + -35. Let v = -48 + f. Let x = v + 20. Is x at most as big as 14?
True
Suppose 20*k - 9*k = 0. Suppose k = 2*d + 135 - 479. Which is greater: d or 173?
173
Let j be (28/8)/(-7) + (-9)/2. Let n(u) be the first derivative of u**3/3 + 4*u**2 + 17*u - 1. Let h be n(j). Which is bigger: 4 or h?
4
Let r be (-103)/(-261) + 72/(-324) - 0. Let h = 72 + -73. Is r at most h?
False
Let z = -791.731135 - 0.078865. Let j = z - -800. Let y = -0.19 + j. Which is smaller: y or 0.3?
0.3
Let j = 1009/21483 - -2/3069. Suppose 0*x - 7 = -x - v, 2*v = 5*x. Suppose x*c + 2 = -0. Is j != c?
True
Let b = -831 - -826.49. Let m = b - -4.21. Which is bigger: m or -0.47?
m
Suppose -496 = -7*g + 6385. Let v = -20647/21 + g. Suppose 0 = 4*b + 4. Is v < b?
False
Let o = 64 + -61. Let l = -16 - -18. Suppose -o = k + h + l*h, h = -1. Is 2/31 greater than k?
True
Suppose q + 204 = 4*q. Let x be q/(-14)*3/2. Let i = 17911 - 17917. Is x greater than i?
False
Let n be 180/432*(-9)/14. Let p = -1/56 - n. Which is greater: p or 0?
p
Let n be 5*(-7 + 238/10). Let f be (-4)/(-6) + 1610/n. Which is greater: 20 or f?
20
Let y be (-8)/132*3 + (-3 - 14792/(-44)). Which is smaller: y or 2336/7?
y
Let a be (-196)/147*(-3)/16. Let u be (-52)/(-6) - ((-55)/(-33))/(-5). Is a smaller than u?
True
Let g be (-7)/((0 + -1)*-1). Let n be ((-1)/(-2) + 141/(-94))*-7. Which is smaller: n or g?
g
Let d = 39879 - 39878.86. Which is bigger: d or -614?
d
Let d = 798.4 - 794.7. Suppose -3*i + 3*v - 2 = 4, -4*v = 5*i + 55. Is d less than i?
False
Let h = 0.1 + -0.2. Let z = 5.4 - -9.6. Let x = -2 + z. Is h >= x?
False
Suppose -5*b - 2105 = 5*y, 5*y + 5*b + 413 = 4*y. Which is greater: y or -411?
-411
Let a = 12342 + -12379. Which is bigger: -608/17 or a?
-608/17
Let z(i) = i**3 + 2*i**2 + i + 1. Let f be z(-1). Suppose -f = 5*v - 51. Let s(y) = 6*y - 8. Let t be s(3). Are v and t non-equal?
False
Let g = -16.217 + 6.217. Which is smaller: -24/17 or g?
g
Suppose -2*c - 65 = -97. Let x = c - 37. Which is smaller: x or -18?
x
Let t be 3/(18/10) - 12/(-36). Let v be (-195)/(-115)*t - 3. Let o be (-3)/9 + -3*4/18. Which is greater: v or o?
v
Suppose 128*h + 30 = 129*h - 5*g, 5*h + 18 = -3*g. Which is smaller: -3384 or h?
-3384
Let w be (-464)/96 + (4 - (3 + -4)). Let z = 694 - 692. Which is greater: w or z?
z
Let z = -473 - -527.1. Let d = 171 - 117. Let w = z - d. Is -49 at most as big as w?
True
Let r be 7/84*(-7 - -19). Is r equal to -2/13927?
False
Let n = 277571 - 4810583003/17331. Which is smaller: 0 or n?
n
Let t be ((-18)/63)/(1*(-22)/14). Let n(c) = -2*c - 5. Let l be n(-2). Which is smaller: t or l?
l
Suppose 0 = c - 2 - 0. Let n be (c/21)/((-20)/15). Let a(x) = -x**2 - 338*x + 681. Let w be a(2). Is n equal to w?
False
Let f be (4/(-7))/((-20)/(-30)). Let w = f - 0. Let r be (-6)/(-8) - 6/8. Does w = r?
False
Suppose -14*j + 95 - 25 = 0. Suppose -17*f = j*f - 132. Which is smaller: f or -0.1?
-0.1
Let y = 47553 - 30291252/637. Which is greater: y or 1?
1
Suppose -141*u + 22229 = -136*u - 3*g, 2*g - 8898 = -2*u. Is u less than 4447?
False
Let n be 2/64 + (-5747445)/(-14688). Is n less than 3?
False
Suppose 0*q - 5 = -q. Suppose 0 = -5*y + 4*w + 591, -25*y + 27*y + 4*w - 242 = 0. Suppose -3*n - 5*p - y = 20, -q*n = 4*p + 236. Is n greater than -49?
True
Let h be (-1 - 6/10)/(64/(-160)). Suppose -u - x + 38 = 2*u, 0 = -3*u - h*x + 53. Which is smaller: 6 or u?
6
Let c be 5/(-15 + 16) - 6. Is c equal to 7054?
False
Let f(l) = -14*l + 85. Let d be (35/4 + (-2)/(-8))*1. Let k be f(d). Are k and -278/7 equal?
False
Let y = 117/2 - 11587/198. Let j(a) = -352*a**2 + 79 - 19*a + 176*a**2 + 177*a**2. Let s be j(13). Does s = y?
False
Suppose -m + 2605 = 4*l, 4*l + 5*m - 2610 = 3*m. Let k be (l/105)/(-2) + 3. Let p = k - -13/63. Which is greater: -1 or p?
p
Suppose 17*a + 43 = 672. Suppose 13 - a = -z. Is z greater than or equal to 4/9?
True
Let w = 3202.6 + -3203.9. Which is greater: w or -10?
w
Let c be (420/266)/(-15) + 279/1026. Let k be 25*((-6)/(-15) - 0). Which is smaller: c or k?
c
Let d = 1096 - 645. Suppose -2*x + 345 = 5*j - d, 5*x - 2*j - 1932 = 0. Which is bigger: x or 387?
x
Let s = -8570 - -8562.194. Let x = -0.106 - s. Let r = -9.7 + x. Do r and 2/5 have different values?
True
Let t be ((-18)/3)/((-22)/(-2299)). Which is smaller: t or -623?
t
Let h = -315 - -314.757. Let j = 0.086 - 0.043. Let i = h + j. Do i and 15 have the same value?
False
Let z = -14723933/946 + 31129/2. Does -1 = z?
False
Let z = -730 - -10217/14. Let n(o) = o**3 - 17*o**2 - 17*o - 17. Let t be n(18). Which is bigger: t or z?
t
Let p(h) = -111*h - 2552. Let n be p(-23). Which is smaller: n or 15/193?
15/193
Let y = -8696 + 8701. Which is smaller: 185/39 or y?
185/39
Let k = -22.6 + 2.6. Let d = -72153/7 - -10307. Is k greater than d?
False
Let b = -29773 + 22237. Which is bigger: b or -7534?
-7534
Let o(g) = g**2 + 14*g - 2. Let l be o(-13). Let m be (-94)/(-12)*550/l. Let z = m - -286. Are 0 and z non-equal?
True
Let h(w) = 6*w - 8*w - 3 + 2*w**2 + 2*w**2 - 2. Let q(p) = -p**2 + p + 1. Let t(m) = h(m) + 2*q(m). Let g be t(-2). Which is smaller: g or 44/9?
44/9
Let c = -2766 - -3723. Which is bigger: c or 3?
c
Let d = 474 + -481. Let a(u) = -13*u**2 - 28*u - 29. Let r(j) = 3*j**2 + 7*j + 7. Let t(m) = 2*a(m) + 9*r(m). Let s be t(-4). Are s and d equal?
True
Let w = 48 + -39. Let z be -1 - -9 - 2/6*w. Suppose 0*o = -z*o + 3*o. Which is bigger: -3/5 or o?
o
Let s be -42 + (-6)/(6/5). Let c be (-2 + (0 - -2))/(94/s). Which is bigger: c or 5/137?
5/137
Suppose -1947 = 4*i + 6*k - 3*k, 4*i + 2*k = -1946. Is i greater than -2?
False
Let p = -12413 + 12407.331. Let g = p - -5.72. Is 3/5 < g?
False
Let w be 1964/(-77578) + 1114/316. Let v(x) = x**2 - 8*x + 5. Let d be v(8). Is d smaller than w?
False
Suppose -3*b - 13 = 13*l - 8*l, 0 = -b + 3*l + 5. Is 72/391 less than b?
False
Suppose -c + 6*c = -4*q + 30, -2*q = c - 18. Suppose 27*a - 2975 = q*a. Does 175 = a?
True
Let n = -435713/17983844 - -5/145031. Suppose 4*q - 2 = -4*u + 2, -3*u - q = -3. Which is bigger: n or u?
u
Let h = -185 + 276. Let z = -1244 + 1334. Which is greater: h or z?
h
Suppose -17821*r = -17815*r + 7098. Is r smaller than -1183?
False
Let r be (-42)/(-84)*-1*2*19. Let u(l) = l**3 + 21*l**2 + 37*l - 20. Let h be u(r). Which is bigger: h or 1/484?
1/484
Let a = 1319/55 + -332/11. Let n(q) = -q**3 + 6*q - 8*q**2 + 4*q - 7 + 3*q - 4*q**2. Let p be n(-13). Which is smaller: a or p?
p
Suppose -8 = -u - 1 - 7. Suppose 0 = -2*h + h + 4. Let i be u + 15 - 0*h/(-16). Is 14 less than i?
True
Let t = -589 + -676. Which is greater: -1268 or t?
t
Let i be (-1 + -621)/(72/180). Is -7778/5 <= i?
True
Let g(d) = 9 - d**3 + 13*d - 25*d - 18*d**2 + 4 + 13*d. Let s be g(-18). Let k be (s/(-50)*5)/((-2)/(-8)). Are k and 0.4 nonequal?
True
Let o be (-508)/(-5 - -1)*-1. Let u(r) = r**3 + 53*r**2 + 6*r + 191. Let y be u(-53). Is y < o?
False
Suppose -q = -5*q - 8, 4*w = q + 22. Suppose 7*l = i + 2*l - 20, 5*l = w*i - 20. Is 2/17 at most i?
False
Let g be (2/8)/(1/(-10)). Let c be (30 - -1)*(-36 + 33). Let u = c + 90. Is g smaller than u?
False
Let d = -11411.8 + 11412. Which is smaller: -2300 or d?
-2300
Let y(h) = -4*h**3 + h**2 + h + 2. Suppose 4*l + 4 = -4. Let g be y(l). Let i be ((-1)/2)/(-6 + 219/g). Is i > -3?
False
Let s be (102/8)/(5838/(-8896)). Which is smaller: s or -19?
s
Let d = -2 + 6. Let h = -148 + 279. Suppose -d*f = h - 27. Do f and -26 have different values?
False
Let a be 4/(-6)*(-3)/7. Let y = -791 - -731. Let b(f) = -f**3 - 60*f**2 - 2*f - 122. Let t be b(y). Which is greater: t or a?
a
Let t(b) = -9*b. Let j be t(0). Suppose -3*s + 15*s = j. Which is bigger: -1/280 or s?
s
Suppose 2*a - 336 = -5*a. Suppose -r - 3*r = 3*x - a, 3*x = 12. Suppose r*t = 6*t. Which is smaller: 1 or t?
t
Let y be (-1742)/13