True
Let u = -2 - -7. Suppose -u*c + 55 = -4*y, -11 = -c + y + y. Suppose -i + 15 = 4*w - 3*w, w + 15 = 5*i. Which is smaller: w or c?
w
Let n be (-44)/165 - (-2)/3. Let y = 91 - 2094/23. Let j = -73/92 - y. Is n less than or equal to j?
False
Let t be (1 - 3) + (7 - 7)/4. Suppose -16 = -r - 4*f, -63 = -5*r - 3*f - 0*f. Suppose -4*a - 2*y - r = 0, 7 - 1 = 2*a + 4*y. Which is bigger: t or a?
t
Let g(l) = 8*l - 3. Let m(r) = r**2 + r + 1. Let f(k) = -g(k) + m(k). Let n be f(7). Let j be ((-5)/3)/(6/(-36)) - 5. Is n at least as big as j?
False
Let f be (32/48)/(2/(-87)). Let g = f - -114. Is g at most 84?
False
Let r = -577 + 1565/3. Let n = 158/3 + r. Let f = 22/15 + n. Which is smaller: f or -2?
-2
Let q(c) = 132*c - 679. Let y be q(3). Which is smaller: y or -281?
y
Suppose -5*w = -3*w. Let p = 5 + w. Let l be (((-448)/(-20))/(-14))/(4/(-10)). Which is bigger: p or l?
p
Let b be (-4)/7 - -130*(-95)/70. Are b and -177 unequal?
False
Suppose 0 = 40*q - 286 - 1194. Is q not equal to 42?
True
Let y be 2*4/6*3. Suppose -y*f + 48 = -f. Is 14 at most f?
True
Let c = -8386/393 - -2/393. Which is smaller: -1/2 or c?
c
Let c(s) = s**2 + 5*s - 1. Suppose 5*i + 3*p + 25 = -2*p, 5*p = i + 11. Let v be c(i). Let w = 20 - 14. Which is smaller: v or w?
v
Suppose u = 5 - 2. Suppose -5 = 2*g + u*g - 3*p, 5*g + 5 = 4*p. Are -6 and g non-equal?
True
Let j be ((-12)/(-70) - 0)/(8/520). Which is greater: j or 10?
j
Let w be (-49)/120 - 3/(-9). Suppose 0 = 44*f - 29*f. Which is smaller: f or w?
w
Suppose 85 + 11 = -4*w. Let r be ((-1)/(-4))/((-14)/w). Which is bigger: r or 0.6?
0.6
Suppose -68*b - 15 = -69*b. Let z = 918 + -442. Let a be z/35 - (-6)/b. Is 13 greater than a?
False
Let c(h) = -3*h**2 + 4*h**2 - 2*h**2 - 6 - 9*h + 1. Let y be c(-9). Let t be (4*(-4)/(-8))/y. Is t bigger than -0.8?
True
Suppose 4*d = -3*n - 5, -d = 5*n + 2*d - 10. Suppose v = n*v - 8. Suppose 3 + 1 = 2*r. Is v < r?
False
Let h = 127 - 118. Suppose h*p = 3*p + 18. Let j be (-4)/14 + (-188)/(-70). Which is smaller: j or p?
j
Let o = 725481/364 - 7971/4. Let j be (-163)/(-117) - (-14)/63. Let d = o - j. Which is bigger: 0 or d?
0
Let d(n) = 8*n + 11. Let q be d(-4). Let z be 28/(-66)*q/14. Which is greater: z or 1?
1
Let o(a) = -a**2 - 7*a - 7. Let u be o(-5). Suppose -2*t = -u + 7. Let n be (-24)/84 + t/42. Do n and 1 have different values?
True
Let v = 430 + -430. Which is smaller: v or 2/963?
v
Let a = 0.91 + -1.01. Suppose -4*d = -11 - 9, -2*x - 2*d + 54 = 0. Is a greater than or equal to x?
False
Let b be (-13)/6 - (0 - 3/(-9)). Let c = b - -27/10. Suppose 0 - 1 = -x. Is c > x?
False
Let f be (2 + 1)/((-12)/(-14)). Are 16 and f unequal?
True
Let n be (-12)/(-42) - (-108)/(-525). Is 0.3 < n?
False
Let z be (4/6)/(-1)*-6. Let t = -43771/10 + 4377. Is z >= t?
True
Suppose -7 = r - 2*r. Suppose -5*t + 5*p = -30, -r*t + 2*t - 3*p + 6 = 0. Let v be (t + 1 + -3)/(-2). Is -1 less than or equal to v?
True
Suppose 2*f - 3*p = -29, 5*f + p + p + 101 = 0. Do -15 and f have the same value?
False
Let a = -1947 + 1467. Is -478 less than or equal to a?
False
Let u(g) = -g**3 - 11*g**2 + 4*g**2 - g**3 - 5*g**2 - 1. Let s be u(-6). Is 2 >= s?
True
Let a = 50 + -46. Suppose -2 = s + a. Is 1 at most as big as s?
False
Suppose 0 = 4*w + 8, 4*b + 4*w + 19 - 191 = 0. Let y be 34/(-9) + ((-100)/b - -2). Which is bigger: y or -2/13?
-2/13
Suppose i - 46 = -2*n, n + 16 = 5*n. Let w(p) = p**3 - 10*p**2 - 7*p - 7. Let j be w(11). Which is smaller: i or j?
j
Let f be (-5 - -13 - -5)/(2/(-6)). Is f != -362/9?
True
Let u be -28*(11/(-20) + 72/90). Let t = -25 + 17. Which is smaller: u or t?
t
Suppose 2*c + 5*j - 74 = -0*j, -2*c + j = -98. Let d = 46 - c. Is -2/29 at most as big as d?
False
Let q(c) = -c**3 - 4*c**2 - 7*c - 4. Let m be q(-5). Suppose 2*k - 4 = -0. Let v be (m/(-105))/(k/10). Is v < -2?
True
Suppose 0 = y, 5*z + 0*y - 10 = y. Let i be (-4)/z - (-3)/(90/69). Which is smaller: i or 2?
i
Let w = -17 + 17. Let n = -10 + 9. Which is greater: n or w?
w
Let r(a) = -a**2 - a + 66. Let z be r(0). Let p be 11/z + (-53)/(-6). Does p = 9?
True
Suppose -i + 14 = 20. Let q(w) = -12*w**3 + 0*w**3 - 2*w + 11*w**3 - 6*w**2 - 9. Let s be q(i). Is s less than -4?
False
Let g = -105 - -75. Which is smaller: g or -14?
g
Let h be (-7)/((-343)/14) - (-1415)/21. Let u = h - 2627/39. Is 0 >= u?
False
Let b be -1 + 28/12 - 4/(-6). Which is greater: 15/8 or b?
b
Let u(s) = s + 3. Let t be u(-3). Let d(c) = -c**2 - 5*c + 8. Let x be d(-5). Let m be (6/x)/(10/(-8)). Is t less than or equal to m?
False
Suppose -4 = -2*z, 5*z - 4*z + 1993 = 5*b. Is 399 <= b?
True
Let u = 281 + -280. Suppose 12 = 5*g - 7*g. Let x be (-8)/(-14) + g/(-6). Is x less than u?
False
Let a be (-1)/(-1 + 255/237). Let b = 27/2 + a. Let x = 80/69 - 262/345. Which is smaller: x or b?
b
Let p = -860/3 + 3407/12. Suppose -q = -2 + 4. Which is bigger: p or q?
q
Let u(l) = 4 + l**3 - 2 + 5*l**2 - 2 + 2. Let d be u(-5). Suppose 2*i - 3 = -3*i + 2*t, d*i = -t + 3. Is i not equal to 1/17?
True
Suppose 189*a - 694 = 191*a. Does -346 = a?
False
Suppose 3*i + 4*r = -0*r - 53, -r - 5 = 0. Let t(w) = 23*w**2 - w - 2. Let d be t(-1). Let f = d + -33. Is f bigger than i?
False
Suppose 0 = -10*d + 7*d - 3, 0 = -3*k - 4*d - 1. Let q = -4322 - -56216/13. Does k = q?
False
Suppose -4*m - 8 = 2*f, -3*f = m + 3 + 9. Let k be -28 - -10 - (4 + m). Is -22 > k?
False
Let g be ((39/(-60))/(-1))/(4/10). Which is bigger: g or 1?
g
Let k = -718 - -485. Which is smaller: 0 or k?
k
Let a = -68 + 146. Let j = -77 + a. Is 3/56 bigger than j?
False
Let z(x) = -x**3 + 2*x**2 + 11*x - 8. Let b be z(4). Let q be (-5)/(b + 1) + 2. Which is greater: -1/4 or q?
q
Suppose 2*p + n - 23 = -2*p, -4*n - 22 = -3*p. Let a be (-2 - -4) + 3 + -1. Suppose -a*u + 17 = -3*i, -2*i + p*i - 4 = 0. Which is bigger: 3 or u?
u
Let o be (-2040)/221 + (5 - 5). Is -10 at least o?
False
Suppose o = -b - 16 + 30, 5 = -5*b. Let j(c) = -8 - 3*c - 4*c - c**2 + 15. Let a be j(-6). Is o at most as big as a?
False
Suppose 2*r = -3*r - 295. Suppose n = -3*c - 98 + 52, -4*n + c - 236 = 0. Is r less than n?
True
Let c(q) = -q**3 + 4*q**2 + 6*q - 4. Let o(n) = -n**3 + 14*n**2 - 15*n + 31. Let d be o(13). Let s be c(d). Does s = -8?
False
Let o(f) = f**2 - 23*f - 79. Let u be o(26). Let b = -324/13 - -25. Which is smaller: u or b?
u
Suppose -19*s + 18*s = 14*s + 150. Let t be ((0 + -7)/(-1))/(-1). Do t and s have different values?
True
Let a = -47 - -27. Which is smaller: a or -24?
-24
Suppose 2*v - 8 = -16. Let d be (-2 - 0) + (v - -1). Do d and -4 have the same value?
False
Let y be (-5)/(20/16) - -2. Let f be (y/44)/(11/(-44)). Do -1/3 and f have different values?
True
Let v(o) = -o**3 + 5*o**2 + 15*o + 2. Let p be v(7). Suppose -p + 8 = m. Let d = 2 - 2. Which is smaller: d or m?
m
Let z = 1.8 - 0.4. Suppose -3*c - 14 = 4*i, 4*i - c = -3 + 13. Is i at most as big as z?
True
Let i = 9.967 - 9.9. Let a = -3.067 + i. Which is greater: 2 or a?
2
Let f = 80.78 + -80. Let s = 1.22 + f. Is s not equal to 2?
False
Let q(d) = 3*d**2 - 3. Let l be q(-3). Suppose 5*g + g - l = 0. Which is smaller: g or 1?
1
Let g = -16384277/1012 - -16190. Let u = g - -20219/7084. Which is smaller: 3 or u?
u
Suppose 5*w + 7*i - 115 = 2*i, 0 = -5*w + 4*i + 97. Is w bigger than -10?
True
Let i be -2*(-5 - -2)*-1 - -212. Is i < 206?
False
Let x = -233/12 - -19/4. Let k = -167/12 - x. Is 0 != k?
True
Let x be (-6)/((-81)/(-30) + -3). Suppose 0*v - 3*v + x = -2*c, 0 = c + 5*v - 3. Let h(n) = -3*n**2 - 3*n - 1. Let s be h(-2). Is s equal to c?
True
Let i = -15 + 15. Let w be -4 - 9207/220*(-2)/21. Which is smaller: i or w?
w
Let k be (2/(-2))/(4 - (-1204)/(-8)). Let s = 303/1465 - k. Is s less than or equal to -1?
False
Suppose -8 + 12 = v. Suppose 4 = -v*x - 0. Which is bigger: x or -0.16?
-0.16
Let l be (-478)/756 - (-6 - 273/(-49)). Let a = l + 149/378. Does -1 = a?
False
Suppose 11*d = -4*d + 45. Let p = 12 - 6. Let j = d - p. Is j at least as big as -3?
True
Let o = 1/1503 + -502/1503. Which is smaller: o or 154?
o
Let g = -103 + 75. Let s = -14 - -42. Let h = g + s. Which is bigger: -1 or h?
h
Let g be (-226)/10 + (5 - 11). Which is greater: -28 or g?
-28
Let a = 328 - 337. Let p be (-1)/(-2) - 57/6. Are a and p non-equal?
False
Suppose 8*m - 5*t -