h?
h
Let f = -17.47 + 9.47. Is f less than 14?
True
Let s = -551 - -603. Is s equal to 256/5?
False
Suppose -4 = 56*l - 52*l. Suppose 4*g + 2 = 5*g. Suppose 0*y = r - g*y + 6, -3*y + 9 = 2*r. Which is greater: l or r?
r
Let q = 458 - -61. Let r = -6753/13 + q. Let f be (-28)/21 + 2/6. Is f at most r?
True
Let p(c) = -c**3 - 6*c**2 + 9*c + 12. Let x(v) = 4*v - 19. Let n be x(3). Let s be p(n). Which is greater: -6 or s?
s
Let v = 402 - 329. Is 73 greater than or equal to v?
True
Let k = 59/89 - -1/267. Let x = -58800 + 2351871/40. Let j = x - -29/8. Is k at least as big as j?
True
Let a = -40 - -123. Suppose 0 = -2*n + m + a, m = -2*n - 3*m + 78. Is n less than 42?
True
Let n(v) = -v**3 - 4*v**2 - 4*v - 5. Let a be n(-3). Let p be (-4 + 77/14)/(a/(-4)). Is -2/7 < p?
True
Let f = -160 - -152. Is -5 smaller than f?
False
Let d(r) = -r**3 + 6*r**2 - 2*r - 19. Let k be d(5). Suppose -44 = -4*s + 16. Suppose -5*f - 29 = 4*u, -2*u + s = -3*f + 2. Do k and f have different values?
True
Let f = 361 + -362. Which is smaller: -101 or f?
-101
Let n = -2.15 - -2. Let g be 0*(3 - 56/16)*-1. Are n and g nonequal?
True
Suppose 7*o - 2*o - 145 = 2*l, 0 = 5*o - 15. Let d be (-6)/9 - (-1 - l/15). Which is bigger: d or -13?
d
Let d = 132 + -128. Which is greater: d or 1.04?
d
Let f(c) = -11*c**2 + 58*c - 12. Let b be f(5). Is b at least 5?
False
Let o be 69/2 - 12/(-8). Suppose 3*b - 33 = b + 3*f, -2*b + o = -4*f. Let v be (-13 + b)/(1/12). Which is bigger: v or -2/3?
-2/3
Let h(w) = w**2 - 2*w - 3. Let m be h(4). Suppose -5*f + 11 = -f - t, -13 = f + 5*t. Which is greater: f or m?
m
Let f be (-16)/(-24)*3/2. Suppose -52 = -4*g + 4*r, 0*r = r - f. Suppose -4*p + 9 + 7 = -4*l, -l = 5*p - g. Which is smaller: 4 or p?
p
Let w = 516 + -491. Which is smaller: -4 or w?
-4
Let f(c) = 4*c + 48. Let v be f(-21). Is v at least as big as -42?
True
Let r be (-3 + 2)*(10/(-1) - 2). Let a = 38/3 - r. Is a bigger than 11?
False
Suppose 3*p = -0*p - 39. Let t(g) = -g**2 + 3*g + 3. Let b be t(-3). Do b and p have different values?
True
Let m = 25 - 16. Suppose m = 4*b + 49. Let q be 18/(-105) - 6/b. Which is smaller: q or 1?
q
Let v = -5 + 3. Let g be ((-5)/(106 - -4))/((-21)/(-672)). Is g at most as big as v?
False
Let k be (-36624)/98 + ((-24)/28)/3. Is -374 greater than k?
False
Suppose -2*m + 5*m - 119 = -2*x, 2*m - 66 = 2*x. Which is smaller: m or 35?
35
Let o = 1/159 + 88/53. Let v = -353/66 + 35/11. Let p = v + o. Is p bigger than 0?
False
Let q = -0.22 + -0.88. Let l = -2.1 - q. Which is smaller: l or -0.042?
l
Let v(f) = f**2 - 4*f - 7. Suppose 4*a + 3*q = -48, 47 = -3*a - 2*q - 3*q. Let y be v(a). Let c be ((-4)/y)/((-1)/15). Which is smaller: 1 or c?
c
Let p be (-32)/33 - (-11 - -3)/8. Is p smaller than 0?
False
Suppose 0 = -o - 3 + 4. Suppose 5*l + 2*s = 6*s - 1, 3*s = l + 9. Let d be l - 5/(450/273). Is d equal to o?
False
Let g(o) = -o**2 - o + 2. Let v be g(-3). Let u be (2/(-4))/((-2)/16). Suppose -u*y - 12 = -2*y. Which is greater: y or v?
v
Let i be (42/(-504))/((-2)/6). Which is bigger: i or 242?
242
Let q = -1 - 0.1. Let r = -3.1 - q. Let j = r - -2. Which is smaller: 0.8 or j?
j
Suppose 9*a = 602 + 820. Which is smaller: 155 or a?
155
Let y = -1.52 - 1.48. Which is smaller: y or 1/38?
y
Let s = 3 + -6. Let b = 0 - s. Let g = -139 + 141. Does g = b?
False
Let n = 509 + -517. Are -5/51 and n nonequal?
True
Let w = -54 - -63. Which is bigger: w or 8?
w
Let j be (21/(-9) - -3)/(6512/(-48)). Is j greater than 1?
False
Let y be (2/(-6))/((-8)/6). Let v be 12/(-3) - (-36)/4. Let c be (12/9)/(v/15). Which is smaller: c or y?
y
Suppose 0*g = 5*g + 35. Let r = -23 + 6. Let c = r + 9. Is c at most g?
True
Let r be (87/(-9))/((-2)/(-6)). Let y(x) = -9*x - 66. Let j be y(-4). Which is smaller: r or j?
j
Let p = 235.2 + -214. Let i = p + -18. Which is bigger: -1 or i?
i
Let g = -7 + 13. Suppose v - g = -2. Let l be 2/((-18)/(-3) - v). Which is bigger: 1/13 or l?
l
Let r(g) be the third derivative of -g**5/60 - g**4/12 + g**3/2 - 16*g**2. Let z be r(1). Which is greater: 1 or z?
1
Let q(p) = -13*p**2 + p - 3. Let s(f) = 6*f**2 + 1. Let d(n) = -3*q(n) - 7*s(n). Let b be d(2). Let z = 22 + b. Do z and 4 have different values?
True
Suppose -57*u = 29*u - 10234. Do u and 114 have the same value?
False
Let k(n) = n**3 - 9*n**2 + 6*n - 16. Let o be k(8). Let m = 34 + o. Suppose 0 = f + m + 7. Is -7 >= f?
True
Suppose -5*h + 971 = -5*j - 3*h, -4*h - 8 = 0. Is -195 greater than j?
False
Let t = 31/7 - 32/7. Let x(f) = -f + 2. Let l(z) = -z**3 + 6*z**2 - 5*z + 2. Let h be l(5). Let r be x(h). Which is bigger: r or t?
r
Let u = -105.4 + 106. Is -5/7 greater than u?
False
Let w(c) = c**2 + 16*c + 39. Let g be w(-13). Is g smaller than -1/5?
False
Let j(i) = -i**3 - 12*i**2 - 18*i + 23. Let z be j(-10). Suppose 3*x + 2*c + 0 = 3, 0 = z*x - c - 3. Is x greater than or equal to 2/225?
True
Let h = -12/19 - -407/494. Which is smaller: -1 or h?
-1
Suppose -4*r - 3*s - 3 = -108, 3*s = -3. Suppose 2*h + r - 3 = 0. Is -11 > h?
True
Let t = 8308/2305 - 2/461. Let o = -49/10 - t. Suppose g = 5*g + 36. Which is smaller: o or g?
g
Let d = -7/185 + -5501/1295. Let s = -1 - 3. Which is greater: s or d?
s
Suppose -4*j - 6 = -4*l - 26, 5*l = -3*j + 47. Suppose 0*h - 432 = 4*h. Let w be h/(-14) - 2/(-7). Which is bigger: j or w?
j
Let c = 4 + -8. Let t(u) = -u**3 - 2*u**2 + 4*u + 5. Let a be t(c). Suppose 0 = -y - 4*b - a, -5 = -4*b - 25. Is y < 6?
True
Let q = -415.04 - -415. Which is smaller: -15 or q?
-15
Suppose 5*s = -0*s + 20. Suppose 0 = -s*d + 5*d. Let q be (-6)/(-9) - 1/(-3). Which is smaller: q or d?
d
Let a be -5 + 8 + -2 + 25/(-26). Is -0.2 greater than a?
False
Let t = 152 - -178. Let u be t/35 - (-4)/7. Suppose u*l = 5*l - 45. Which is smaller: -10 or l?
-10
Let o = -90 - -87. Let u = o - -3.1. Let f = 65.3 + -68. Is f less than u?
True
Suppose x + 0*x = 4. Suppose 5*n + 243 = 5*g - 2*g, -x = g. Let h be -3 + n/(-54)*3. Which is bigger: h or 0?
0
Let o = 4121826216/876469 - 1025185/218. Let g = -4/473 - o. Which is smaller: -1 or g?
-1
Let l = 12 + 0. Suppose a + 3*a = l. Suppose 7 = -4*p + a. Which is smaller: p or -1/6?
p
Suppose 0*g - 2*g + 3*c = -15, -4*c - 20 = 4*g. Is g greater than 5/12?
False
Let c = 5 - -1. Let t(o) = -o**2 + 7*o - 7. Let f be t(c). Let j be (0/(-20))/11 + 3/13. Is f >= j?
False
Let o = -4354/3 + 1415. Let s = -23 - 14. Let m = o - s. Is m at least 2?
False
Let v be ((-20)/(-8))/((-2)/(-244)). Which is smaller: v or 304?
304
Let s = -57.18 + 14.18. Is s > -1/3?
False
Let s(m) = m + 1. Let k be s(-1). Let n = -757/341 - -66/31. Which is smaller: n or k?
n
Let h be (-1944)/(-484) - 1 - 3. Let r = 111/605 + h. Suppose 3*f + 2*k + 1 + 2 = 0, 3*k = -3*f - 6. Are f and r equal?
False
Let m = -17 + 11. Let z = -6.05 - m. Let x = -0.05 - z. Are x and 1/3 equal?
False
Suppose -249 = -2*i + 5*i. Which is bigger: i or -81?
-81
Suppose 5*b + h = -4*h - 865, -3*b = 2*h + 515. Which is smaller: -172 or b?
-172
Let k = 329 - 329. Let l = 3/494 + -9/38. Is k < l?
False
Let h = -160 - -161. Is h <= -2/545?
False
Let u = 0.196 + -0.296. Is u less than or equal to -0.41?
False
Suppose -b = -4, q + 15 = -4*q + 5*b. Which is smaller: -2/9 or q?
-2/9
Let x = 11 + -5. Suppose -x*p + 1050 = -p. Let i be 2/10 - (-18)/p. Which is smaller: i or -7?
-7
Let i = 401 + -720. Is i smaller than -319?
False
Let f be (4 - 8) + 13407/(-35). Let h = 387 + f. Suppose -6*b = -2*b. Are b and h nonequal?
True
Suppose -3*x = -5*y - 115, 11*x - 170 = 6*x + 4*y. Suppose 4*g - x = -2*c, 15 = c + 5*g - 15. Let d(q) = -q + 2. Let p be d(c). Which is bigger: p or -4?
p
Let l = 5 - 5. Suppose -8 + 6 = -q. Which is bigger: q or l?
q
Suppose 4*b + 225 = -319. Let t = b + 89. Is t != -48?
True
Let s(p) = -p**2 + 4. Let a be s(3). Let v be a/10 - (-13)/2. Let b be (-8)/(-126) - v/(-27). Which is greater: b or -2/5?
b
Let i = 173 - 170. Let c be 115/35 - 2/7. Is i at least c?
True
Suppose 3*j + 6 = j. Suppose -5*a - 1 - 9 = 0. Is a < j?
False
Suppose -z - 2*z - 15 = 0. Let c(i) = i**2 + 4*i - 6. Let k be c(z). Let y = k + 2. Is -2/9 equal to y?
False
Suppose x - 3 = -0*x. Suppose 0*q + 3*q = 0. Which is greater: x or q?
x
Let t = 189 + -180. Which is smaller: 12 or t?
t
Suppose 9*m + 88 = 763. Let x = 115 - m.