h is greater: -2/13 or q?
q
Let o = 422/17 - 30013/1207. Which is bigger: -1 or o?
o
Let j = 88.065 - 88. Let m = j - -0.035. Is 0 at most as big as m?
True
Let f = 0.203 - -4.847. Let i = 5 - f. Let q = 0.79 - 2.79. Which is bigger: i or q?
i
Suppose -3*b = 2*b + 10. Let f = 2 + b. Suppose 0 = -5*y + 2*v - 11, -y + 10 = 4*y + 5*v. Which is bigger: f or y?
f
Suppose 0 = h - 14*h - 4589. Which is greater: -357 or h?
h
Suppose 6*r + 114 = -102. Let n be (-6)/8 - -33*33/r. Are n and -30 equal?
False
Let d be (11/((-264)/(-160)))/((-2)/6). Is -14 less than or equal to d?
False
Let r be 16/80 + (-1624)/20. Which is smaller: -82 or r?
-82
Let y be 12/3 - 5712/9. Let k = y - -625. Is k at most as big as -6?
False
Let d = 0.43 - 0.03. Let p = 12.82 + 0.18. Let g = 13.2 - p. Is d bigger than g?
True
Suppose 5*d + 5*b = 11 + 14, 3*b + 48 = 4*d. Let o(i) = 2 + i + 0*i + 2. Let a be o(5). Is d greater than or equal to a?
True
Let c be (0 + 3 + (-1748)/644)/((-4)/14). Suppose 0 = 4*y + 3 + 1. Let h be (-2)/(-3) + (y - 0). Is c >= h?
False
Let m = 3147 + -103838/33. Which is greater: m or -1?
m
Suppose 2*s - 2 = 2, 0 = -3*w + s + 7. Let h(f) = -f**3 + 2*f**2 + 6*f - 7. Let m be h(w). Suppose -2*c = m*j, j = -3*j + 3*c. Which is smaller: 3 or j?
j
Let u(y) = 3*y + 20. Let j be u(-6). Suppose 4*d - 10 = -j. Which is smaller: 1/7 or d?
1/7
Let x = 2209 - 2211. Is -29/45 <= x?
False
Suppose 3*r - 2 = 16. Let g(x) = -x**2 - 6*x - 7. Let t be g(-3). Suppose 0 = 3*j - r*j - t*m + 5, -j + 4*m = 3. Are -3/7 and j non-equal?
True
Suppose j = 1 + 3, 25 = 5*a - 5*j. Suppose -52 = -5*z + 4*i, 0 = 150*z - 146*z - i - 35. Which is smaller: z or a?
z
Let w = 6 - 5.2. Let d = w + -14.8. Let u = -12 - d. Which is greater: u or -0.1?
u
Let j be 3 + -3 + 1 + -1. Let f = j - 3. Suppose -83 = -4*x - 87. Is x at most f?
False
Let k = 16 - 12. Suppose 0*i - k*f + 342 = i, -i - f = -336. Let g be 6/(-33) + i/22. Is 15 less than g?
False
Let p(n) = n**2 + n - 12. Let x be p(-4). Is -3/64 equal to x?
False
Let v = -42 + 70. Let d = 10 - v. Let l be (-27)/d*4/129. Which is smaller: 0 or l?
0
Let f = -0.35 - -4.35. Is f at least as big as -14?
True
Let p = 3196/1725 - 42/23. Which is bigger: -3 or p?
p
Let r = -20 + 264. Let y = r - 479/2. Which is greater: 5 or y?
5
Let k = 1587 + -1589. Is k not equal to -132?
True
Let l(r) = -64*r**3 - r**2 - 2*r - 1. Let u be l(-1). Suppose u = 4*h + 3*q - 76, 0 = -h - 5*q + 18. Is 38 less than or equal to h?
True
Let r = 1/257 - -3589/2313. Let q = 21 + -19. Suppose q*l = 4*l - 4. Which is smaller: r or l?
r
Let x be 4096/20780 - 23/115. Which is bigger: -1 or x?
x
Let n = -175.221 - -0.221. Which is smaller: n or -2/3?
n
Suppose -7*c + 12*c = 3*b + 13, -6 = 2*b - 2*c. Do b and -2/91 have different values?
True
Let s = 79 + -80. Which is bigger: 3/392 or s?
3/392
Let p = -416 - -419. Which is greater: p or 60?
60
Let z be 32307/(-4620) - 7*-1. Which is smaller: z or 1?
z
Let q = 18 + -35/2. Let i be ((-178)/(-6))/((-10)/(-12)). Let k = 36 - i. Are q and k equal?
False
Let c be (-3)/(-9) + 10725836/192. Let o = -56080 + c. Let p = 216 + o. Which is smaller: p or -0.1?
-0.1
Let s be ((-5)/(-8)*-18)/(2/(-8)). Suppose 3*i - s + 171 = 0. Is i less than -1?
True
Let g = -13 + 15. Suppose 5*r + 6 = 5*m - g*m, 3*r = 0. Is 3/7 at least m?
False
Let h = -142 - -133. Let p be (7/(-2))/(8/16). Which is smaller: p or h?
h
Let l be ((-12)/(-20))/((-1)/(-6)). Let j be -80 - -77 - -1*8. Is j < l?
False
Let g be (3 - 628/(-15)) + -9 + 4. Which is greater: g or 39?
g
Let r = 0.3 + 0.8. Let o = r + -0.8. Do o and -4 have the same value?
False
Suppose -4*c - 3 - 4 = -5*r, -3*c = -r - 3. Let b(n) = c*n**2 + 4 + 9*n - 7 - 9*n**2 + n**3 - 2*n. Let k be b(6). Which is greater: k or 4?
4
Let m(w) = w**3 - 3*w**2 + 2*w - 1. Let n be ((-16)/4 - -1)*-1. Let q be m(n). Let p = q - 5. Which is smaller: 1/50 or p?
p
Suppose -48 = -6*l + 2*l. Suppose 4 = 2*f + l. Let t(i) = -i**2 + 7*i + 4. Let y be t(8). Is f equal to y?
True
Suppose 0*o = -5*n - 2*o + 14, 8 = n + 3*o. Suppose 0 = 33*b + 27 + 204. Let p be n*1/(2/b). Is p less than -7?
False
Suppose -229 = -n - 4*d, -4*n - 185 = 5*d - 1046. Is n > 211?
False
Let g(d) = -d**3 - 2*d**2 - 3*d - 3. Let p be g(-2). Let r = 57 + -43. Let o = r - 9. Is p less than or equal to o?
True
Let g be (16/(-40))/((-2)/10) - 7. Let k(z) be the first derivative of -z**2/2 - 4*z - 4. Let q be k(0). Is g at most as big as q?
True
Suppose 4*a - 51 = 3*u, 0 = 3*a - 2*a - 4*u - 29. Suppose -3*s = -27 - a. Are s and 10 equal?
False
Suppose -242 + 243 = l. Which is greater: l or -1/15?
l
Let y = -287/17 + 17. Which is smaller: y or -15?
-15
Let k be 8/16 - (-1)/(-2). Let z be (-4414)/(-39) - 2/(-3). Let l = z - 114. Which is greater: l or k?
k
Let u(b) = b**2 - b. Let v be u(2). Suppose 0 = v*m + 3*h + 4, 10 = 4*m - 5*h - 26. Let k = m - -7. Which is greater: k or 0.1?
k
Suppose 23 = -5*q + v, v - 17 = 5*q - 3*v. Let u = -6 - q. Let g = 4553/13 - 350. Is u greater than or equal to g?
False
Suppose 593 - 161 = 5*q + 4*y, 3*q + 5*y - 254 = 0. Let g be q/(-45) - (-2)/5. Let n = 65/36 + g. Which is greater: n or 0.2?
n
Let s(w) = w**3 + 23*w**2 + 37*w + 1464. Let n be s(-24). Let g = -3.2 - -0.2. Is n at least g?
True
Let w = 91 + -12. Which is smaller: -8 or w?
-8
Let c = -0.086 - -0.126. Which is smaller: 0 or c?
0
Let m be (-3)/12 - 214/8. Let v = 27 + m. Let b be 4/(-7)*1/2. Which is greater: b or v?
v
Let t(x) be the first derivative of -x**4/4 - x**3/3 + x - 2. Let l be t(-1). Let h = 330 - 1313/4. Is l at least h?
False
Let r = -7015 - -161375/23. Which is smaller: -0.3 or r?
-0.3
Let f be -1*3/(-12)*0 - 607. Is f != 2/3?
True
Let v = -475 + 476. Which is bigger: -373 or v?
v
Suppose -140 + 11580 = 65*j. Which is smaller: j or 174?
174
Suppose 4*r = 5*c + 1, 5*r - c + 1 = -24. Let i(t) = 3*t + 2 - 2*t + t + 0. Let w be i(r). Is w not equal to -10?
False
Let u = 6 + -3. Let a = -3.11 + u. Which is smaller: a or 1?
a
Let z(a) = -3*a**3 - 6*a**2 + 8*a + 2. Let g be z(-3). Is g greater than 33/7?
True
Suppose 3*c + 6 = 33. Let u(g) = -2*g + 4. Let i be u(c). Is i not equal to -14?
False
Let m(j) = j - 4*j**2 - 4*j**2 + 0*j + j**3 - 3. Suppose -5*z + 3*f + 9 = -40, 2*f = 5*z - 46. Let w be m(z). Which is smaller: 7 or w?
w
Let a = -285 + 856/3. Which is greater: 111 or a?
111
Suppose 6 = 3*l - 66. Suppose v = -i + 5*v - 2, -14 = -2*i + 2*v. Let k be 25 - (-3 + i/(-2 - -4)). Which is smaller: k or l?
k
Suppose -4960 = -11*u - 20*u. Which is bigger: u or 1?
u
Let m be (-11)/(110/6) - 8158/70. Which is greater: m or -118?
m
Let t(d) = -10*d - 3. Let z be t(4). Let p = 47 + z. Are 4 and p nonequal?
False
Let s be (4 + 36/(-10))*(-5)/77. Which is bigger: s or -1?
s
Let f(d) = 11*d - 5. Let i be f(-1). Which is smaller: i or -18?
-18
Let w = 4.5 + -4.452. Let z = 0.052 + w. Which is smaller: -40/9 or z?
-40/9
Let i = 383 - 393. Does 2/39 = i?
False
Suppose 638 = 3*n - 6*n + 2*i, 5*n + 5*i + 1030 = 0. Is n greater than -213?
True
Let i = -123 + 1597/13. Let p(q) = -q - 1. Let b be p(5). Let m be (0/(-3))/(b/2). Does m = i?
False
Suppose -2*v + k = 0, 65*v - 69*v - 2*k = 0. Is 11/10 not equal to v?
True
Let a be 6 + -2 + 2 + -3. Suppose -a*t = -w - 10, 21 = 4*t + 9. Which is smaller: w or -2/69?
w
Suppose s - 9 = 3*h, -h = 1 + 1. Let z = -9 - -11. Suppose -4*b + 6 = z*n, -5 = -4*b - s*n + 4. Are b and -4/7 non-equal?
True
Let h = -199 + 198.9. Which is greater: h or 44?
44
Suppose 0 = 7*f - 2 + 23. Let s(a) = 11*a + 16. Let h be s(f). Is h at least as big as -16?
False
Suppose 0 = -5*g - 7 + 27, -5*x + 3*g = 382. Let l = -73 - x. Which is bigger: l or 20/9?
20/9
Let f = 5/16 - 67/112. Let b = 9 - 5. Let g be 1 + -1 - b/(-4). Which is smaller: f or g?
f
Let q(d) = d**2 + 5*d - 200. Let u be q(9). Which is bigger: u or -65?
-65
Let k be -2*((-25)/10 + 1). Suppose -f + k*v + 2 - 8 = 0, 4*f + 5*v + 7 = 0. Which is smaller: f or 2?
f
Suppose -209 = -6*p + 103. Is p less than or equal to 52?
True
Suppose -44*d + 39*d + 17 = -3*k, 18 = -2*d - 5*k. Which is greater: -20 or d?
d
Let t(x) = x**2 - 15*x + 2. Let q be t(15). Let a be (0/((-6)/3))/(1 - q). Is 8 < a?
False
Let m = -24 - -20. Let w be 1*(6 + (m - -3)). Let k be (w - 1) + (-56)/9. Is -1 at least k?
True
Le