ost as big as -75?
False
Suppose -3*h = 11*a - 10*a + 70, 0 = -h - 4*a - 38. Let w be (-74)/h + (-1 - 1). Which is bigger: w or 0?
w
Let n(k) = -k**3 - 12*k**2 + 137*k - 30. Let a be n(7). Is a < -21?
False
Suppose -19*x = -30*x + 22. Let j be (-2)/(((-4)/(-4))/x). Let c = -2 - -2. Which is smaller: c or j?
j
Let p be 504/3*11/(-22)*(-18)/64. Is 24 < p?
False
Suppose 105*g - 2106661 = -37*g + 1056957. Do 22280 and g have the same value?
False
Let d = 3423/5 + -684. Is d not equal to -29/4?
True
Suppose -3*k + 21 = 2*b, 0*b + 2*b - k = 9. Let p = b + -189. Let x = -62 - p. Is x greater than 122?
False
Let t = 15196 - 15196. Is -1189 >= t?
False
Suppose -2*j + 290 = 290. Let n = -3149/949002 + -1/3426. Are j and n equal?
False
Let z(i) = -2*i**3 + 2*i**2 + 3*i - 12. Let k be z(-3). Let y be k/408 + 249/(-8). Is -29 less than y?
False
Let x = 6907/7 + -984. Let b = -3 + 6. Which is greater: b or x?
b
Let t = -20374 + 20379. Is t > 116/25?
True
Let s(u) = 4*u + 3. Let p be s(2). Suppose -p*n = -5*n - 36. Which is smaller: 3 or n?
3
Suppose 13*c + 12 = 16*c. Suppose 10 + 265 = 25*q. Which is smaller: q or c?
c
Let b = 71642/3 + -24294. Let a = 27301/66 + b. Which is smaller: -1 or a?
-1
Let z = 34.433 + -34.813. Which is smaller: z or 246?
z
Let y = -60.1 - -18.06. Let v = -0.04 - y. Which is smaller: -1 or v?
-1
Suppose 13*d - 7*d - 24 = 0. Suppose 5*b + 3*n - 2 = 0, -2*n - 9 = -3*b - d. Let j be 8/4 - 118/58. Do j and b have the same value?
False
Let t be (4/(-36)*40 + 4)/((-8)/36). Let u be ((-50)/(-36))/((-2)/(-4)). Which is bigger: u or t?
u
Suppose 0 = 4*d - 65 + 13. Let j = -162 - -168. Let y be j - (10 - 0) - -18. Are y and d equal?
False
Let f = -91 - -165/2. Let j = -96 - -204. Suppose 12*o = -0 - j. Is f less than or equal to o?
False
Let u = -40 + 50. Suppose u*s = 119 + 281. Which is smaller: 39 or s?
39
Let n = 80994 + -728224/9. Which is smaller: n or 79?
79
Let g(d) = 2*d**3 + d**2 - d + 296. Let f be g(0). Suppose f + 73 = 3*v. Let j be (-4)/8 + v/6. Which is smaller: 19 or j?
19
Suppose 1256*p + 910 = 1242*p. Is -65 less than p?
False
Let k(n) = 2*n - 20. Let z be k(9). Let g be 33 - z/(-8 - -10). Is 31 less than g?
True
Suppose 8*y + 49 = y. Let v be (1/y)/((-23)/(-1311)). Which is bigger: -3/5 or v?
-3/5
Let u = -4.44 + 4.04. Which is bigger: -360/13 or u?
u
Let t(g) be the first derivative of g**4/4 + 13*g**3/3 - 25*g**2/2 + g + 1. Let j be t(-17). Let h be j/(-45) + ((-4)/(-9))/(-2). Which is smaller: h or 15?
15
Suppose -15 = 2*d + 5*u, 0 = -3*d - u - 1 - 2. Let i be 55707/1380 + 13/52. Let j = i - 203/5. Is j > d?
True
Let h = 31472/2369 - 306/23. Let d be 68/3502 - (0 - 1/(-3)). Let c = d + h. Which is smaller: 1 or c?
c
Let o = 19962 - 12852. Is o greater than 7112?
False
Let x = -41339/116 - -2918/29. Which is bigger: -257 or x?
x
Let g = 11/13 - -155/78. Suppose 0 = s + 2*d + 3, 5*d + 6 + 2 = -3*s. Let y = g + s. Is 3 at most y?
False
Let l = 148 - 42. Suppose 5*m - l = 2*o + 9*m, 3*m = -4*o - 207. Which is smaller: o or -50?
o
Suppose 0 = -3*l - 80 + 8. Let w be (15 - 10) + (-10)/(-2). Suppose 208 + 52 = -w*g. Is l < g?
False
Let v be (-8 - -2)/(3/(-6)) - 0. Let a be (-9)/(-36) - 19/v. Is a at most -0.1?
True
Let i = 211 - 136. Let l = -75.39 + i. Is l at least 0.3?
False
Let x be (3 - 1)/((-12 + -4)/8). Which is smaller: x or -15/44?
x
Let i = 1 - 0. Suppose 17 = 5*b - 28. Let d be (b/(-18))/((-2)/20*3). Which is greater: d or i?
d
Let o(g) = 2*g**2 - 16*g + 17. Let i be o(1). Suppose 3*p = l - i + 2, -5*p - 4 = -4*l. Let c(k) = -3*k + 1. Let t be c(-2). Are l and t non-equal?
True
Let k = -9964 + 10476. Is 0.04 less than k?
True
Suppose -12581 = o - 5*d, 2*o + 21*d - 17*d + 25078 = 0. Is -12551 less than o?
False
Suppose 37*b + 779 + 1695 = 69. Suppose -5*k + 5*u - 45 = 0, k + 5*u = -0*k + 15. Let r(t) = -2*t**2 + 2*t - 4. Let i be r(k). Which is smaller: i or b?
b
Let p = -900 - -884.18. Let r = -1.82 - p. Is r at most 2/3?
False
Let j be ((-4)/10 - 0)*5. Let l be (1/(-1))/((-101)/j). Suppose 0 = -5*q + 4*m + 24, 2*q + 63*m = 68*m + 30. Is l at most q?
True
Let t be ((-312)/(-7))/((-17)/(4998/12)). Is t greater than -1090?
False
Let o be (-220 - -228)*(10/(-12))/(16/24). Are o and -55/6 nonequal?
True
Let f = -87 + 184. Let r be ((-69)/(-2))/((-125)/(-350)). Let a = r - f. Which is greater: a or 1/2?
1/2
Suppose 41*l - 60623 - 28019 = 0. Is l at most as big as 2162?
True
Let d = 19 + -40. Let g be (-4)/(-52) + (-4860)/(-26). Suppose 6*m - 17*m - g = 0. Is m greater than d?
True
Suppose 4*l - 337 = -f, -2*f - 2*l = -f - 329. Let h = -320 + f. Are h and 9 equal?
False
Suppose -4*n - 2*a - 8 = 0, a = -n - 0*a - 4. Suppose n = -4*h - 3*t - 47, 5*h = t + 7 - 42. Let z be (h/(-32))/((-343)/(-8)). Which is bigger: 0 or z?
z
Let g be (1628/(-110) + 27)*(-4 + 0 - 1). Are g and -65 unequal?
True
Let m = 27.9388 + 0.0612. Which is greater: 2/15 or m?
m
Suppose 17*g - 16*g - 5*q = 2290, -q = -4*g + 9274. Which is greater: g or 2317?
g
Suppose 0 = 5*q - 4*x - 21, 3*x + 11 = -q - 0*x. Let k = 60 - 43. Suppose 18*d - k = -53. Is q bigger than d?
True
Let w = -93 + 162. Let i = -61 + w. Let c(q) = q**2 - 7*q - 8. Let r be c(i). Which is greater: r or 4/29?
4/29
Let y be 856/(-1)*(-1)/2. Suppose -122*f = 147*f - 74722 - 40410. Is y less than f?
False
Let z = 12.79 + -26.43. Which is smaller: z or -2/7?
z
Let v = -2908.402 - 5.598. Which is greater: v or 0.2?
0.2
Let f = 15489 - 232246/15. Let z = 26/15 - f. Which is greater: z or 0.2?
0.2
Suppose -a + 4*u - 238 = 0, 3*u - 622 - 137 = 3*a. Let c = a - -266. Let b = 28 - 17. Which is greater: c or b?
b
Let l = -21300 + 41145/2. Is l at least -728?
True
Suppose 2*s = 5*y + 5, 0*s - 4*s = -4*y - 40. Suppose -749 = -309*t + 1579 + 1689. Is t at least s?
False
Let s = 174 - 177. Let y be (-1)/(-6*s/12). Is y >= 0?
False
Let x = 1056 - 81310/77. Suppose -9*g + 7*g + 17 = -5*q, -g + 5*q + 16 = 0. Which is bigger: x or g?
g
Suppose 2*d + 22528 = 2*x, 34*x - 33*x = 4*d + 45029. Which is smaller: d or -11254?
d
Suppose 3 = -2*v - 2*o + 23, -5*v + 4*o = -32. Let k be v/6*-3 - (-2 - -114). Let m = k + 115. Is 1/70 greater than m?
True
Suppose 11690 = 437*q + 230*q - 25662. Are 126 and q nonequal?
True
Let u = 2406 + -2747. Is u bigger than -344?
True
Suppose u = 3 + 2. Suppose 239 = u*h - 81. Let i = 190/3 - h. Which is smaller: i or -2?
-2
Let t be 820/(-8) + 6/(-4). Let q = -5181 - -5075. Is t at least as big as q?
True
Let f = -3/29662 - 1719151/12309730. Which is smaller: 1/4 or f?
f
Let l = 291.691 - 292. Let c = 0.31 + l. Let i = 0.299 + c. Which is smaller: 1 or i?
i
Let j be (-94)/(-14) + -7 - (16516/14 + 3). Which is smaller: j or -1182?
j
Let a = 0.21221 + 11122.78779. Is 1 less than a?
True
Let j = -331/790 - -3/158. Let p = -0.3 + 83.3. Is p less than j?
False
Suppose -i = -5*l, i - 3*i - 5*l + 15 = 0. Suppose 0 = 4*h + i*q + 8, 7*h - 9*h - 5*q = 4. Do h and -28/15 have different values?
True
Let r be 41/6 + (-14)/(-84). Suppose 0 = -4*n + 9 + r. Suppose -3*u + 4*i = -i + 13, -i + 6 = -n*u. Which is greater: 6 or u?
6
Let a(t) = 601*t + 3607. Let c be a(-6). Which is smaller: -4/3011 or c?
-4/3011
Suppose 2*p + 81 - 399 = -5*b, 3*b - 5*p = 197. Let r be -1*3/((-6)/124). Are b and r equal?
False
Let i be -2 + (6 - 2) + 43 + 0. Let m = -43 + i. Suppose -2*j + 2*s + 15 = j, s + 11 = m*j. Which is bigger: -4 or j?
j
Suppose 18*z - 30186 = 252*z. Is -1291/10 at least as big as z?
False
Let r = -3.22 + 6.6. Let m = -0.48 + r. Does 3 = m?
False
Let j = -1/4196 + -4131/272740. Let x(d) = -d**3 + 5*d**2 + d - 6. Let f be x(5). Is f at most j?
True
Let w = -205 - -202. Suppose -24 = 5*u - 109. Let i = u + -18. Which is smaller: w or i?
w
Let s = -0.612 - -0.712. Is 225 greater than s?
True
Let i = 374 + -348. Let l be (6/i)/((-162)/540). Which is greater: l or -2?
l
Let u be 3 + 95 + (-3 - -3). Let d be (125/(-15) - -8)*(-1 + 1). Suppose d = -h - u + 106. Is -4 bigger than h?
False
Let g(l) = -l**2 - 21*l + 22. Let u(d) = -14*d**2 - d + 2. Let k be u(1). Let m be g(k). Let p be 2/4*m/(-27). Which is bigger: p or -1/3?
-1/3
Let v = 457 + -427. Let j be (22/(-33))/(-5*(-4)/v). Are 18/53 and j non-equal?
True
Let w(z) = -5*z**2 + 11*z + 5. Let t be w(10). Let g be 70/1*(-132)/24. Is g equal t