(d) = d - 12. Let r be s(u). Suppose 2*j - r = 1. Is 1 > j?
False
Suppose -24*f + 26*f = 12. Suppose -7*x + 1 = -f*x. Is 3/4 <= x?
True
Let i(u) = -u**3 + 10*u**2 - 5*u + 15. Let k be i(6). Let n be (-6)/(-18) + k/18*-2. Let d(v) = -v**2 + 2*v + 1. Let r be d(5). Is r <= n?
True
Suppose -5*c = l - 409, -30*c - 3*l + 79 = -29*c. Does 82 = c?
True
Let v(t) = 3*t - 9 + 4*t - 6*t - 1. Let d be v(10). Is d greater than or equal to -2/3?
True
Let w be -14*3/6 + 7*-182. Which is smaller: w or 1?
w
Let t = 7438/3 + -2479. Which is greater: 64/13 or t?
64/13
Suppose 4*g + 3 = g. Let v be (g/(-2))/((-299)/(-26)). Let o be 4 + (-3 - (4 - 4)). Are v and o nonequal?
True
Let p be -60*(-2)/(-20)*-4. Suppose 3*h + d - p = 4*d, -3*d = -2*h + 19. Suppose 3*j + 21 - 2 = h*y, 0 = -j + 5*y - 3. Is -6 greater than j?
True
Let q(o) = o**2 - 9*o - 1. Let a be q(-2). Is a less than 7?
False
Let u(i) = -10*i**2 - 13*i - 92. Let v be u(-12). Is v < -1377?
False
Let m = -879/4433 - 27/143. Is m smaller than 0?
True
Suppose -4*c + 5*h + 2 = 0, 4*c + 3*h = 6*c - 2. Let l be -6 + (189/162 - (-2 + -2)). Which is smaller: l or c?
c
Suppose 0 = 2*f + 1814 - 1686. Which is smaller: -52 or f?
f
Suppose -115 = 5*p + 85. Let u be 16/p - (-8)/170. Which is greater: u or 0?
0
Let d be (-2*(-2)/16)/((-3085)/10). Is d at most 0?
True
Suppose -2 = -80*r + 79*r. Suppose -r*b - 3*y = 22, -4*b + 2*b = 5*y + 26. Which is smaller: b or -3?
b
Let u(c) = -c**2 - 9*c + 6. Let r be u(-12). Let h be 2/r*(4 - 1). Let a = 5 - 1. Is h != a?
True
Suppose -5*x - 426 = -4*o, -490 = 4*x + o - 166. Which is greater: x or -85?
x
Let j = -0.3 - -0.2. Let m = -595381/124355 + 1356/323. Let r = 1/55 + m. Which is smaller: j or r?
r
Let q = 2 - 5. Let a be (-2)/(-4 + 42/10). Let i = q + a. Is -14 >= i?
False
Let x be 3*(-8)/(-10)*(-35)/903. Which is bigger: x or 0?
0
Let z be 4/((-28)/(-1043)) + 5. Which is smaller: 0 or z?
0
Let d = -232.04 - -223. Let v = d - -9. Is -3 equal to v?
False
Let p(d) = d**3 - 3*d**2. Let v(g) = -g**2 + 11*g - 7. Let f be v(10). Let o be p(f). Is o smaller than 1/7?
True
Suppose 0 = -k + 5*t - 25, -k = 3*t + 73 - 88. Which is smaller: k or 3/1165?
k
Let i = 1/21 - -23/399. Let x(w) = w + 5. Let l be x(-5). Does i = l?
False
Suppose -m = -3*r + 277 + 310, m = -r + 189. Is r bigger than 193?
True
Suppose -3*l - 49 = -s + 2*l, 31 = s + 4*l. Suppose s*d = 38*d + 1. Is 4 less than or equal to d?
False
Let h = -151 - -195. Let d = h - 37. Which is bigger: 0.1 or d?
d
Suppose 54*m + 3758 + 8662 = 0. Which is smaller: m or -228?
m
Let f = -0.5 + -1.5. Let u be -14*(-1 + 9/6). Which is bigger: u or f?
f
Let y be (-4)/(-12)*6/1. Let a be 6/4*y/(-36). Let k be (-17 + 5 - -14)*2/4. Which is greater: a or k?
k
Let p = -4639/3 - -1547. Is 102 > p?
True
Let w = 2 - 7. Let m(g) be the third derivative of g**5/60 + g**4/6 - 5*g**3/6 + 6*g**2 + g. Let c be m(w). Which is smaller: -1/7 or c?
-1/7
Let d = -58/15 + 923/240. Let x = -43433/19248 + -106/401. Let r = x - d. Which is smaller: -2 or r?
r
Let k = 44/5 + -209/30. Let n be (9/6)/((-2)/(-4)). Is n at most k?
False
Let v(z) = -z**2 - 8*z + 1. Let p be v(-10). Is p at least as big as -1/2?
False
Let q = -0.278 + -12.422. Let w = -13.7 - q. Is 0.02 bigger than w?
True
Let h be 1 + (-4256)/(-1660) + -3. Let c = h - -3/83. Let w = 0.1 - 0.2. Which is smaller: w or c?
w
Suppose 55*f - 36*f - 95 = 0. Are -1 and f non-equal?
True
Let f be 7/(-5) + (-2)/(-5). Let h be (81/12)/(-9)*-8. Suppose 0 = 3*y + r + 9, 2*r = h*y - 5*y + 10. Is f != y?
True
Let f = -72.6 + 54.6. Let l be 2/(-7) + 30/56. Are l and f unequal?
True
Let g be ((-9)/3 - -2) + 0. Suppose 9*o + 8*o = 17. Is o at most g?
False
Let c = -30 + -4. Let j = -57 - c. Is j < 0?
True
Suppose 2 = -3*u - 4. Let g(p) = -7*p + 28. Let x(s) = -s + 1. Let l(y) = -g(y) + 5*x(y). Let j be l(10). Which is greater: u or j?
u
Let t(w) be the second derivative of -4*w + 0*w**2 - 5/6*w**3 - 1/12*w**4 + 0. Let r be t(-4). Which is bigger: r or 1?
r
Let r be (-452)/(-6)*5/(-5)*3. Are -225 and r nonequal?
True
Let o = 374 + -191. Is 183 greater than or equal to o?
True
Let b(v) = v + 5. Let d = 18 + -14. Suppose 3*z - 9 = -3*m + 4*m, d*z = 2*m + 10. Let w be b(z). Is w <= 8?
False
Suppose 12*x - 17 = -5. Do x and -6/97 have different values?
True
Let f(v) = -v - 2. Let b be f(4). Let x be ((-9)/30)/(b/(-4)). Is 0.03 bigger than x?
True
Let h = 894 + -906. Which is smaller: h or -38?
-38
Let a = -0.8 + -0.2. Let u = 3/142 + 34/71. Is u at most a?
False
Let i be ((44/(-7))/(-2))/(1/96). Let z = -303 + i. Which is smaller: 0.1 or z?
z
Let t be (-9)/15 - 27/5 - 100. Which is smaller: t or -523/5?
t
Let u(m) = m**3 - 4*m - 8. Let h be u(-2). Which is greater: h or -26?
h
Suppose 1 = 2*w - 1. Let p be w/(-3) - 2/3. Let l be (2 + -1)*-2 + p. Which is bigger: 3 or l?
3
Let x be (6/(-96))/(6/(-24)). Let m be 3 + (-32)/22 - 1. Are m and x equal?
False
Let v be (0/(-8))/(-2 - -1). Suppose -2*h - 10 + 20 = v. Let t = -3 + 9. Are h and t non-equal?
True
Let o = 0.7 - -11.3. Let l = -0.2 + 13.2. Let u = o - l. Do -1 and u have the same value?
True
Let r = -141/5 - -28. Suppose 4*h - 2*d + 7*d - 25 = 0, 2*d = 10. Let w be 1/(h + 1 + -2). Is r at most as big as w?
False
Let f = 101 - 99. Is 153 at most as big as f?
False
Let c be 0/(6 - 4)*1. Let l be c*1*(-4)/4. Do l and -10/7 have the same value?
False
Let t be 2/50*(-23080)/45936. Let s = -1/522 - t. Which is smaller: s or -1?
-1
Let i(h) = 3*h - 35. Let x be i(20). Let q be (x/(-18))/(-5) - (-74)/333. Which is smaller: q or -55?
-55
Let c be 2*1/762*1. Is 1 not equal to c?
True
Let f = -648 - -627. Are -24 and f equal?
False
Let m = 2415 + -2451. Is -20 smaller than m?
False
Let i = 494 + -440. Is i < 54?
False
Suppose 5*w - 12 = 23. Let y = 9 - w. Suppose y*d - 7 = 4*n - 1, n - 2*d + 6 = 0. Which is smaller: n or -3?
-3
Let t be ((-46)/(-95))/((-5)/75). Which is bigger: t or -8?
t
Let u be (-351)/(-6) - 19/(-38). Are u and 59 non-equal?
False
Suppose 5*j = 280 + 275. Suppose q + 5*t = 21 + 22, -j = -5*q + t. Is 22 at most as big as q?
True
Let t be 3 + (47/3)/(2/(-6)). Let q = t + 27. Do -19 and q have the same value?
False
Suppose -f + 2*k = -6*f + 43, -4*k - 4 = 0. Let c = -281 - -292. Which is greater: c or f?
c
Let u = -4682 + 4659.99. Let h = -22 - u. Let m = 0.11 - h. Which is bigger: 5 or m?
5
Let w = -844 - -710. Which is greater: w or -135?
w
Let n = 0.038 + 2.062. Does -1 = n?
False
Suppose 0*v + 3*l = -3*v - 51, v - 3*l - 3 = 0. Which is bigger: -11 or v?
-11
Suppose -143*x + 144*x = -192. Which is bigger: x or -194?
x
Suppose -5*w - 306 - 294 = 0. Let p = w + 1082/9. Let g be ((-1 + 1)/(-1))/1. Which is smaller: p or g?
g
Let k be (-2)/5 - 4/(20/(-37)). Let t be 14/35*165/12. Is k less than t?
False
Let k be (-2 - -2) + (-4)/(-2). Let d be -2 - 11/(22/(-24))*1. Suppose r = 4*n - d, 5*n + 4*r - k*r = 6. Which is greater: 6/5 or n?
n
Suppose -2*h - 22*t + 47 = -17*t, 0 = 2*h - 5*t - 77. Is h greater than or equal to 31?
True
Let r = -2579.3 - -2579. Is r > -89?
True
Suppose 0 = -5*b + 3*m + 1, 15 = -2*b - 3*b - 5*m. Let x = 3.6 - 11.7. Let y = x - -8. Is b >= y?
False
Suppose 0 = -s + 5*s - 3*c - 11, 0 = 5*s + 2*c - 31. Suppose w + 4 = s*w. Which is smaller: w or 4/7?
4/7
Suppose -5*r - 116 = -0*r - 3*j, -2*r - 50 = -3*j. Let b = -19 - r. Let s be 1/(b + (-10)/3). Which is smaller: -2 or s?
s
Let g = -4 - -4.08. Let b = 0.38 - g. Let y = -31 + 32. Does b = y?
False
Let a = -25.33 - 0.67. Let c = a - -29.2. Which is smaller: c or -1/2?
-1/2
Let q(k) = k**3 - 2*k**2 + 1. Let h be q(1). Suppose h = f - 233 - 137. Let a be (8/f)/((-12)/30). Is a smaller than -1?
False
Suppose -10 = -5*d - 5. Suppose 3 = 5*a + 2*v - d, 10 = 4*a + 5*v. Suppose a*s - 5*s - 10 = 0. Are s and -5/4 nonequal?
True
Let w be (-23)/2*(-6 + 4). Let d be 3 + -7 - -1*w. Are d and 19 non-equal?
False
Let k(o) = -o**3 + 4*o**2 - 3*o + 2. Let a be k(2). Let h(t) = -30*t + 9. Let b be h(-1). Suppose 10*v - 1 = b. Are a and v nonequal?
False
Suppose 3*t + 5 = g, 3*g = 8*g + 5. Is -3 < t?
True
Let q(g) = -g**2 + 7. Let m be q(5). Let d be 8/m - (-4)/18. Let a = 4526 - 4526.2. Is a smaller than d?
False
Suppose 10 = 5*h - 15. Suppose h*v = 2*v + 9. Let m be (-15)/(-10) + (-1)/(-2). Is m greater 