5 + 275)/(0 - (-1 + (-2)/(-1))). Which is greater: l or -20/43?
l
Suppose 0 = -6*t + 4*t - 10. Let u(x) = -2*x**3 + 5*x**2 - 2*x + 3. Let b be u(3). Let p be 15*(-4)/b*(-12)/(-15). Is t greater than or equal to p?
False
Let a be 7*33/616 + 4810/16. Is 312 equal to a?
False
Let x be (-2 + 1)/((-13)/7). Let v(r) = 4*r - 132. Let k(h) = -h**3 - 17*h**2 - 34*h - 27. Let u be k(-15). Let p be v(u). Which is greater: x or p?
x
Let w = -4024884 + 925725429/230. Let g = 93/10 - w. Which is greater: g or 2/3?
2/3
Let k(r) = r**3 - 17*r**2 + 23*r - 46. Let q be k(16). Suppose 6*i - 3*i = q. Suppose i = 4*b + 26. Is b equal to -0.12?
False
Suppose 0 = -77*o + 30*o - 2491. Which is bigger: o or -67?
o
Suppose 6*l = 127 + 221. Suppose -9*o + l = 58. Are o and 5 equal?
False
Let n be (-10)/4 - (-38)/(-4). Let w be ((4 + 2)/n)/((-2)/6). Let x = 44 + -39. Do w and x have different values?
True
Let j be (3/(-3))/((-207)/(-105) + -2). Suppose -6*h + 7*h = 33. Which is bigger: j or h?
j
Let r = 146 + -142. Suppose -7*p - r*l = -3*p - 20, 0 = -p + 3*l - 11. Is 6/11 less than p?
True
Let v be ((-5)/(-2))/(32 - 31)*12. Is 41 smaller than v?
False
Let n = 429455/17 - 25253. Is n >= 10?
False
Let z = 799 + -800. Is -4/65 <= z?
False
Let m be (-22)/(-66)*6/4. Let l = m - -3. Let v = -3 + 4. Which is greater: v or l?
l
Let p = 2920 + -2748. Are p and 173 nonequal?
True
Let a be 4 - 4/(-8)*-62. Let z(r) = -r**2 - 9*r - 3. Suppose -2*n - 47 = -5*u, 2 = n - 3*u + 28. Let f be z(n). Is a less than or equal to f?
True
Let f be (-598)/(-6) - (-1)/3. Let x be (-170394)/f - (1 + 0). Let w = x - -1705. Which is bigger: -1 or w?
w
Let p be 609/(-24) - ((-930)/80)/31. Which is smaller: -30 or p?
-30
Let a be 6/(18/15) + -1 + 360. Suppose -16*r - a = -1900. Is 96 < r?
False
Let x(j) = -10*j - 5. Let f be x(6). Let w = f - -34. Let a = w - -29. Which is bigger: -13/5 or a?
a
Let w(y) = -y**3 + 54*y**2 + 298*y - 110. Let p be w(59). Do 205/3 and p have the same value?
False
Let b(l) = -l**3 - 37*l**2 - 47*l - 396. Let x be b(-36). Which is bigger: -4/6975 or x?
x
Let w be 39/38 + 0 + -1. Suppose 0 = 5335*n - 5375*n + 40. Which is smaller: w or n?
w
Let y(n) = -27*n + 6. Suppose -4*a - 5*l = 0, 5*l - 8*l - 27 = -3*a. Let i be y(a). Is -128 > i?
True
Let t be (-15)/(-9)*108/(-720). Are t and -1954 equal?
False
Let v be ((-3066)/(-10))/((-26)/(-130)). Which is smaller: 1531 or v?
1531
Let u(l) = l**3 + 6*l**2 + 54*l + 334. Let h be u(-22). Which is smaller: h or -1?
h
Suppose 132 = 3*g - 3*f, 4*f + 125 = 3*g - 9. Let s = g + -96. Let j be 3/((-24)/(-10)) - 9900/176. Which is smaller: s or j?
j
Let j(c) = -2*c**2 - 13*c - 45. Let v be j(-5). Let t be 2*((-29 - v) + (-2)/4). Which is smaller: -7/81 or t?
-7/81
Let j be (-12)/4*8/(-12). Suppose -3*b + 2*c + 151 = 23, 0 = j*b - c - 84. Let f = b + -40. Which is greater: 2 or f?
2
Let d = 2969.1 - 2949. Which is smaller: d or 3/4?
3/4
Suppose -z - 29 = -a, 0 = -3*a + 5*a + 2*z - 46. Suppose o + 5 = 4*y + a, 0 = 5*y + o + 15. Let n(k) = -5*k**2 - 4*k + 2. Let x be n(y). Is -61 bigger than x?
True
Let d be (-8)/(-5) + (-16)/(-40). Suppose -2*b + 2*j = -88, -d*b - b = 4*j - 160. Let t = -48 + b. Do -1 and t have the same value?
False
Suppose k - 6*l = -2*l - 67, -3*l + 318 = -5*k. Let u = 111 + k. Is 48 <= u?
True
Let y be (1/(1239/2))/((-30)/27930*-57). Which is bigger: 0 or y?
y
Let r be ((-40)/2 + 7)*-19. Let i = -282 + r. Which is bigger: -3 or i?
-3
Suppose 0*k - 2 = -2*k. Suppose -2*h - 5*w + 14 = 92, -3*h - 5*w = 102. Which is greater: k or h?
k
Let w(d) = 7*d. Suppose 10*a - 4*a = -10*a. Let y be w(a). Is 1/256 >= y?
True
Suppose 0 = -2*c + 4, -c = 4*n + 3 - 5. Suppose 11*h - 18*h - 28 = n. Is 13 at most as big as h?
False
Suppose -3 = h - 5*c - 60, -2*c - 69 = -h. Let l = 46 - h. Let r = l - -44. Are 14 and r non-equal?
True
Suppose 654*s - 10 = 5*i + 655*s, 4*i = -4*s - 24. Which is smaller: -24/1747 or i?
i
Let d = 1475 + -1541. Suppose 74 = 3*h - 127. Let i = d + h. Is i at most as big as 2/263?
False
Suppose 99*n = -708 + 5361. Which is greater: -43 or n?
n
Let r(i) = -2*i**2 - 7*i + 6. Let z be r(-3). Suppose 0*t = -3*t. Let v be (0 - 1)*(-11 + t). Is v less than or equal to z?
False
Let d be 44/60 + 1/(-3). Let n = 695.034 - 689. Let a = n + -0.034. Is a <= d?
False
Suppose -50*m = 5*b - 49*m - 66600, 4*b - m - 53280 = 0. Which is smaller: 13322 or b?
b
Suppose -688 + 48 = 8*p. Let x be -78 - 8/10*15/6. Is x at least as big as p?
True
Let g(u) = -7*u + 5. Let i be g(0). Suppose -3*y + 7*y - i*y = 0. Which is smaller: 3/107 or y?
y
Suppose -3*d = -g - 14, -85 = d - 90. Which is smaller: 1/12266 or g?
1/12266
Let r = 71 - 499/7. Let v = -24.958 - -25. Which is smaller: r or v?
r
Let t(b) = b**2 - b + 1. Let c(l) = 9*l**2 + 118*l - 28. Let i(f) = c(f) - 5*t(f). Let r be i(-31). Let p = -105 + 105.49. Is r greater than or equal to p?
False
Let h be (-2)/(-5) + (-1743)/35. Let g = h - -50. Let o = 6 + -4. Is o greater than g?
True
Let y = 0.03259 - 98.23259. Is y at least as big as -2/7?
False
Let f = -6191 - -6208. Which is bigger: 0.0765 or f?
f
Let u(n) = -n**3 + 9*n**2 - 13*n + 4. Let y(x) = -x**3 + 3*x**2 + 2*x + 6. Let z be y(0). Let o be u(z). Is 38 greater than o?
True
Let s = -10432 - -14465. Is s <= 4034?
True
Let g be (144/(-30))/((-12)/(-160)). Let y = g - -195. Is 131 less than or equal to y?
True
Let r = -3347/28 - -421/4. Suppose -2*o = -4*t - 42, -t - 2*o = -32 + 60. Which is smaller: t or r?
r
Let l be 13/(-3*(-1)/6). Let p = l + -26. Let o be ((-10)/(-375)*-6)/2. Is o equal to p?
False
Let g = 5047/2 + -2619. Let u be -15*(-3)/(60/8) + -103. Is g > u?
True
Let b be 3/(-6) - (17286/(-36) + 13). Which is smaller: b or 466?
466
Let y = 0.01 - 0.35. Let m = y + 10.34. Let x = m + -10.1. Which is smaller: x or -0.04?
x
Let y = 1344343547 + -130402485256/97. Let d = y + 11971. Which is smaller: 0 or d?
d
Suppose 0 = -236*t + 227*t - 1620. Is -171 at most t?
False
Let d be (432/(-63))/(-12) - (-1711)/7. Which is greater: d or 983/4?
983/4
Let z be 3 + (-46)/14 - 6404/(-22463). Let s = z + 80237/19254. Let h = -7 - -10. Which is smaller: h or s?
h
Let s = 14405/4 + -3601. Which is smaller: -0.0683 or s?
-0.0683
Let i(j) = -j**3 + 3*j**2 + 8*j - 12. Let u = -74 + 78. Let y be i(u). Suppose -5*a = 0, y*z - 147 = z + 4*a. Is 50 >= z?
True
Let k be (672/(-40))/(3/(-40)). Let c(m) = -m. Let w be c(-7). Suppose -w*p - p - k = 0. Which is smaller: p or -27?
p
Let m = -0.308 + 0.26. Let p = -0.007 + m. Let z = p + 0.055. Which is bigger: -0.3 or z?
z
Let h = -7606 + 7100.7. Let q = -482 - h. Are q and 1 nonequal?
True
Let w = -16.93 + 17. Let j = w + 0.53. Let s = 474 - 1424/3. Which is greater: s or j?
j
Let h = -102 + 101. Let u be -8*((4 - 4) + h). Suppose 5*c - 3*t - t - 6 = 0, 4*t + 16 = 0. Does c = u?
False
Let g(a) = 3*a + 10. Let q be g(-7). Let c = -134 + 100. Let z = -46 - c. Is q > z?
True
Let x(u) = 5*u**2 + 24*u + 19*u - 47*u - 4 - u**3 + 20*u. Let r be x(7). Suppose 3*n + 15 = -3*m, -5*n + 3*m = m - r. Is n at least as big as -1?
True
Let d(f) = -f**3 + 20*f**2 - 71*f. Let v be d(5). Do v and -16 have different values?
True
Suppose -21*q + 16*q = -44*q - 14*q. Are 1/5890 and q equal?
False
Suppose 4*l - 34 = 2*q, -q - 27 = -3*l - 0*q. Suppose 13*t = 8*t + l. Do t and 0 have the same value?
False
Let m = -129.9 + 130. Do m and 2/79 have the same value?
False
Let l be (-10 - -13) + (678 - -9). Is l < 690?
False
Suppose 5869 - 5869 = 17*k. Let a = -3693 + 1556. Let o = a - -138901/65. Which is smaller: o or k?
o
Let c = 6 + -3. Suppose c*l = 2*j + 11, 3*l - l - 6 = 2*j. Suppose 7 - 15 = -j*y. Which is smaller: y or 14/5?
14/5
Let i = -5 - -5.1. Let f = -25.1 + i. Let t = f + 23.9. Is t at most -0.1?
True
Let y = -269 - -223. Let a = y + 46. Are 3.43 and a equal?
False
Let h = -673 + 1002. Suppose h*x - 333*x = 28. Which is smaller: x or -22/3?
-22/3
Let q be (-5355)/(-3)*(9/6)/3. Let f = q - 876. Suppose 15*u = 28*u - 221. Which is smaller: u or f?
f
Let d = -11098 + 10953728/987. Is -1 bigger than d?
False
Let y = 3/2671 + 10207/424689. Let d be (85/(-212))/((-495)/480). Let z = d - y. Are -1 and z nonequal?
True
Suppose 3*u = -9 + 63. Let b be 58/(-8) + u/72. Which is bigger: -3/4 or b?
-3/4
Suppose 11*q - 12*q + 