)). Let v = 297 + r. Is v equal to -1?
False
Suppose 5*d = 0, -3*s + 2*d = 289 - 7. Let b = s - -95. Is b < -3/65?
False
Let c(o) = -o**3 - 11*o**2 + 9*o + 18. Let w be c(-12). Which is smaller: 55 or w?
w
Suppose 3*u - u = 5*a - 417, 5*a - 618 = 3*u. Let l be u/39 + 2/13. Is l at least 2?
False
Let h = 1587007927/130 + -12207842. Let j be 4/(-6) - 17407/(-195). Let o = h + j. Is o at most as big as 1?
True
Let o be ((-2)/17 - (-50)/425) + 38. Do 0.3 and o have different values?
True
Let c = -36 + 45. Let n be (-44)/8 - c/(-12). Does n = -4?
False
Let p be ((-7)/((-14)/(-30)))/(-3). Suppose -p*m = 5*s - 90, -9 - 9 = -m - 4*s. Suppose -m = 4*z + 6. Which is greater: z or -0.1?
-0.1
Suppose 3*o + 4*l - 7 = 0, -3*l + l = -2*o. Let f be -5 - 5 - (-4 + o). Let w = -1 + f. Is -6 <= w?
False
Let h = 503 - 474. Which is smaller: 231/8 or h?
231/8
Suppose -m = -5*m. Let x be -205 - -196 - 1*-3. Which is smaller: x or m?
x
Let t = 1531/1269 - 32/27. Is 0 less than or equal to t?
True
Let n(o) = -o**3 + 15*o**2 - 8*o + 14. Let g be n(6). Let q = -7543/26 + g. Do 1 and q have the same value?
False
Let p(x) = -87*x - 2. Let i be p(-1). Let w = -422/5 + i. Let n be (-6)/(-75)*5/1. Which is smaller: n or w?
n
Suppose -169*g = -178*g. Let c be -1*1*2/(-2). Is c smaller than g?
False
Let f(i) = -28*i - 113. Let d be f(-4). Is d equal to 2/953?
False
Suppose -i - n + 3*n = 11, 2*i = -2*n + 2. Suppose -2*v = -7*v - 15. Let l be v*(-12)/(-18) - 1. Is l > i?
False
Let a be (-685)/(-14)*(9 - 11). Let z = 98 + a. Let w = z - -13/56. Which is bigger: -1 or w?
w
Let i = -11 - -22. Let m = 17 - i. Let l be (8/(-9))/(3*2/(-36)). Is m at most l?
False
Let w(t) = 11691*t - 15. Let r be w(10). Let n be r/234 - 12/(-8). Let o = -501 + n. Is o > 0?
True
Let g = -30.4 - -4.4. Let t = g + 24.2. Is 1 at least t?
True
Let u be (-10)/6 - 109956/(-126). Is 871 at least u?
True
Let x = -62.5 - -65. Let m = -2.9 + -0.1. Let o = x + m. Is o not equal to 0?
True
Let q = 1/361 + -731/3249. Suppose -18 - 36 = -3*y. Suppose a = -a - 5*d + y, 4*d - 20 = 4*a. Is q at most a?
False
Suppose 5*x - 4*q - 375 = 0, -x = -6*x - 3*q + 375. Is x at most as big as 0?
False
Let w(d) = d**2 + 12*d + 14. Let n be w(-11). Let h(c) = 3*c**2 + 5*c + 10. Let o be h(-2). Suppose -q - 9 = -o. Is n < q?
False
Let i = -66353/3 - -22967. Let q = i - 860. Is q at least as big as 2/5?
False
Let z be (6/12)/(-1 + (-111)/(-108)). Let r be (-3)/z*(-6)/(-15). Which is greater: 0 or r?
0
Let s = -816 - -816.2. Which is greater: 112 or s?
112
Suppose -4*d = 16, -3*h + 6*h = -5*d - 116. Let j = -44 - h. Let x be j*(-1)/2 + -4. Which is greater: x or 1?
x
Let c = 7.14 - 0.14. Let t = c - 0. Let r = t - 8. Is r <= 1?
True
Let g = 223 + -283. Is g at most -60?
True
Let h = 0.43 + 6.65. Let g = -8 + h. Let w = 0.08 - g. Which is bigger: -0.01 or w?
w
Let m be 4 + (-1 - -2)*-1. Let d = m - 2. Let a = -1365 - -1369. Are a and d unequal?
True
Let k(q) = 2*q**2 - 36*q - 5. Let a be k(18). Let o be (-77)/20 + (-8)/(-32). Which is greater: o or a?
o
Let u be ((-374)/132 - 2/12) + -300. Which is greater: -304 or u?
u
Let a(l) = 8*l**2 - 22*l + 84. Let v be a(6). Is v less than 239?
False
Let c be (-2649)/2342 + (-18)/(-12). Let y = c + -16171578/12881. Let p = 1254 + y. Which is bigger: -1 or p?
-1
Suppose -3*c + 43 = 3*l - 26, 3*c = 3*l - 39. Let h = -17 + l. Let k be (-225)/54 - h/(-6). Which is smaller: k or -5?
-5
Suppose 5*s = -295 + 35. Let i = -3 - -2. Let w be (-4)/s*(i + -2). Which is smaller: 0 or w?
w
Let a be ((-3)/8)/((-45)/390). Let t = a + -135/44. Does -1 = t?
False
Suppose 0 = o - 5*v + 18, -10 = -o - v - 4. Let w be (-4)/32*(4/o + -16). Which is smaller: -3 or w?
-3
Suppose 0 = 34*i - 39*i - 30. Is i at least as big as -3?
False
Let g = 1 + -2. Let r(v) = -v**3 + 17*v**2 - 19*v + 40. Let k be r(16). Are k and g nonequal?
True
Let y = 2 - -8. Let f = -10 + y. Let d = 0 + f. Is 5 at most as big as d?
False
Let y = 3 + -2. Let r = 16432.8 - 16427. Which is smaller: y or r?
y
Let n = -13 - -13.06. Is n less than -0.5?
False
Let p = -202.9 - -196. Which is greater: 0 or p?
0
Let x be (-338)/117*(-2 + 0). Suppose -234 = -10*v - 184. Are v and x non-equal?
True
Suppose 0 = 15*s - 2*s + 312. Which is smaller: -23 or s?
s
Let k be (36/21 + -2)*14/10. Which is smaller: -55 or k?
-55
Let q = -2.03 + -91.97. Is q greater than 0.1?
False
Let j be 94/5*(-10)/(-20). Which is smaller: 10 or j?
j
Let o(a) = -9*a + 100. Let l be o(11). Which is smaller: 2/133 or l?
2/133
Suppose 5*j = 6 - 21. Let o be j*(-4 + (2 - -1)). Suppose 0 = 2*w + 2*w + 2*c, 4*w - 2 = -c. Is o not equal to w?
True
Let o be (6/(-12))/(23186/(-3864) + 6). Which is smaller: o or 965?
965
Suppose -2*q - 19 = 3*d - 2, -3*q + 3*d = 33. Let b be 7/4 - (-3)/((-15)/q). Is b >= 0.2?
True
Let y be -1 + 1 + (7 - 9). Let w be (-4)/12*0 + -10. Let v = 12 + w. Is y less than or equal to v?
True
Suppose 0 = 5*y - 9*y + 20. Suppose -2*a + 6 = -f, y*a - 3 = -2*f + 3. Let b = 3 - a. Are b and 4/9 equal?
False
Let z be 1/3 - (-10)/(-3). Let g(v) = -v**2 - v - 1. Let n be g(z). Let l = 18276 - 18282. Which is bigger: l or n?
l
Let q = -1278 + 3824/3. Let u = 0.2 + -0.3. Which is smaller: q or u?
q
Let k be 1/7*0/(-27). Which is greater: k or -12/97?
k
Let k(l) be the first derivative of -34*l**3/3 - 8. Let z be k(1). Is z at least -35?
True
Suppose 42 + 22 = -32*x. Is x bigger than 1.13?
False
Let p(i) = 49*i - 47. Let l be p(1). Is l < 876?
True
Suppose -n - 4*l = 0, -6*n + 3*l = -n. Are n and 6/17 nonequal?
True
Let w = -1674 + 1668. Let g = -0.99 + 3.95. Let q = 0.04 + g. Are w and q non-equal?
True
Let t = 1017 + -1016. Which is smaller: t or -1/221?
-1/221
Let p = -202 + 201.9. Is 37/4 bigger than p?
True
Let q = -14343 + 989686/69. Is q smaller than -1?
False
Let c = 114499/4 + -28935. Let v = 312 + c. Which is smaller: v or 1?
1
Let q = 2/19089 + -12920/1851633. Which is smaller: -0.1 or q?
-0.1
Let i(h) = -2*h**2 + 25*h - 11. Let r be i(12). Does r = -4/113?
False
Suppose 0 = -l - g, l - g - g = -6. Let j(s) = s**2 + 7*s + 1. Let v be j(-7). Let m be (80/(-25))/(2*v). Which is smaller: m or l?
l
Let o(t) = -7 - 5*t**2 - t**3 + 7*t + 7*t**3 - 5*t**3 - t**2. Let j be o(5). Suppose -14 = -j*h + 4*m, 0 = -3*h + 3*m - 5*m - 16. Which is smaller: h or -1?
h
Let x = 3.003 - 3.13. Let t = x - 10.873. Let u = 2 - 2. Is t != u?
True
Let b(m) = 24*m - 1. Let t(a) = -49*a + 2. Let l(u) = -5*b(u) - 3*t(u). Let g be l(6). Let k be (-4)/14 + g/49. Is 3 at most as big as k?
True
Let i be (-57 + 77)*(-2)/(-5). Do i and 109/12 have the same value?
False
Suppose 3*p + 5 = 11. Suppose -f = p - 5. Is f smaller than -1?
False
Let q(t) = t**3 - 9*t**2 - t - 35. Let s be q(10). Do 56 and s have different values?
True
Let n = -2 + 2. Let k be 2/(40/148) - (-3)/5. Let s(j) = -j + 6. Let i be s(k). Which is bigger: n or i?
n
Let s(x) = -x**2 + 32*x - 86. Let d be s(27). Is d greater than 47?
True
Let k = 160358/79 + -2030. Are -1 and k unequal?
True
Let i(a) = 2*a + 25. Let y be i(0). Suppose 3*l - y = -2*l. Suppose -2*q = -l*z + 35, 4*q - 3*z + z = -94. Is q equal to -24?
False
Suppose 42*z - 253 + 1 = 0. Which is smaller: 7 or z?
z
Let r = 1782 - 1749. Which is bigger: -1 or r?
r
Let i be (24/(-32))/(2/(-16)*3). Suppose -q + 4*w + 21 = 0, -4*w - 3 - 15 = i*q. Which is smaller: -4/23 or q?
-4/23
Let g = 1272 + -1324.1. Let f = 47 + g. Let j = -5 - f. Which is smaller: j or 8?
j
Let f(j) = 8*j + 3. Let c be f(-5). Let m(o) = -o**3 - o**2 + 3*o - 38. Let i be m(0). Do i and c have the same value?
False
Let h(n) = n. Let c be h(0). Suppose 2*a = -14 + 8. Let x be (0 - -1)/(a/15). Is c at most x?
False
Let x = 4/5 + -13/10. Suppose 0 = l - 0*l - 2. Suppose -8 = -l*p + 6*p. Which is bigger: x or p?
x
Suppose -4*t + 2148 = -4*i, -10*i + 13*i + 4*t + 1576 = 0. Which is bigger: i or -531?
-531
Let g be (39/(-9))/(2/(-12)). Suppose 5*s = 4*w + g, 3*w - 5*s + 21 = 4. Are -10 and w nonequal?
True
Let m = -64 - -63.78. Which is greater: -7 or m?
m
Let f be (6 - 2720/525) + 1/(-3). Is f <= 0?
False
Suppose 7*a - 24 = 137. Are a and 23 equal?
True
Let q be ((-532)/114)/(1/(-15)). Is q at least as big as 2?
True
Let i(t) = -t**3 + 32*t**2 + 109*t - 109. Let w be i(35). Suppose 68 = 3*q - 25. Are q and w n