-69))/(b/(-42)). Do 7 and v have the same value?
True
Suppose -5*a + 3*v = -10*a - 15, -3*a = -3*v - 15. Suppose 2*m = -a*m + 30. Suppose 3*q + 13 = z, 3*z - 6*z + q + m = 0. Which is smaller: z or 5?
z
Let o be ((-12)/(-18))/((-4)/6). Let u = 48 + -78. Let l be (-1)/6 - 5/u. Which is greater: l or o?
l
Let l = -3.4 + 2.3. Let y = -0.1 - l. Which is smaller: y or 5?
y
Let q = -4 - -4.12. Let j = 9 + -8.83. Let y = q - j. Do y and -1/5 have the same value?
False
Let v = 2/8399 + 24995/848299. Does v = 0?
False
Let g(s) = 1 + s + 3 + 0. Let o be g(-2). Suppose 7*i - 4*i + 3 = 0. Is o bigger than i?
True
Let k be 4/(-3 - 1)*(-1 - -374). Which is smaller: -374 or k?
-374
Let q be -4 + 9 - 2/2. Let x(a) = -16*a + 9*a + 3*a + 6. Let i be x(q). Which is bigger: -9 or i?
-9
Let c = 15.234 + -49.269. Let m = c - -0.035. Let t = -33 - m. Is t at least as big as 1?
True
Let n be (-14)/686*-35 + 5/(-7). Let a be (-12)/(-14)*(-4)/(-6). Is n at most a?
True
Let j = -41 - -12. Let p be 1 - 1139/34 - (1 - 5). Do p and j have the same value?
False
Suppose -p - x = -66, 15*p - 325 = 10*p - 4*x. Is p >= 59?
True
Suppose 2*n = -11*i + 16*i + 1, -21 = -2*n + i. Is n at least 18?
False
Suppose 0 = 9*f - 47*f - 12464. Is -329 at most as big as f?
True
Let h = 58 + -83. Let u be (144/(-28))/(5 - 67/14). Is u greater than or equal to h?
True
Let y(u) = -2*u**2 + 3*u - 1. Let o be y(1). Is -2/789 equal to o?
False
Suppose -5*d - 2*f = -441, d - 3*d - f = -177. Are 0.1 and d non-equal?
True
Let d = 8.7 + 2.3. Let u = 15 - d. Let q = -44 - -45. Which is bigger: u or q?
u
Let u = -1942614206/1739782065 - -2/8570355. Let q = u + 22/21. Which is greater: q or -2?
q
Let v = -2215 - -2314. Is v <= 104?
True
Let y = -19479/25 - -663451/850. Let g = y - -1/34. Let a be 2/6 + (-10)/(-6). Which is smaller: a or g?
g
Let i = -35.88 + -0.12. Let b = i + 29. Which is smaller: b or 0?
b
Let c = -10729/7 - -1533. Suppose 2*m + 0*x - 4*x - 36 = 0, x = 1. Let f be 2/7 - m/(-28). Which is greater: f or c?
f
Let l = 18 + -19. Suppose 0*p - p + 16 = 2*z, 0 = -5*z - 3*p + 39. Let n = z + l. Do 8 and n have different values?
False
Suppose 0 = -4*i, -5*i - 4 = -4*q + 12. Let g be 0*q/8*-1. Suppose 3 = -g*o - 4*o + m, 0 = -5*o - m + 3. Which is greater: 7/5 or o?
7/5
Let f(l) = -l**3 + 44*l**2 + 44*l + 43. Let y be f(45). Is -19/10 bigger than y?
True
Suppose -38 = -3*f + 28. Let u = 8 + f. Let z = u + -29. Which is greater: z or 5/4?
5/4
Suppose 3*r - 97 + 7 = 0. Let c = -30 + r. Is c at most 2/9?
True
Suppose 2*p = 2*n - 3*p - 12, -10 = 5*p. Let m = -79 + 81. Let v be (n - 14/m)/(-1). Is 7 smaller than v?
False
Let n(y) = -4*y - 106. Let b be n(-27). Is -12 >= b?
False
Suppose -5*p - 25 = f, 3*f - 4*f + 5*p + 25 = 0. Let d be -6 + 1*(f + 2). Let w = d + 2. Is -2 <= w?
True
Let q(p) = -2*p + 3. Let k(g) = 3*g - 5. Let r(h) = -5*k(h) - 8*q(h). Let u be r(2). Suppose u*a + 0*a = 9. Which is bigger: a or 5?
5
Let n(y) = -y**3 + y**2 + 1. Let u(x) = 13*x + 1. Let h be u(-2). Let w = h - -26. Let s be n(w). Which is smaller: s or -1?
-1
Let k be 9*((-65)/(-105) - (-4)/(-14)). Suppose 2*w + 3*w + 9 = -k*i, -5*i - 3*w + 1 = 0. Which is bigger: 17/12 or i?
i
Let z = 232 - 233. Are z and 5/31 nonequal?
True
Let b be 0/8*(0 + 1). Let y = 569 + -9667/17. Which is smaller: b or y?
b
Let t be (-4)/(-18) + 354/(-378). Suppose -2*b - 10 = -5*u, 2*b + u + 2*u = 6. Are b and t equal?
False
Let t(i) = i**3 - 4*i**2 - 6*i + 2. Let a be t(5). Let o = a + 1. Let g be (-1)/((3/o)/(-3)). Is g at most as big as -2?
True
Let a be (-4)/(-9) - (-23864)/171. Suppose 0*o - 20*o = a. Let c(l) = l**2 + 7*l - 1. Let x be c(-6). Is x != o?
False
Let t be 3 - 6 - (280/25)/(-4). Is t at least -4?
True
Suppose 5*h - 3435 = 480. Is h less than or equal to 783?
True
Let p = 15 - 11. Suppose 0*y + 2*y = p*d, -5*y = 5*d - 30. Suppose 5*j + d = 6*j. Is 1 less than or equal to j?
True
Let z be 4 + -8 + -29 + 3. Let k be 4/3 + 40/z. Is k <= -8/3?
False
Let g = 1/1191 + -157219/8337. Are g and -19 non-equal?
True
Suppose h = -2*x, 0 = -5*h - 5*x + 5 + 10. Let b be 16/3 - (-3)/(-9). Let k(w) = w**3 - 6*w**2 + 5*w + 5. Let j be k(b). Which is greater: j or h?
h
Let b be 12 + -16 + (-1107)/(-55). Let d = 82/5 - b. Is d bigger than 0?
True
Let u = 6 + -7. Let f = 729/5 + -13881/95. Is u > f?
False
Let s = 0.01 - 2.71. Let f = -8.3 + s. Let d = -10 - f. Which is bigger: d or 9?
9
Let w = 55485 - 130889113/2359. Are w and -1 unequal?
True
Let r be 16/(-36) + (-4)/(-6). Let w = -11 - -10. Is w >= r?
False
Let x be (-2)/14 - 154/(-49). Let l be (-6 + x)/((-3423)/14). Which is smaller: l or 1?
l
Let n = 9 + -25. Let v be 29/((-116)/24) - 104/12. Are v and n equal?
False
Let p = -1487 + 1407. Is p less than -73?
True
Suppose 4*w = -2*c + 8, c - 3*w - 24 + 45 = 0. Let n = -43 - -21. Let h = 16 + n. Are c and h equal?
True
Let y = 0.8 + 1.2. Let j(u) = -u**3 - 17*u**2 - 61*u - 30. Let g be j(-12). Which is bigger: y or g?
y
Let t = 222 + -222. Which is smaller: t or -0.07?
-0.07
Let z = 5633963/27708 - 1/9236. Let m = z - 206. Is -4 bigger than m?
False
Let c = -241 + 241.094. Is c != -1/3?
True
Let d = -20.87 + 21. Let i = 0.03 - d. Let n = -59.89 - -60. Which is bigger: n or i?
n
Let g = 210.21 + -208. Let q = g - 0.11. Let o = 0.1 - q. Is -0.1 less than o?
False
Let t = 89 - 57. Let j = t - 34. Is -2 < j?
False
Let v = 302 + -512. Let b be (-133)/v + 1/(-2). Let q be (-2 - -7) + -2 + -2. Which is smaller: b or q?
b
Let z be -7 + (-75808)/(-100) + (-6)/75. Do 1503/2 and z have the same value?
False
Suppose -4 = -4*t + 3*t. Suppose -c + 21 = 4*c + 2*h, -5*c + 35 = -5*h. Suppose -t*p = -c*p - 1. Is 1 greater than or equal to p?
True
Let p = -14369/18 + 799. Let y = -7/9 - p. Let a = -106 + 103. Is a equal to y?
False
Let r be ((-156)/(-91))/((-12)/42). Let g = -2 - -2.1. Let u = 0.2 + g. Is u greater than r?
True
Let g(y) = 3*y**2 + 13*y + 5. Let c(n) = -4*n**2 - 14*n - 4. Let f(j) = -2*c(j) - 3*g(j). Let o be 1 + (-12)/9 + 58/(-6). Let b be f(o). Is 0.1 less than b?
True
Let q = -1919 + 101702/53. Which is smaller: q or -1?
-1
Suppose 0 = 6*h - 29*h - 299. Let p(t) = -5*t + 1. Let j(b) = -16*b + 4. Let a(d) = 2*j(d) - 7*p(d). Let g be a(-5). Is g greater than or equal to h?
False
Let a = 10/23 - 284/759. Suppose 0 = -3*l + 1 + 8. Let c = l - 3. Do a and c have the same value?
False
Suppose 5*v - 5*m - 140 = 0, v = -0*v - 2*m + 16. Let x be ((-79)/79)/(2/(-10)). Suppose x*k - o - v = k, 16 = -4*o. Is k < 3?
False
Suppose p - 1 + 3 = 0. Let u(a) = -2*a**2 - a + 4. Let s be u(p). Let f = 12 + -17. Which is greater: f or s?
s
Suppose -5*t = -2*m + m - 1, 0 = t + 4*m - 17. Let k be (-1 - t)*(-740)/40. Which is smaller: k or 36?
36
Let u be 2/5*(-10 - -20). Let p(l) = l**2 - 5*l + 3. Let k be p(u). Let h(n) = n + 1. Let w be h(-2). Is k bigger than w?
False
Suppose -4*s + 119 = -5*d, -5*s + 0*s - 4*d = -118. Are 25 and s equal?
False
Let z be (-100)/(-4) + 0 + 1. Let t(v) = v**3 + 10*v**2 - v + 15. Let m be t(-10). Is z <= m?
False
Let u = 6453/13 - 495. Is -0.05 less than or equal to u?
True
Let b be (-647)/11 + 48/(-264). Do -59 and b have different values?
False
Let a be (250/3500)/(1/4). Let b = 6 + -5.7. Does a = b?
False
Let f = -5083/9 + 14707/36. Is -156 less than or equal to f?
False
Let v be (-2)/(2 - (-52)/(-25)). Let z = -42 - -46. Suppose -z*i = i + v. Which is bigger: i or -4?
-4
Let s be 38/4*1*2. Let u = -20 + s. Does u = 0?
False
Suppose -60*l + 57*l = -12. Suppose s - l*f = -2*s - 7, f = -5*s - 50. Let m(c) = -c**3 + 4*c**2 - 3*c + 4. Let o be m(4). Is s at least as big as o?
False
Let x = 85/62 - -4/31. Let q(z) be the second derivative of z**3/6 - 2*z**2 - 5*z. Let y be q(6). Which is greater: x or y?
y
Let b be (-189)/(-168)*4/(-6). Let n = 0.7 - -0.1. Let a = n - 0.6. Is a less than or equal to b?
False
Let z(m) = m**2 + 3*m + 1. Suppose 5*d = -q - 3 - 26, -3*d + 4*q = -1. Let t be z(d). Let f = t - 11. Which is bigger: 1/2 or f?
1/2
Let u = 129 - 89. Let j be (-6)/(-24) + 14/u. Which is greater: j or 0?
j
Let y(k) = k**2 - 19*k + 21. Let q be y(18). Suppose q*h - a + 2 = 0, -2*h - a + 4 = a. Which is bigger: -12/13 or h?
h
Let l(t) = -t. Let f be l(-3). Suppose 0 = 4*u - 2*x + 14, 3*x - 6 - 6 = -f*u. Let d be (4/4)/(1*(-2 - 