 - 12 = 5*z. Which is smaller: -2/145 or h?
-2/145
Suppose y - 18 = 4*y. Let x be (-70)/156 + y/((-54)/3). Is x less than 1?
True
Let b = 7 - 6.6. Which is smaller: b or -11?
-11
Let n = -1567 - -1601. Is n bigger than 30?
True
Let g = -1.77 - -1.7. Let t = 77.8 - 78. Which is greater: t or g?
g
Let q(x) = -2*x**2 + 7*x + 13. Let c be q(-4). Suppose 2*g - 4*b - 4 = 0, 20*g - 23*g - b = 8. Which is smaller: c or g?
c
Let b = 33376/2635 + -215/17. Let p = 114434/31 + -3692. Let d = p - b. Which is smaller: -2 or d?
-2
Suppose 0 = -3*w + b - 30, -2*w + 6*w = 2*b - 42. Suppose -2*q - 3*r = 6 + 5, q + 3 = r. Is q != w?
True
Suppose -3*z = 5*c + 3, 0*z - 3*z = 2*c + 3. Suppose c = -0*i + i. Let a = -13/6 - -2. Is i > a?
True
Let v be (-1 + (-57)/(-84))/(12/32). Which is bigger: -3 or v?
v
Let q(d) = -d**3 + 3*d**2 + d + 1. Let n be q(3). Suppose 0 = -2*h - n*w + 24, -4*w - 12 = -32. Let s(x) = -3*x + 5. Let a be s(1). Are a and h equal?
True
Let b(v) = 3*v**3 - v**3 - 6 - 3*v**3 - v + 5*v**2. Let t be b(3). Which is bigger: t or 3?
t
Let x = 273 - 284. Is x less than or equal to 2/7?
True
Let r(t) = -t**2 + 4*t - 5. Let m(y) = y**2 + y + 1. Let x(d) = 2*m(d) + r(d). Let i be x(-7). Are i and 3 unequal?
True
Let m be ((-84)/(-1))/(-4)*1. Let f be ((-6)/5)/(m/70). Suppose 7*u - 3 = f*u. Which is greater: 0 or u?
u
Let q = -1091839939/3778740 + 1/539820. Suppose -2*z + 603 = -5*b, z - 138 - 171 = 4*b. Let u = z + q. Which is smaller: 1 or u?
u
Let t = -190 - -189. Which is greater: t or 2.2?
2.2
Let r = -222 - -225. Suppose -b + 15 = 4*b. Is r >= b?
True
Let n = 38 - 37. Let m = 25/234 + -11/90. Which is bigger: m or n?
n
Suppose -11*t = 4*t - 15. Let s = -5277/85 + 311/5. Does t = s?
False
Suppose 20*r - 16 = 24*r. Let q be ((-6)/(-9))/(r/6). Which is smaller: q or -4/15?
q
Let l be 18/(-6) - (7 + 0). Let o be 2/(l/5) + (1 - 2). Let k be 2/10 + -1 + 0. Which is bigger: o or k?
k
Let i(k) = -k**2 - 1. Let v(m) = m**3 + 12*m**2 - 4. Let o(c) = 2*i(c) - v(c). Let z be o(-14). Is z greater than or equal to 3?
False
Let h = 628 + -631. Is h > -2/81?
False
Let f be 1/(-214)*(862816/8)/2. Let z = f - -252. Which is smaller: -1 or z?
-1
Suppose 0 = 3*y + 8 + 1. Let d(z) = 2*z. Let p be d(1). Suppose -2*c + 2*g - 5*g = -4, 0 = -p*c + 4*g - 24. Is y less than c?
False
Suppose 2416*j - 2421*j + 5*n + 20 = 0, -3*j = 4*n + 16. Let q = -7/16 - 1/16. Which is smaller: j or q?
q
Let n be 2 - (-4 - (-686124)/8481) - -2. Let u = 802/11 + n. Which is bigger: 0 or u?
u
Let d be (-2)/(-7) - (-32788)/1176. Which is smaller: 28 or d?
28
Suppose -s + 1 = -2. Suppose 3*v + 7 - 43 = 0. Suppose v + 18 = s*l. Which is bigger: 11 or l?
11
Let x be 16/(-12)*(1*-9)/3. Let m = -8 - -11. Which is bigger: m or x?
x
Suppose -98 = -6*l - 14. Suppose -l*m + 6*m - 24 = 0. Which is smaller: -24/11 or m?
m
Let c = -144 - -250. Is 108 <= c?
False
Let i = 1.4 + 0.3. Let d = i + 3.3. Let f = d + -5.1. Is f at most as big as -2/7?
False
Suppose 5*r = -0*k - k + 39, 5*r - 68 = -2*k. Let h be (6 - (-3)/(-3)) + (25 - 0). Which is smaller: h or k?
k
Let n be -2*(-7)/(4 + -5). Let u be (3 - 3) + 3 + -2. Let d be 3 - (-2 - -20)/u. Which is greater: n or d?
n
Let u = -0.4 - -16.4. Let z = -17 + u. Which is bigger: -2/5 or z?
-2/5
Suppose m = 4*c - 6*c + 33, 0 = -4*m + 3*c + 121. Which is smaller: 33 or m?
m
Let p = -479 - -497. Which is smaller: p or 15?
15
Let i = 186 + -454. Is -269 bigger than i?
False
Let k(o) = -2*o + 9. Let n = -11 + 59. Suppose 7*v = v + n. Let p be k(v). Which is smaller: p or -23/4?
p
Let y(q) = -q + 4. Let b be y(6). Suppose 7 = 5*c + 5*p - 13, 3*p - 11 = -4*c. Which is smaller: b or c?
b
Let g be 9 + 0 + 4 + -6. Let x be (-2 + -3)*(-8)/5. Is g bigger than x?
False
Let g(n) = n. Let f be g(0). Let w = f + 0. Let c = -4.6 - -1.6. Is c at most w?
True
Suppose -7*a = 4*a - 11. Suppose -4*r = -r - 159. Let j = -211/4 + r. Which is greater: j or a?
a
Let s = 18309/7 - 2592. Is s at least 25?
False
Let y be (-74)/34 + 1/1. Let w(j) = -16*j - 98. Let x be w(-6). Is y at least as big as x?
True
Let z(g) = -g - 2. Let k be z(0). Let a be 85/408 + (-5)/(-3). Let t = -3/8 - a. Is t != k?
True
Let n = 38 - 12. Let m = n - 28. Are 4 and m nonequal?
True
Let w = 126 + -57. Let j = -56 + w. Which is smaller: j or 14?
j
Let j = -886 + 992. Which is greater: j or 111?
111
Let d = -2.57 - -2. Let k = d - -0.5. Let y = -0.17 - k. Is y <= -2?
False
Let d(m) = -2*m**3 + 6*m**2 + 3*m + 1. Let k(q) = 3*q**3 - 7*q**2 - 3*q - 1. Let g(y) = 4*d(y) + 3*k(y). Let r be g(-2). Is r greater than 1/3?
False
Let d = -27 + 15. Let x = -433 - -1261/3. Which is smaller: d or x?
x
Let o(h) = 2 + 0*h - h**2 + 2*h - 3*h + 0*h. Let s be o(-2). Suppose s = -q - 4*q. Is q at least as big as -2/9?
True
Let t = -1.298 - 2.702. Let y = -9 + 18. Which is smaller: t or y?
t
Let k = -12 - -13. Let x = k - 1.2. Is 5/4 at least x?
True
Suppose 4*z + 4 = -g + 7, 3 = g - 4*z. Is g equal to 10?
False
Suppose 0*k - 2*k + 2*c = -12, -2*k = 4*c + 6. Suppose -p + 0*p = -5*m - 5, -k*m = 2*p + 3. Let g be -4 + 4 - 5/6. Is p not equal to g?
True
Suppose -53 = 2*d + 5*x, 3*x - 8 = d + 13. Is d > -24?
False
Let a = 7.79 + 0.21. Let z = 8.4 - a. Let p be -6 - (28/(-16) + -5). Which is bigger: p or z?
p
Suppose -k + 2*s + 0*s + 204 = 0, -616 = -3*k + 2*s. Let p be k/40 - ((-8)/(-20) + 0). Is 5 != p?
True
Let f = 1.47 - 1.4. Let k = -1.87 + f. Is -1 at most k?
False
Let l(z) = z**2 + 1. Let b(k) = -2 - 2 + 14*k + 2 - 5*k. Let o(x) = b(x) + l(x). Let v be o(-9). Which is greater: -2 or v?
v
Let y = -2.58 - 5.42. Is y at least -10?
True
Let j(v) be the first derivative of v**4/4 + v**3/3 - v**2 - 3*v - 2. Let u be j(-2). Let n be 0/((-2)/(3/u)). Does n = -10?
False
Suppose 0 = 3*p - 12, 3*c + 6 = 5*c - 4*p. Let t = -8 + c. Let s be 4*t/12 - 0. Which is smaller: 10/9 or s?
s
Suppose -15 = 4*q + 6*r - 11*r, -3*q + 4*r - 12 = 0. Is 7/41 smaller than q?
False
Let z = -0.0331 - -31.7331. Let u = z + -30. Let s = 1.7 - u. Which is smaller: -1/2 or s?
-1/2
Suppose s - k = -3*k + 410, 0 = 4*s - k - 1640. Let j = -233 + s. Let d = 1243/7 - j. Is d <= 2?
True
Let f = -1.2 + 0.6. Let k = -41 + 41.078. Let q = -0.078 + k. Which is greater: f or q?
q
Let g = -1788.37 - -1798. Let j = g - 9.7. Are 0.1 and j non-equal?
True
Let g = 21 + -17. Suppose -1 = g*n - 3*x, n = 4*x - 6*x - 14. Suppose -3*a = 4 - 1. Which is smaller: a or n?
n
Let r = 19.99 - 30.3. Let n = -10 - r. Is n equal to 0?
False
Let j(u) = -2*u. Let o be j(-2). Suppose -4*z = -o*h - 80, 0 = -z - 2 + 6. Is -15 at least h?
True
Let y = 468 + -343. Which is bigger: 371/3 or y?
y
Let b(t) = 4*t - 12. Let y be b(-5). Let o = -26 - y. Suppose 4*m - 3*v = -2 - o, -1 = m - v. Do -5 and m have the same value?
True
Let t = 452 + -450. Which is bigger: t or 3/2?
t
Let i(w) = 4*w**2 - 23*w + 31. Let r be i(-5). Is 245 greater than r?
False
Let k = -0.105 - -7.505. Is 1 >= k?
False
Let y be (-115)/35 - 4/(-14). Let p be 19/y - 6/(-18). Let a be (4/p*3)/(-29). Which is bigger: a or -1?
a
Suppose -h + 2*h = -v - 4, -h = 3*v + 6. Let k be ((7/(-4))/v + -2)*4. Suppose -w = 5 - 3. Which is smaller: k or w?
w
Let w be ((-4)/(-10))/(40/50)*256. Let v = -113 + w. Which is smaller: v or 16?
v
Let b = 0.17 - 0.07. Let z(i) = 9*i + 3. Let p be z(-1). Let m be ((-3)/p*0)/(-3). Does m = b?
False
Let u = -20 + 13. Let c = -2212 + 2209. Which is smaller: c or u?
u
Let v(i) = 8*i**2 - i. Let k be v(2). Suppose 3*f + 3*f + k = 0. Let b be (-1 - (2 + f))/(-2). Which is smaller: b or -5/3?
-5/3
Let x be (372/26)/(2/31). Let p = 222 - x. Suppose -v = -2*a + 6, -v + 7*a - 9*a = -6. Which is bigger: p or v?
p
Let h = -0.618 - -0.568. Let i = 0 + 3. Which is smaller: h or i?
h
Let j = 3 - 4. Let k be (0/1 + 3)*1. Let m be k/2 + 2*(0 - 1). Which is smaller: m or j?
j
Let y = -6087/4 - -1522. Is y bigger than -2.23?
True
Let h = 9 - 31. Let v = 2 - 3. Which is greater: h or v?
v
Let d be (-1)/5 - 3488/160. Which is greater: d or -162/7?
d
Suppose 2*x - 16 = -14*x. Let d = 459 + -22490/49. Which is smaller: d or x?
d
Let d = -4/253 - 2494/2277. Let q = 69396/17 + -4082. Which is bigger: q or d?
q
Let l = 202 - 401. Do l and -397/2 have different values?
True
Let l be 3/(-2)*(-12)/18. Suppose -3*p + 4*r - 13 = 0, 5*p - 3*r 