uppose -3*x - 3*n - 2 = 10, -30 = -5*x + 5*n. Suppose -4*v - 4 + 19 = -p, v = -5*p + 30. Is x at least p?
False
Let n(c) = 29 - 29*c + 30*c - 7 + 7. Let h be n(-8). Which is greater: h or 22?
22
Suppose 7*c + 29*c = 18468. Are c and 514 unequal?
True
Suppose -4*r + 27 = 15. Does r = 17/6?
False
Let m = 5 + 4. Suppose -m = 4*d - 89. Suppose 0*o + 4*o + d = 0. Which is bigger: o or -4?
-4
Suppose 4*l + 1 - 1 = 0. Let k be 8/2 - 27/8. Which is smaller: k or l?
l
Let m be 109820/765 + ((-16)/9)/(-4). Is m >= 147?
False
Let y be ((-1842)/216 - -9) + (-4)/18. Which is greater: y or -9?
y
Suppose -2 = y - 3*y. Let x be 1/4*(-17 - -6) + 4. Does x = y?
False
Let s = 3.3 - -1.2. Let a = 4.5 - s. Let b = 5.97 - -0.03. Is a > b?
False
Let m be (-3)/6*-2*0. Suppose m*o = 3*o - 3. Is o at most as big as 3/2?
True
Let x(g) = g**3 + 8*g**2 + 5*g - 17. Let r be x(-6). Which is bigger: r or 18?
r
Let d be (4/2)/(6*(-21)/224). Which is greater: -4 or d?
d
Let v(q) = -q + 7. Let b be v(7). Let j = -138/5 + 2361/85. Which is smaller: b or j?
b
Let w = 2612 + -2496. Do 118 and w have the same value?
False
Suppose 386 + 32 = 11*i. Is i at most as big as 36?
False
Let d = -2766.1 + 2766. Is 0.0975 less than d?
False
Let j(l) = 14*l - 44. Let b be j(11). Is b less than -2?
False
Let n = 2.285 - 0.385. Which is greater: 3 or n?
3
Let v be (-8)/3 + (-4)/(-6). Let b = 10 - 12. Is v at most as big as b?
True
Suppose 3*h + 2 - 59 = 0. Let z = h - 22. Let d = -4 + 2. Which is greater: z or d?
d
Let n = -118 + 115. Is n != -12?
True
Suppose 3*l - 1 = -5*p + 3, 0 = 5*l - 15. Let c be 2/(-2)*((-362)/122 + 3). Which is greater: p or c?
c
Suppose -3*q - 4 = -4*j + 5, 2*j + 8 = 4*q. Suppose 0 = -3*y - 2*y + 3*c + 16, -2*y = -5*c + 5. Suppose -4*u - 4 = -y*u. Is u equal to j?
False
Let n = -33 + 42. Let o be (-142)/92 - (n/(-2))/3. Is 1 < o?
False
Let y = -0.2 + 0.1. Let c = -0.03563 - -0.11563. Is c at most y?
False
Suppose -5*c = -0*c. Let t = -48709/20 - -2435. Is t at least c?
False
Let r be (9/3 - 4)*0. Let p(m) = m - 8. Let n be p(r). Are n and -8 nonequal?
False
Let m(k) = -k + 8. Let x be m(8). Suppose x = u + 2*u. Let l be ((-1)/5)/((-3)/(-18)). Which is greater: u or l?
u
Let o = 12 - -5. Let g = o - 18. Let f be 2/(0 - 0 - 2). Is f less than or equal to g?
True
Let q = -1968/11 - -655322/3663. Is 1 < q?
False
Suppose 2*z = -77 - 75. Let b be -2*(-1)/(-8)*z. Is b at least 20?
False
Suppose -9 = 5*q - 274. Suppose -3*p = 2*s + 23 + 3, 4*p - s = -q. Let m be 6*3/p*2. Which is smaller: -4 or m?
-4
Let i = -1.457 + 0.457. Let f(u) = -u**3 - u**2 - u - 1. Let x be f(0). Is i not equal to x?
False
Let g be 4/(-14) + (-156)/(-56). Let w = 11.9 - 11. Which is bigger: w or g?
g
Let w = -105 - -99.1. Let q = -4.9 - w. Which is smaller: 6 or q?
q
Let a = 20 - 40. Let d be (-2)/(-8)*a/5. Which is greater: -18 or d?
d
Let t = -0.2 - -0.3. Let h = -13 - -13.1. Let p = t - h. Which is greater: p or 1/5?
1/5
Let o be 56/(-6)*66/(-4). Suppose -4*b = 2*h - 116, 2*h - o = -5*b + 4*h. Let s be 2/(b*(-4)/(-18)). Is -1 greater than or equal to s?
False
Suppose -4*f - 5*j - 2853 = -4*j, 2*j + 2136 = -3*f. Let m = -19276/27 - f. Is m less than 1?
True
Let m = -0.96 - -10.66. Let i = m + -9.8. Is 13 >= i?
True
Let p = -44 - -44. Suppose 2*t = -p*t + 13*t. Which is smaller: t or -1/13?
-1/13
Suppose -28 = -109*x + 111*x. Which is bigger: -0.11 or x?
-0.11
Let b = -1.502 + 0.202. Let u = 0.7 - 1. Which is greater: b or u?
u
Let j(m) = -2*m + 9. Let d be j(8). Let q = 5 + d. Which is greater: -1 or q?
-1
Suppose -5*v - 78 = -7*v. Let g = v - 40. Which is bigger: 6/53 or g?
6/53
Let d(n) = n**3 + 22*n**2 - 17*n - 85. Let s be d(-23). Which is smaller: s or -0.1?
s
Let m = 20.2 + -24.2. Which is smaller: 1 or m?
m
Suppose 4*i + 24 + 4 = 0. Let q = i + 13. Let j be (-38)/(-6) - 2/(-3). Which is bigger: j or q?
j
Let y = 0.288 - 65.288. Is 0.1 at least y?
True
Let i = -156 - -98. Let l = i - -57. Is l bigger than -11/2?
True
Suppose -4*n - 2*w + 24 = 0, -2*w - 7 = -4*n + 9. Suppose 3*g = -3*p + 17 + 25, n*g = -5. Is p not equal to 15?
False
Let a = -234/97 + 10809/3395. Which is smaller: a or 2?
a
Let f = -1848 - -2813. Let v = 45357/47 - f. Which is bigger: 0 or v?
v
Let p = 40 + -25. Let x be (-4)/(-6)*p/130. Is 1 <= x?
False
Let d = 311 - 311.04. Let w be 27/11 + (-3)/1. Is d at least as big as w?
True
Suppose 0 = -3*a + 9, 3*a - 11 = t - a. Let x = 7/141 + -1/141. Is t bigger than x?
True
Suppose 0 = 6*f - 171 + 207. Does -1.6 = f?
False
Let w = 1026/7 + -16311/112. Which is smaller: 1 or w?
w
Let z(u) = u**2 + 1. Let h(s) = 8*s**2 - 2*s + 4. Let l(b) = h(b) - 5*z(b). Let d be l(2). Is d at least 4?
True
Let o = -15403/60732 - 1/2892. Let k = 52/21 + o. Let m(r) = 3*r**2 - 6*r + 6. Let q be m(1). Is k bigger than q?
False
Suppose -5*w - 810 = 22*w. Is w smaller than -3?
True
Let w = -5 - -8. Let v = -1 + w. Let a = -80 - -76. Is v <= a?
False
Let o = -272 - -278. Is 57/8 > o?
True
Let p be ((0 + -4)/(-2))/((-2)/(-3)). Suppose -13 = -2*x + d, 7*d - p*d - 2 = 2*x. Are x and -0.2 non-equal?
True
Suppose 28*i - 2 = 26*i. Is i less than -4/9?
False
Let d be ((-6)/9)/((-20)/9). Is d less than -1/2?
False
Let g = -3.95 - 0.05. Let v = -3.7 - g. Does 7 = v?
False
Let d(q) = q**2 + 25*q + 40. Let v be d(-24). Is v > 9?
True
Let k = -52.944 - -53. Let l = 1.056 - k. Which is greater: l or -19?
l
Let l be (4 - 3) + 12 + -5. Which is bigger: l or -7?
l
Let o be ((-9)/6)/((-6)/(-8)). Suppose -324 = 8*h - 2*h. Let j = -56 - h. Is j greater than or equal to o?
True
Let u be 5*((-26)/10 - -2). Let i be -2*u*3/(-18). Let c = 3 - 6. Is i not equal to c?
True
Let l(h) = 3*h**2 - 35*h + 330. Let w be l(8). Is w bigger than 241?
True
Suppose 4*q = 0, -12*x + 8*x + 3*q + 896 = 0. Is 1127/5 <= x?
False
Let l = -183 + 181. Let m = 5 - 4. Let g be (-1)/m + 1/3. Which is bigger: g or l?
g
Let g = 302 - 290. Is 14 not equal to g?
True
Suppose 0 = 5*n - 4*n - 1. Let p = -75/7 + 2871/266. Does p = n?
False
Let g(o) = 5*o + 74. Let u be g(-15). Is 1/278 < u?
False
Let a be (3 + -4)/(-3) + (-806)/(-48). Let g = -17 + a. Is g not equal to 1/2?
True
Let u be (-1)/(-2)*13*2. Suppose 99*f = 56*f + 559. Is f at least u?
True
Let y be 2/6 - (-7)/(-3). Suppose 0 = 8*u - 9*u. Suppose u*f = 3*f + 3. Which is greater: f or y?
f
Let y = 1 + -1. Let i = -45.92 + -0.08. Let g = -42 - i. Which is greater: g or y?
g
Let w = -5869 - -3844197/655. Is -1 smaller than w?
True
Let c be 45/(-11) - (26 + -30). Do -1 and c have the same value?
False
Let t = -1585 + 1570.18. Let u = -0.093 + -0.087. Let v = t + u. Which is greater: v or -2/9?
-2/9
Let j be -1 - -1 - 2/(-541). Let x = j + 1068/3787. Let k be (8/4 + 3)/1. Is k less than x?
False
Let q = -391 - -266. Is -125 < q?
False
Let h(i) = -i - 6. Let z be h(-5). Let j be 1*z - (14 + -17). Which is bigger: 3/2 or j?
j
Let c = -225 + 225. Are c and -4/147 unequal?
True
Let p = 70.2 - 31. Is p >= 2/5?
True
Suppose 0 = f - 4*p + 2, 0 = -4*f - 3*p - 6 - 2. Let c = 11.2 - 11.4. Which is greater: c or f?
c
Let j be (-16)/(-56) + 89/7. Suppose 2*x - 3*x + 4*d - j = 0, 0 = -5*x + 4*d - 33. Let b = 9 + x. Is b bigger than -1?
True
Let m be 1*(-4 - -3) - 1. Let l be (0/m)/(-1 - 1). Suppose 4*x - 5*a + a = l, -x + 3*a = 0. Which is smaller: 3/5 or x?
x
Let c = -36 + -10. Let m = c - -54. Is 11 != m?
True
Let l be 6 - (364/60)/1. Is -1 equal to l?
False
Let z(s) = -s**2 + 4*s + 6. Let v be z(5). Suppose -59*h + 61*h = 4. Suppose 7*l = -5*q + h*l - 5, 13 = 2*q - 3*l. Which is smaller: v or q?
v
Let y = 17/28 - 6/7. Let t be (0 - 2)/(-1) - 0. Which is bigger: y or t?
t
Let n = 1829 + -1828.8. Which is smaller: -146 or n?
-146
Let p be (96 - -3) + (-8)/2. Let d = 89 - p. Is d at most -6?
True
Suppose -g + 4*g - 12 = 0. Suppose s + g*y - 2*y = -10, -5*y = -2*s + 25. Let k = -42 + 42.07. Is s greater than k?
False
Let o = -238 - -237. Is 4/263 at least as big as o?
True
Let c = -9/5 + 76/45. Which is bigger: c or 3?
3
Suppose 10 = -u - 2*y, u = 2*y + 3*y + 25. Which is bigger: u or -0.0206?
u
Let h(c) = c**3 + 5*c**2 - c - 3. Suppose -5 = 2*o + 5. Let n be h(o). Suppose 4 = -d + n. Do 1/3 and d have different values?
True
Let c(z) = z**2 - 5*z + 18. Let f be c(8). Let b = f + -53. Which is smaller: -9 or b?
b
