) = 359*a - 8. Let o be d(4). Suppose 0 = -0*h - 4*h + o. Let i be h/378 + (-2)/2. Which is bigger: 1/2 or i?
1/2
Let n = -497/2 + 253. Let z be (12/18)/((-2)/18). Let y(a) = -a - 1. Let x be y(z). Does x = n?
False
Let z = -20 + 25. Let g be z + -6 + 2/1. Which is smaller: g or -1?
-1
Let m(n) = 2*n - 14. Let q be m(7). Suppose -6*t + 9*t + 66 = q. Is -22 >= t?
True
Suppose 3*c = 6, 0*c - 2 = -4*q + 3*c. Suppose -4*p = -q*r + 4*r + 150, 4*p + 152 = -4*r. Let z = p + 332/9. Does z = 0?
False
Let i = 0.081 - -0.119. Let y be (4/30)/(224/(-20)). Let g = y + 59/252. Are g and i non-equal?
True
Let r = 75.2 - 78. Let n = r + 3.8. Is 6/13 greater than n?
False
Let u = 153 - 88. Which is bigger: 62 or u?
u
Suppose -5*p + 73 = -3*n + 274, -3*p - 63 = -n. Which is bigger: 83 or n?
83
Suppose 2*z = 4*z - 4. Suppose -4*l + p = -2*l + 29, -74 = 5*l - z*p. Is l less than -15?
True
Let x(m) = -11*m - 125. Let z be x(-13). Is 18 smaller than z?
False
Let q = -8 - -11. Suppose 0 = -4*a - 27 + q. Let h = -5 - a. Is h not equal to 2/23?
True
Suppose g + 0*g + 11 = 3*h, -3*h - 2*g = -14. Let j be ((-2)/(-13) - (-1102)/104)*h. Is 43 greater than or equal to j?
True
Let g be (130/(-25) - -1)*(-6)/6. Let w(p) = -p**3 - 2*p**2 - 4. Let m be w(-3). Which is smaller: g or m?
g
Let g(c) = 4*c**2 + 76*c + 155. Let a be g(-17). Which is smaller: 225/11 or a?
a
Let j = -463297/228 + 2032. Let n be 1/5 + 2/(-10). Are n and j unequal?
True
Let i be (-1)/(-3 + 5 + -3) - -2. Which is greater: i or 56?
56
Let r(h) = h + 9. Let f be r(-8). Let v = -6 + 8. Let i = v + -1. Is i bigger than f?
False
Let a be (2 - (-64)/(-36)) + (-91)/(-441). Does 21 = a?
False
Let w = 45 + -407/9. Let x = 159.2 - 159. Is x greater than or equal to w?
True
Let c = 1937 + -1798. Which is smaller: c or 135?
135
Let q = -52 - -39.5. Are -2/5 and q nonequal?
True
Suppose 5*y - 37 = -3*s + s, 0 = -3*s + 5*y + 18. Let g = s + -19/2. Is g greater than or equal to 2?
False
Let t be 1/(64/(-20))*1/(-8). Which is greater: 0 or t?
t
Let u = -1.1 + 0. Let m = -0.89 - 0.11. Let x = m - u. Which is smaller: -2 or x?
-2
Let l(y) = y + 69. Let x be l(-16). Is 55 less than x?
False
Let n be 13/(-1) - 0/(-2). Let k be n/(-20) - 4/10. Let d be (-4)/7 + 296/518. Is k >= d?
True
Suppose 8*m + 4*z = 3*m + 25, -17 = -2*m - 3*z. Let a = m - -2. Suppose 2*t + a*q = -9, -3*t + 9 = -2*q - q. Is -2/25 less than t?
True
Let k be (3/2)/((-100)/40). Let p(x) = -x + 13. Let b be p(14). Which is greater: b or k?
k
Let j(z) be the second derivative of -z**4/12 + 5*z**3/6 + z**2 - 2*z. Let b be j(7). Let g be -2 - (21/b + 0). Which is smaller: g or 0?
g
Let p(i) = -3*i - 4 + 0*i + 2*i + 0. Let v be p(-6). Let u be ((-8)/80)/(v/8). Is u > 1?
False
Let t = 0.2 - 0.2. Let i = t - 1. Let o be (-4)/(-4 - 0)*(0 - 2). Is i at most o?
False
Suppose 4*a - 156 = 5*j - j, 1 = -j. Suppose 5*t - a = -s, 16 = 2*s - 9*t + 4*t. Let c = s - 14. Which is smaller: c or 18/5?
18/5
Let x = 0.066 + -0.038. Let n = x + -0.128. Are n and 28 equal?
False
Let x be ((-20)/6)/((-4)/6). Suppose -3*o - 5*v = -6*o + 17, -x*o - 17 = 3*v. Suppose -2*c - 15 = -3*h + 4*h, -c - 12 = -h. Which is bigger: o or c?
o
Suppose -168 = 5*i - 12*i. Let b be 7*(i/(-28))/3. Let f = b + 4. Which is smaller: f or 3?
f
Suppose 1 = 3*s - 5. Let l be (-3)/s*(-10)/(-15). Which is greater: 0.1 or l?
0.1
Let l be (-12036)/(-1156) - (10 - 0). Is -2 >= l?
False
Let v = 26 + -24. Let b be v/1*11/(-66). Let u(k) = k + 5. Let g be u(-6). Is b at most g?
False
Let g = -19/10 - -3/2. Let h(q) = -18 - 14 - 341*q + 334*q. Let p be h(-5). Which is smaller: p or g?
g
Let i = 24 + -27. Let k be 13/i*1/(-15). Let j = -2/5 + k. Which is smaller: 0 or j?
j
Let h be (-4)/(-2)*63/6. Let y be (-2)/4 - h/(-6). Let b be (2/6 - 0)/(13/65). Which is greater: y or b?
y
Let r be 64/30 + 22/(-165). Suppose 7 - 3 = r*h - 3*m, 0 = 5*h - 2*m + 1. Let d be h + -1 + -1 + 3. Are d and 0 non-equal?
False
Let f(y) = -y**3 - 12*y**2 - 2*y - 19. Let i be f(-12). Suppose q + 16 = -0*o + 4*o, -5*o = i*q - 20. Let m be 40/(-14) - -2 - -1. Which is bigger: m or q?
m
Let h(s) = s**3 + 5*s**2 - 22*s + 23. Let n be h(-8). Suppose p - 6 = 2. Is p at most n?
False
Suppose -t + 247 = 3*j, 5*j + 14*t - 421 = 17*t. Is 412/5 at least as big as j?
False
Suppose -3*d = -4*t + 21, 0 = 4*d - 6*t + 2*t + 24. Let p be (245/(-56) - -8)*-1. Which is greater: p or d?
d
Let c be (18/(-3))/((-6)/(-32)). Which is smaller: c or -29?
c
Let y = 1.219 - 1.17. Let q = y + 0.051. Is q > 21/4?
False
Suppose -u = 5*v - 13, 4*v - 2*v = -4*u + 70. Let m be (u*-2)/3 - 3. Let o = -16 - m. Which is smaller: o or 2/29?
o
Let a be (-34)/(-10) - (-18)/(-45). Suppose -5*g - 12 = 4*k, -5*g - 2*k - 15 = a*k. Suppose -4*r - m + 5 = -9*r, g = 2*m. Which is bigger: 3/16 or r?
3/16
Let m = 421 + -421.39. Let f = -1.24 - -1.5. Let x = m + f. Which is smaller: -1/3 or x?
-1/3
Let v(y) = -y**3 - 4*y**2 + 4*y - 5. Let d be v(-5). Let z = -0.112 + 0.004. Let u = -0.138 - z. Which is bigger: u or d?
d
Let c be 1/(0 + 2/8). Let p be 1*c*(-35)/(-28). Which is bigger: p or 0?
p
Let n = 134.1 - 107. Is n < -1/3?
False
Let u be (-10)/8*6/(-15). Let s = -0.0435 - 7.3565. Is s >= u?
False
Let v = 42 - 54. Let y be 9/v + 6/(-24). Which is smaller: y or -1/2?
y
Let r = -5276 - -543416/103. Which is smaller: 0 or r?
r
Suppose 3*j = 3*m - 27, 2*j = -5*m + 35 + 10. Let c(z) = -z + 13. Let y be c(10). Let s be 5 + -4 - y/2. Which is smaller: m or s?
s
Suppose 3*o - 4 = -1. Let m = -1336/15 - -89. Let g = m + 2/5. Is o at least g?
True
Let p = -2085/8 + 261. Which is greater: 1 or p?
1
Let x = 97 - 98. Which is smaller: x or 8/59?
x
Let d = -1.48 - -70.48. Is d > -7?
True
Suppose 3*a + 2826 = -3*q, -2*a - a = -9. Let k be q/308 - 4/22. Is -4 != k?
True
Let a(j) = 7*j + 2. Let z be a(1). Let r(x) = -x + 9. Let l be r(z). Suppose -2*g = w - 3*g + 3, -3*w - 4*g - 23 = l. Is w at least as big as 2/7?
False
Let p(s) = s**3 + 22*s**2 + 15. Let t be p(-22). Suppose -4*b + 9*b = t. Is 21/5 greater than b?
True
Let b = -78.1528 - -0.1528. Is -6 <= b?
False
Let h = -335 - -358. Is h not equal to -2?
True
Suppose 6 = 2*o - q + 20, 4*q = -3*o - 10. Let a(b) = -3*b + 2. Let t be a(2). Which is smaller: t or o?
o
Suppose 0 = -4*g + 4*n + 20, -4*n + 10 = -0*g + g. Let u be (-40)/(-12) - 2/g. Suppose 0 = u*x - 32 + 5. Which is smaller: x or 11?
x
Let o(b) = 72*b + 168. Let x be o(-3). Which is smaller: x or -1/2?
x
Let x(t) = t**2 - 12*t + 23. Let b be x(10). Suppose 0 = 3*n - 6*n - b. Is -3 <= n?
True
Suppose g = 3*g - 8. Let f(k) = k**2 + 21*k + 115. Let l be f(-10). Is g > l?
False
Let i be -37 - -36 - (-1)/136*134. Is 0.4 < i?
False
Suppose 0 = -0*j + 5*j - 10. Let w = -5 - -4. Let o be 0 - j - (-3 - w). Is o bigger than -1/9?
True
Suppose 3*w - 24 = -7*y + 2*y, -2*y - 2*w = -12. Suppose y*l + 2*f + 46 = 0, 3*l = 5*l - 4*f + 20. Are l and -12 unequal?
True
Let d = 632/43835 + 3/797. Is 3 <= d?
False
Let f be 4220/(-16)*(-2)/(-15). Let a = f + 140/3. Let y = -21 - -34. Are y and a nonequal?
True
Let q = -47 + 46.99. Let k = q + -0.09. Is k at least as big as -0.1?
True
Let z be -4 + 0 + 460/4. Let x = 161 - z. Which is smaller: -2 or x?
-2
Let x be ((1 - 2) + 5)*-10. Let p be x/12*(-6)/25. Let y(z) = -118*z + 236. Let d be y(2). Is p less than d?
False
Let n = -9.7 - -54.7. Let k = -27 + n. Let f = k + -17. Which is greater: -11 or f?
f
Let f(t) = -31*t + 224. Let h be f(8). Is h >= -21?
False
Let o be -4 + (-1 - -1 - 40/(-8)). Is 5/12 equal to o?
False
Let g = -26.89 + -0.11. Let r = g - -45. Which is smaller: 3/2 or r?
3/2
Let p be -3 - 2*(-150)/108. Are p and 0.2 unequal?
True
Suppose 0 = -3*o - 2*o - 15. Is o greater than -70/17?
True
Let v = 5177/5 + -12371/15. Is v less than 210?
False
Suppose -3*y - 2*z = 3*z + 19, 3*y + 31 = -2*z. Suppose 63*v + 30 = 61*v. Which is smaller: v or y?
v
Let j(w) = -w**2 + 9*w + 24. Let x be j(11). Suppose 3*o - x*o = 0. Let d be (4 + -3)*(2 - o). Which is bigger: d or 0.2?
d
Let i = 17 - 1. Let u = -17.7 + 1.7. Let b = u + i. Is b equal to -2/7?
False
Suppose -4*y + u - 5 - 1 = 0, -12 = 2*y + 4*u. Let w be ((-6)/(4 + y))/(-1). Suppose 0*r + 14 = 2*r + 2*x, x = w*r - 21. Is r smaller than 6?
False
Let l(z) = -5*z + 51. Let q be l(0). Let o = q + -50. Which 