19 + 244/45633. Let g = y - -964. Is -1 > g?
False
Let a(h) = h**3 + 2*h**2 - 2*h + 543. Let g be a(0). Let v = 545 - g. Is v smaller than -17?
False
Let o = -115 - -116.06. Let f = 73.06 - o. Let b = -76 + f. Is 1 < b?
False
Suppose 20*u - 49*u - 4375 = -64*u. Which is bigger: 132 or u?
132
Let k = -518530 - -40444685/78. Let z = 29/13 + k. Is -5 != z?
True
Let o(v) = 14*v**3 - 10*v**2 - 11*v - 2. Let y be o(-3). Is -438 at most as big as y?
True
Let i = 221 + 283. Let z = i + -929. Which is bigger: -426 or z?
z
Suppose 0*g = 6*g + 30. Let k be (1 + (-78)/90)/((-1)/5). Is k bigger than g?
True
Let j = -1821.97 + 1822. Is -0.04 bigger than j?
False
Suppose 3*r = 3*q - 18, 5*q - 6*q = 2*r - 6. Suppose z - 44 = -z. Let w = 23 - z. Are w and q nonequal?
True
Let c be (6/40)/(420/(-8400)). Suppose 6*y - 4*y - 76 = 0. Is c greater than or equal to y?
False
Suppose 0 = -3*b + 2*w - 52770, -2*b - 3*w + 4*w - 35180 = 0. Let v be b/17850 + 6/15. Let m = 8/51 + v. Which is greater: m or -1?
m
Let b = -37 - -40. Suppose 220 = b*k + 2*k - h, k - 44 = 5*h. Let g = k + -39. Is 5 at least g?
True
Let o be 53635/1262*12/17. Which is smaller: o or 139?
o
Let v(b) = 2*b + 2656 + 0*b - 2654. Let q be v(14). Let c be (-360)/q*(-4)/90. Which is smaller: -0.1 or c?
-0.1
Let x = -2009 - -3436. Are x and 1427 nonequal?
False
Let w be (19085/(-46))/((-11)/(-121)). Let i = w + 4564. Is 0 > i?
False
Suppose 2*q - 265 = -3*g, q + g = 4*g + 137. Let x = 17 - 17. Is x at most q?
True
Suppose 0 = -4*f - 53*f + 1488 - 1488. Is f at most as big as -2?
False
Let c = -8.18 - -0.18. Let s = c - -12. Let l be (0/(-2) + 6)/((-14)/1). Which is smaller: s or l?
l
Suppose -81*x - 6899 - 21370 = 0. Which is greater: x or -343?
-343
Let v = 8080 + -492894/61. Let y(q) = 32*q**2 - 1732*q + 216. Let l be y(54). Is v >= l?
False
Let d be (2/4)/(-1) - 15/(870/2291). Are -819/20 and d unequal?
True
Suppose 2*b + 9*b + 1 = 12*b. Is 308.5 >= b?
True
Let g be (20*(-1)/(-10))/(6/9). Let a = -5/9 + 157/315. Is a less than g?
True
Let c be (-8)/36 + (0 - 11/(-9)). Let a be 9 - ((-8)/(-1))/c. Which is smaller: -1/17 or a?
-1/17
Let t be 7 + 0 - 0/27. Is t less than 300/37?
True
Let k be (-26)/(-8)*(65 + -53). Let o be k/(-3) + 0 + (14 - 16). Suppose h = -2*h - 39. Which is smaller: h or o?
o
Suppose 2*x - 13 = 4*j + 149, 5*x + 210 = -5*j. Let y be (j/(-4) + -10)/(75/36). Let w(z) = z + 4. Let c be w(-4). Are y and c non-equal?
True
Suppose 0*m = -4*m. Let i be (-50)/65*21/14. Which is greater: m or i?
m
Suppose -175*b + 3 = -173*b + d, -2*b + d + 1 = 0. Let m = -4941621/575 - -215787/25. Let y = m + -187/5. Which is smaller: y or b?
y
Let z(a) = -6*a + 28. Let c be z(4). Suppose c*w = -n - 2 - 18, 20 = -4*w. Which is smaller: n or -1/12?
-1/12
Let h = -22854.478 + 22753. Let f = h + -0.522. Which is bigger: 0.1 or f?
0.1
Let s = -98 + 99. Suppose 0 = -4*m - j - s - 1, 7 = 3*m + 5*j. Let r be 12/(-18)*(-54)/(-4) - m. Which is smaller: r or -10?
-10
Let t be (21/252*-4744)/((-4)/(-18)). Is -1778 less than t?
False
Let a = 158173/19530 + 2/1953. Let i = 931 + -924. Which is bigger: a or i?
a
Suppose j + 288 = 291. Let o = -12831 - -38945/3. Let s = o - 149. Which is greater: s or j?
j
Let c be 3913/1 - 12/(3 - -1). Let o be ((-276)/c)/(1/5). Let g be 0*(2 + -1 + 0). Which is greater: g or o?
g
Let f be 0/9 - 173/(-15). Let q = 56/5 - f. Which is smaller: -1.7 or q?
-1.7
Let t be (-50)/625*16/(-10). Let m = 93/250 + t. Which is smaller: 168 or m?
m
Let z = 0.9 + -1. Let s = 377.9 - 379.2. Which is bigger: s or z?
z
Let a be 2 + -4897 - ((-15 - -7) + -2). Which is smaller: a or -4886?
-4886
Let t be (-10 + 9)/(1/(-8)). Suppose 0 = 2*n - t*o + 10*o - 66, -35 = -n + o. Which is smaller: 32 or n?
32
Let k(t) = 8*t + 34*t**2 + 2*t + 9 - 60*t**2 + 27*t**2. Let i be (6/(-4))/(2/12). Let j be k(i). Which is greater: 5 or j?
5
Let d(u) = -1247*u - 1238. Let k be d(-1). Let n(x) = 2*x - 8. Let f be n(6). Let q be (6/f)/(1/2). Is q bigger than k?
False
Let c(w) = -14*w**2 - w + 1. Let o be c(1). Let n be ((-30)/o)/3 + (-2)/(-7). Let s be 11/(n + 0) + -4. Which is bigger: 8 or s?
8
Let t = -373 - -435.6. Let v = t - 62. Is v at least as big as -2?
True
Let j be (-989)/(-69)*21/(-91). Which is greater: j or -4?
j
Let d = -137 + 246. Let w = -112 + d. Is -5 != w?
True
Let c be 204/(-51) + 3256/26 + 2. Which is smaller: c or 122?
122
Let y be (-14)/(-3)*(-11 + 8). Let c = y - -19. Let t(b) = -b**2 + 6*b - 6. Let r be t(c). Is -1/51 bigger than r?
True
Let m = -218.483 - -0.483. Let q = m - -162. Is q equal to 3?
False
Let l be 22/(-187) - 2308569251/4301. Let y = 536754 + l. Let u = 24/11 - y. Which is greater: u or 0?
u
Suppose 8*s + 484 = -588. Let d = s + 111. Are d and -20 equal?
False
Let x be 3/(-2) + 11/(154/273). Suppose -39 - x = j. Which is bigger: j or -55?
-55
Let p be (-14 + 13789700/984978)/(10/45). Is p at least -1?
True
Let s = -193 + 194.965. Let b = s - 0.021. Let v = b - -0.056. Which is greater: v or -12?
v
Let r = 237 - 236.763. Let j = -0.063 - r. Do j and 0.027 have the same value?
False
Let u = 36725401/45 + -4099781/5. Let v = u - -3836. Which is smaller: v or 0?
v
Let f be (45 - 50) + (-5)/(2/2). Let k(p) = -3*p**2 - 29*p + 12. Let m be k(f). Suppose 6 = 4*j - j. Do j and m have different values?
False
Suppose 14567 = 12*l + 7666 - 10259. Is 1432 less than l?
False
Let h be ((-72)/(-27))/((-2)/(-3)). Let a be (h + (-20)/5)/2. Suppose 5*q - 38 + 13 = -5*b, a = 2*q - 2*b - 6. Which is smaller: -1/2 or q?
-1/2
Suppose 15*t = -20*t - 18655. Let d = 3767/7 + t. Are -0.2 and d nonequal?
True
Let p = 29 + -66. Let j be (-30)/(-25)*200/(-24) + (-1)/(26/700). Are p and j equal?
False
Let s be -7 + (509364/(-28300))/9 - -9. Is s not equal to -1?
True
Let a = -1/89783 - -359139/628481. Suppose 3*z - 14 = -h - 0*h, 4*z - 6 = 5*h. Which is bigger: h or a?
h
Let p(j) = -67*j - 22. Let x be p(1). Let t = x - -161. Do t and 73 have different values?
True
Let p = -116511 + 16195096/139. Let m = 59363/556 + p. Let r = m + -107. Is r >= -3?
True
Let m = 57.44 - 60. Let i = 2.3 + m. Let b = i - 12.74. Which is smaller: 0.2 or b?
b
Let a be -12*1*2/8. Let r be 3/(2/(-4)*(-3 + a)). Which is smaller: r or 2/81?
2/81
Let r be 1 + (-1052)/(-4) - -4. Let u be r/8 + 5 + -5. Is u less than or equal to 34?
True
Suppose -2*k = -h + 1, 7 = 4*k - 0*k - 5*h. Suppose -8 = 8*d - 9*d. Suppose 0*x - 2*x - s = d, -s = x + 6. Is x greater than or equal to k?
True
Let t = 3 + -3.05. Let q = 3.726 + 0.324. Let r = q + t. Is r at least as big as 0.06?
True
Let c be 1 + -4*(-1 + 0). Let m be 1 + (-12 - -1) + c. Let g(y) = -y**3 - 6*y**2 - 6*y - 4. Let z be g(m). Does 30 = z?
False
Suppose -340 = -0*z - 4*z + 4*l, -3*z + 4*l = -260. Suppose 2*f + w = 6*w + 63, 0 = 5*f + 3*w - z. Let s = f + -32. Are -2 and s non-equal?
True
Let m = 22367/11 - 2032. Let y = -215/44 - m. Suppose -4*x = 4 + 16. Is x at least as big as y?
True
Let i(j) = -46*j - 3616. Let d be i(11). Which is bigger: -4124 or d?
d
Suppose -v = -x - 26, 0 = 4*v - 8*v - 3*x + 90. Let s = 224 - 204. Suppose -s*h + 224 = -276. Is h < v?
False
Let p be -2115*4/(-10)*(46 - 48). Which is greater: p or -1691?
-1691
Let y be -6 + 2323/408 + (-441)/(-1176). Suppose 10*u - 5*u = 5. Is u bigger than y?
True
Let r = 303 + -305.09. Let k = -1.99 - r. Is -2 at most k?
True
Let s = -32 - -12. Let a be 5/(s/8) - -1. Let i be 1001/(-1560) + 3/8. Which is bigger: a or i?
i
Suppose 0 = 293*k - 117*k. Is k at most -8/1393?
False
Let f(y) = 17*y**3 + 131*y**2 + 46*y + 311. Let w be f(-12). Which is smaller: w or -2?
w
Let m = 174 - 170. Let i = 7.78 + 0.22. Let s = -8 + i. Which is bigger: s or m?
m
Let i = -214.15 - -213. Let h = i - -1.15. Is 29 bigger than h?
True
Let r = 9 + -9.8. Let z = 0.3 + r. Let u = -60586 - -60586. Are z and u nonequal?
True
Let b be 5*(2574/65 + 3). Which is bigger: -0.7 or b?
b
Let m = 221.4 - 192. Let p = 29 - m. Let z = 0.3 + p. Which is smaller: z or 0.061?
z
Let i = -372/13 + 3322/117. Which is smaller: i or -130/27?
-130/27
Suppose -3*f - 3 = 3*t, -2*t - 2*t - 4 = -4*f. Let y be 14245/4752 - (-1)/(t/3). Is 0 >= y?
True
Suppose 3*o + y - 6*y - 18 = 0, 12 = 4*y. Suppose -o*n + 8*n = 0. Suppose n = 8*w + 41 + 223. Which is smaller: -34 or w?
-34
Let t = -9