 g/15. Is 8 > u?
False
Let n be (((-12)/(-14))/3)/((-4)/280*-30). Is -1803 at most as big as n?
True
Let m be 1 - -2 - (-1 - -3). Let d be (14 - 2 - 1) + m. Suppose 10*r - 5*r - 55 = 0. Which is greater: d or r?
d
Suppose n - 4 = -5*t, -3*n - 2*n = -2*t - 20. Let l be ((-24)/(-36))/(n/306). Let b be 5/(-4 + l/12). Are b and 20 unequal?
False
Let q = -267 - -31. Let s = q - -368. Let j = -527/4 + s. Which is smaller: j or -2?
-2
Let l = -5992.982 + 5993. Is 7 greater than l?
True
Let d = 91 - 50. Suppose -36 = -2*n + 4*s, -2*n + s = -2*s - d. Let a be (-8)/n - (3 - (-340)/(-14)). Which is greater: a or 22?
22
Suppose 32*x - 4*i = 28*x + 16, 5*x = 4*i + 16. Which is smaller: x or -7/229?
-7/229
Let o = 49 + -89. Let k be 8/40 + -46*(-28)/o. Which is bigger: k or -29?
-29
Suppose 136 = -4*n + m, 5*n - 5*m = -180 + 25. Let l(a) = a**3 - 18*a**2 + 3*a - 30. Let g be l(16). Let x be (-92)/(-322) + g/14. Are n and x nonequal?
False
Let t be (-5 - (-4 + 1))*(-23)/(-138). Which is bigger: t or -1006?
t
Let k = -100 + 100. Suppose 3*v - 5*f + 19 = -6, -5*f + 25 = k. Are v and -1/15 unequal?
True
Let x be 892/52 - 17 - (-4)/((-52)/(-349)). Is x greater than -16/5?
True
Let n = 2/142665 + 713233/6562590. Let b be (-3 + 0 - 1) + 3. Is n less than b?
False
Let w(o) = o**2 - 14*o + 18. Let p be w(12). Let m be (-8)/p*-7 + 2. Suppose 0*z + 2*z + 3*t + 9 = 0, 2*t = 5*z + 32. Which is bigger: z or m?
z
Let a = -3 + 3.2. Let j(v) = v**2 + 9*v + 10. Let f be j(-2). Let b be f/46 - (-342)/2346. Which is smaller: a or b?
b
Let n = -1592013/79 - -20151. Which is smaller: n or 0?
n
Let h(p) = 51*p**2 - 42*p + 131. Let g be h(3). Let l = g - 458. Let j be (28/(-12))/(2/(-6)). Which is smaller: l or j?
l
Let p be (-5)/(-40) - (-10)/(-80). Which is bigger: -2/109 or p?
p
Let t(l) = 25*l + 64. Let o(i) = 28*i + 65. Let j(q) = -6*o(q) + 7*t(q). Let h be j(4). Are 86 and h nonequal?
False
Let t = -13294 + 1223009/92. Let s = -44662/23 - -1942. Let y = s + t. Which is smaller: y or -10?
-10
Let w be (2/6)/((-2)/(-6)). Let p = -5/4 + w. Let x be 666/24 + (-47 - -19). Is x greater than p?
False
Suppose 13*q - 126 = -329 + 151. Is q greater than or equal to 1709?
False
Let r = -2199940/11 + 199512. Which is smaller: -482 or r?
r
Suppose 66*m - 11 = 37*m + 18. Which is smaller: m or 25/172?
25/172
Let d = 0.05661 - 0.14661. Which is smaller: -0.015 or d?
d
Suppose -60 = j + 2*r + 30, -r = -j - 84. Which is greater: j or 1?
1
Let h = 224.584 + -143.67. Let b = 0.086 + h. Let w = b - 73. Are -0.1 and w non-equal?
True
Suppose 4*u = -4*z - 684, 4*u - 3*u - 4*z = -156. Let r be (-32)/u*6/(-4). Let h = 132.5 - 129.5. Is h at least as big as r?
True
Let n be (-5)/(-2)*816/340. Suppose n*c - 16 = -10*c. Is c at least 38?
False
Let r be (-2622)/(-21)*(-42)/(-4). Which is smaller: r or 1310?
1310
Let u = -363 - -252. Let a = u + 125. Is 10 bigger than a?
False
Let z = -752 - -903. Suppose 3*j = 4*j. Which is greater: z or j?
z
Let h = -21 + 9. Let x be ((-20)/(-9) + -3)*h/1. Suppose j = -3*r + 2*j + 30, 5*r - 3*j = 54. Is r >= x?
False
Let f = -21799/9 - -2425. Let w = -21 + 24. Suppose -1 = -3*k + 4*u + 28, 0 = -5*k - w*u. Is k less than f?
False
Suppose -5*s = 2*t + 27, -2*t = -4*s - 22 + 4. Is -5/87 bigger than t?
True
Let c be (-2)/((-12)/1962) - 6. Let i be c/(-259) - (-12)/28. Which is smaller: i or -1?
-1
Let j = -61/4 - -15. Let k = 56.903 - -0.097. Let x = -46 + k. Does j = x?
False
Let o(f) = f**3 - 4*f**2 + 2*f - 2. Let w be o(4). Suppose 0*u + 77 = r + 5*u, 0 = -2*r + 3*u + 102. Let m = r - 56. Which is greater: w or m?
w
Let t = 90 + -89.902. Let c = -18171 - -18147.902. Let w = t + c. Is w at most as big as -3?
True
Let f = -25552 - -25604. Let t = -1.1 - -0.3. Let j = -0.7 - t. Which is smaller: j or f?
j
Suppose -12 = 3*m, 5*g - 425*m + 429*m = -12891. Are g and -2575 nonequal?
False
Let l = 12 + -30. Suppose n = -2*p + 35, -40 = -3*n + 2*n - p. Let r be 4*1*(-9 + n/10). Is r >= l?
True
Let u = 56.96665 - -0.02335. Let m = -57 + u. Let b = m + 0.37. Is b at least as big as -0.1?
True
Suppose -5*x = -5*f + 465, -5*x - 217 - 62 = -3*f. Let n = 64 - f. Let q = n + 611/21. Which is greater: q or 0?
q
Let s = -15911 - -15910. Is s at most -2/33319?
True
Suppose d = 5*q - 34, 0 = 4*q - 2*q + 3*d. Which is bigger: q or 89/17?
q
Let u be (-2574)/8 - 1 - (-10)/(-40). Let d = u + 164. Does -160 = d?
False
Suppose 3*o = t + 235, 4*o + 90 = 5*o + 2*t. Let c be 8505/(-22232) - (-2)/(o/15). Is c smaller than 1?
True
Let w = -44816 + 32008. Which is bigger: w or -0.1?
-0.1
Let w = 28351137 - 18913465. Let h = w + -1349581395/143. Let q = h - 425/11. Is 0 greater than q?
False
Let z = -500.985 + 501. Let c = 0.028 + -0.143. Let q = c + z. Which is smaller: q or 5.4?
q
Let d = 15.672 - 17.672. Does d = -955?
False
Let i be (-6)/1 + 103663/(-5841). Let b = 15629/612 + -165/68. Let v = i + b. Which is greater: 0 or v?
0
Let t = 82.52 - -0.48. Let u = -80 + t. Which is bigger: -54 or u?
u
Let s be (548/70)/(200/(-125)). Let v = 92/7 + s. Is 9 greater than or equal to v?
True
Let f be (-2)/6*2 - (-72662)/(-564). Which is smaller: f or -129?
f
Let w = -0.19 + 34.19. Let k = -26 + w. Let x = -0.25 - 0.15. Is x < k?
True
Let k = 0.1637 - 0.2137. Let r be (-2)/6 - 6/(-45). Which is smaller: r or k?
r
Let v be -3*(-4)/24*0. Let r be v/(2/(-8) + 28/(-16)). Is r at most -13/19?
False
Let p = -7 + 93. Let j = 79 - p. Let b = 17 - 18. Does b = j?
False
Let s(t) = t**2 + 19*t + 137. Let l be s(-29). Which is smaller: l or 431?
l
Let y(w) = -w**3 + w**2 - 5. Let l be y(0). Suppose 0 = 3*g + 2*a - 18, 5*g - 15 = -a + 15. Let k be (g - 8)*(-35)/(-14). Are l and k nonequal?
False
Let j(m) = -m**2 + 21*m - 86. Let k be j(6). Suppose -k*t + 16 = 0, 5*p + 5*t - 15 = 40. Is p >= 7?
True
Let u = 66 - 19. Let k = u + -40. Let d = -542/9 + 60. Is k smaller than d?
False
Let r = 74 + -59. Let u be (-10641)/r + 2 + 0. Let w = u + 710. Which is smaller: 3 or w?
w
Let z = -10950 + 12751. Are z and 1799 equal?
False
Let t = 2510111/433940 + -376/65. Is t <= 1?
True
Let n = -51.46 - -52. Let b = 0.34 - n. Let i = 2/495 + -794/495. Which is smaller: i or b?
i
Suppose -3*d + k = 3, -5*k - 1 = 3*d + 2. Let f be 18*10*6/(-18). Do f and d have the same value?
False
Suppose 0*t - 5*t = 90. Let w be (5/2)/(3095/(-11142)). Which is smaller: t or w?
t
Suppose 0 = 30*v + 140 + 10. Let f(u) = 2*u**2 - 13*u - 114. Let i be f(v). Which is greater: i or 19/14?
19/14
Suppose 8 - 248 = -6*l. Let u(i) = i**3 - 41*i**2 + 43*i - 121. Let p be u(l). Is p greater than or equal to -12/67?
False
Let v = -50 - -48. Let p be (v*1)/(20/(-440)). Which is greater: p or 45?
45
Suppose -24 = 4*o, -80 = -5*b - 9*o + 14*o. Which is smaller: -120 or b?
-120
Suppose -50*u + 6 = -48*u. Suppose -u*t - 3 = 5*p, 5*p - t - 5 + 4 = 0. Is p != 14/73?
True
Suppose 5*j - 28 = s + 2, 18 = 4*j - 2*s. Suppose -j = 49*u - 56*u. Is u smaller than 3/163?
False
Let b(x) = x**2 - 16*x + 41. Let c be b(6). Let p(q) = -q**3 + 9*q**2 + 22*q - 24. Let f be p(11). Is f <= c?
True
Let c be ((-247)/10)/(-6*7/(-385)). Let n = c - -829/4. Is -20 >= n?
False
Let k = -61678445501/27260 + 114620745/47. Let n = 176140 - k. Let q = n - 3/116. Is -1 > q?
False
Let o(k) = -k**2 - 33*k - 43. Let l be o(-27). Suppose -2*t + 5*j = 3*t + 595, 5*j = -t - l. Let x = t + 99. Which is bigger: -0.3 or x?
-0.3
Let n be (-168)/(-15)*210/28. Suppose -n = -5*w - 74. Is w smaller than -3.9?
False
Let p be (-16)/(-4) - (-18)/(-4) - 243/(-270). Which is greater: p or -0.59?
p
Suppose -3*m + m + 0*m = 0. Suppose -2*x + 5*c - 15 = 0, -x = 2*c - 6 - m. Suppose 4*s + 21 = -x*s - 5*i, 3*s + 9 = 3*i. Are -24/7 and s nonequal?
True
Let l be (10/(-21))/((-20)/28). Which is bigger: l or -396?
l
Suppose 7*x + 160 = 279. Suppose 41*i - x*i = 7200. Which is smaller: i or 301?
i
Suppose 5*w = 3*n + 362, n - w + 116 = 3*w. Let s = 91 + n. Let p = s - 11. Do -46 and p have different values?
True
Let c = -0.12 - -1.22. Let b = 81 + -314.8. Let t = -234 - b. Is t less than or equal to c?
True
Let z = 40499 + -238336617/5885. Is z at most as big as -1?
False
Let k = -14 + 25. Let n be (k/(-4) - 0)/(44/(-352)). Let g be 3/(-12) - (-279)/12. Which is greater: g or n?
g
Let m(l) = 3*l + 11*l**2 - l**3 + 10*l - 6 + 