 125. Suppose 2*y = 2*c + 10, -c + y = -4*y + k. Is -5/23 smaller than c?
True
Let y be -2 + -3 - 23905/(-4780). Which is smaller: -1 or y?
-1
Let w = -4.2 + 4.4. Let q = -0.96 - 0.04. Let n = 2 + q. Which is smaller: n or w?
w
Let t be ((-2)/(-3))/(375/(-45)). Let y be (-5)/(2/8*-10). Which is bigger: t or y?
y
Suppose q - 98 = -3*h + 6*q, 4*h + 2*q = 148. Suppose 4*y - h = y. Which is bigger: 11 or y?
y
Let g be ((-14)/(-2))/(8/164). Let r = g + -147. Which is smaller: -5 or r?
-5
Let q = 13.2 + 3. Let v = q + -16.1. Let m = 9 - 6. Is v bigger than m?
False
Let t be (-1 - 66/(-12))*-5*2. Are -87/2 and t equal?
False
Suppose -n + 3*n - 2*b = 668, -662 = -2*n - 4*b. Are 333 and n non-equal?
False
Let a(m) = -m**3 - 4*m**2 + m - 9. Let k be a(-4). Let l be (-4 - 0) + (-76)/k. Is l less than 2?
True
Let d = 4743 + -80655/17. Is -2 at least d?
False
Let p = 1.34 + 10.65. Let c = -12 + p. Which is smaller: -2 or c?
-2
Let y = -27 - -32. Suppose 0 + 5 = -y*l. Is l at least -3?
True
Let m = -8.5 - -1.5. Let q = 3 + m. Let a = 8 + -7. Is a bigger than q?
True
Let b = -0.0779 + 1.0779. Is b at most 21/34?
False
Let o = -0.3 - -0.3. Let l = o - -0.2. Let d = 534/3787 - -1/541. Is l <= d?
False
Let w = -28 + 62. Let c be (-11 + -81)*w/28. Let h = 112 + c. Which is greater: 0 or h?
h
Suppose 22*y = -113 + 179. Which is smaller: y or 21?
y
Let v(b) = b**2 - 4*b - 2. Let x be v(4). Let n(u) = u**2 - 5. Let a be n(-4). Let m be 2/a*3/x. Which is bigger: m or -1?
m
Let q be (5 + -55)*(-2)/4. Let z be ((q/(-290))/(-5))/(-1). Is -1 >= z?
False
Let a = 39 + -148. Which is smaller: a or -110?
-110
Let r(n) = -n**2 + 10*n - 9. Suppose 12*b = 13*b - 8. Let j be r(b). Suppose -7*q + 9 = u - 3*q, -q + j = 5*u. Does u = -0.04?
False
Let p(z) = z**3 + 8*z**2 + 3*z - 26. Let d(x) = -x**3 - x**2 + 2*x - 7. Let v be d(0). Let f be p(v). Let b be (-32)/(-35) - (-4)/14. Which is smaller: f or b?
b
Let j(m) = 7*m + 192. Let k be j(-29). Is -74/7 smaller than k?
False
Suppose 4*a - 3*d = 21, -3*a + 4*d = -4*a - 9. Let g = 1 - 5. Let x be 3 + g/8*a. Is 0.2 greater than or equal to x?
False
Let k = 196 - 194.9. Is k at most as big as -2?
False
Let b = -0.1 + -0.9. Let i = -950.27 + 946. Let o = 4.4 + i. Which is smaller: o or b?
b
Let a(g) = -g**3 - 4*g**2 + 5. Let v be a(-2). Suppose n + b + 146 = 0, -b = -5*n + 4*b - 770. Let j be (-1)/v - (-5)/n. Which is bigger: -1 or j?
j
Let o = 611 + -611. Which is bigger: -5/63 or o?
o
Let a = -542 - -1151/2. Does 34 = a?
False
Let q = 3 - -5. Suppose m = -m - q, -4*y + 5*m = -32. Suppose y*j = 4 + 5. Is j less than 5?
True
Suppose -12 = -5*h + 2*h. Suppose -h = -4*k - 0*k. Let q be 74/(-90) - (-33)/55. Which is bigger: q or k?
k
Suppose -31*h = -28*h - 330. Is 1 less than h?
True
Let j = -436699/9 - -48473. Which is bigger: -48 or j?
-48
Suppose -2*q = 4*q - 4824. Let w be q/18 - ((-5)/(-3) - 2). Is w equal to 45?
True
Suppose 10 = -5*q + 5*v, -5*v - 4 = 4*q - 7*v. Is 118 at most q?
False
Let f(w) = -2*w - 23. Let d be f(-10). Let i be (-41)/(-3) - (-1)/d. Is 12 at most as big as i?
True
Suppose -4*w = -w - 9. Suppose -h - w - 3 = 0. Let n be (3/h)/(2/4). Which is bigger: 2/29 or n?
2/29
Let v be (-3 - 12)*21/(-9). Suppose -v = -5*u - 2*u. Let i be u/(-10)*4 - 8. Is -9 not equal to i?
True
Let d = -61.75981 - 0.07019. Let x = -62 - d. Which is smaller: x or 0?
x
Let r be 1/(-4) - (-23)/(-4). Let c(s) be the first derivative of s**3/3 + 7*s**2/2 + 7*s + 22. Let k be c(r). Which is smaller: k or -2?
-2
Let x = 0.85 + 4.05. Let b = x + -3. Let z = -10.1 - b. Is 0.1 greater than z?
True
Let k(x) = -16*x**2 + 175*x - 2. Let y be k(7). Which is smaller: -0.1 or y?
-0.1
Suppose -5*v = 4*r - 16, -5*v - r - 2*r + 17 = 0. Suppose -v + 5 = -x. Which is smaller: 0 or x?
x
Let p = -9326/255 - -590/17. Let q be (-2)/8 - (-6152)/3360. Let m = q + p. Is -1 bigger than m?
False
Let s = -15 - -33. Suppose 4*r = 5*k - 100, 2*k - 12*r = -16*r + 12. Which is greater: s or k?
s
Let x(n) = n + 2. Let w be x(6). Let m be (-154)/44*((-5 - -3) + 0). Which is greater: m or w?
w
Suppose -7*o + 3*o + 36 = 0. Suppose 10*g - 11 = o*g. Let r = -41 - -41. Which is bigger: r or g?
g
Suppose -4*p - 2*m = -62, -6*m - 3 = -5*m. Let t = -15 + p. Let l(d) = 2*d - 7. Let s be l(5). Is s greater than or equal to t?
True
Let r = -11 - -101/9. Let j = 33 - 33.16. Let o = -0.04 + j. Which is smaller: o or r?
o
Let r(w) = -w**3 + 7*w**2 - 4*w - 9. Let g be r(8). Let i be (-16)/120 - 44/g. Let f = -3.3 + -7.7. Are i and f unequal?
True
Suppose 3*c - 10 = -4*d + 3, -1 = d + 5*c. Let a be 10/(-105)*(-7)/d. Is -0.1 at least as big as a?
False
Let o(k) = -k**3 - 3*k**2 - 4*k - 12. Let v be o(-3). Is 23/7 >= v?
True
Let g be (-3 + -33)*(0 - (-1)/(-2)). Suppose -10 = -g*f + 8. Let h = -2411/8 + 302. Which is smaller: h or f?
h
Let h(f) = -14*f - 2. Let s be h(-6). Suppose 4*x - 5*a = -97, -4*x - 3*a + 5*a - s = 0. Which is bigger: -19 or x?
x
Let y = 36.72 - 36. Let p = 0.8 - 0.1. Let z = p - y. Is z at least as big as 0.1?
False
Let x(j) = -569*j - 3324. Let n be x(-6). Let a = -72 - -163. Is n <= a?
True
Let u(p) = -p**2 - 2*p - 1. Let i be u(-1). Suppose b = -18*b + 10*b. Is i not equal to b?
False
Suppose -5*v + 4 = r - 1, 5*r + 1 = v. Let t be 0 + (4 + 0 - 15). Which is smaller: r or t?
t
Let i = -13.93 + 14. Which is greater: i or -1/4?
i
Suppose 0 = p + 119 - 108. Do p and -126/11 have the same value?
False
Let k be 2/(-9) + 133/(-9). Let a = k - -18. Suppose -a*g - 5 = -8. Which is greater: g or 4?
4
Let c = -7 + 6. Let n be -10 + 2 + 6/2. Let p be n + (-1250)/(-155) + 3/(-1). Which is greater: p or c?
p
Let k = -5/34 - -96/17. Let a be (118/12 - 1)*1. Let x = a - k. Is x >= 3?
True
Let i be (-4)/(1*(-2)/2008). Let j = -2624 + i. Let t be j/(-344) + 4/1. Is t bigger than -1/4?
True
Let x be (-1 - 1)*(-20)/8. Let n(d) = -2*d - d - x*d + 4*d - 1. Let o be n(3). Is 0.1 != o?
True
Let w = 7 + -23. Let s = w - -17. Is s at least as big as -4/13?
True
Suppose 84*w = 79*w + 370. Which is smaller: 73 or w?
73
Let o be 3/(-5) - (-419)/690. Is 1 smaller than o?
False
Suppose -3*b - 6*f + 9*f = -162, -216 = -4*b - f. Is 51 <= b?
True
Suppose 21*h + 444 - 4560 = 0. Is 193 smaller than h?
True
Let d = 282 - 286. Let l be 1/3 + (-48)/9. Which is smaller: l or d?
l
Let v = -195 - -205. Let d = 0.4 + -0.3. Is d > v?
False
Suppose 3*k - 21 = 2*x, 7*x - 2*x = -2*k - 5. Which is bigger: x or 4?
4
Let w = -0.081 - 0.599. Let g = w - -0.48. Which is smaller: -4 or g?
-4
Let h = 50/99 - 8/11. Let g = 10461/140 + -522/7. Is g > h?
True
Let p = -1969 + 1969. Which is smaller: p or -0.0599?
-0.0599
Let i(k) = -k**3 - 7*k**2 - 8*k - 1. Let w be i(-4). Is -17 at most w?
True
Let a = 27342 + -137403/5. Let n = -142 - a. Does n = -4?
False
Let v = -391 - -24241/62. Let o(f) = f**3 - 4*f**2 + 2*f + 3. Let n be o(3). Is n greater than v?
True
Let b = -1176 + 3422/3. Which is bigger: -2 or b?
-2
Suppose -220 = 23*s - 3*s. Which is greater: s or -9?
-9
Let h = 2.651 + -0.051. Let k = 0.13 + -0.13. Let s = k - 0. Which is bigger: s or h?
h
Let k = 0.29 + -0.022. Let s = k - 0.068. Is -2/29 less than s?
True
Let q = -509 - -424. Is q at least as big as 1?
False
Let q(s) = -s - 19. Let f be q(-16). Let z = 3 - 3. Let u be 1 - (1 - (z + -2)). Which is smaller: f or u?
f
Let k = -23.8 - -3.8. Let c = 7 + k. Let o = -14 - c. Is -0.4 bigger than o?
True
Let u be (-32)/(-112) - (-3566)/14. Suppose 4*f + 107 = -3*t - 46, u = -5*t - 4*f. Let d be (-2)/((-30)/t) + 3. Which is bigger: -1 or d?
d
Suppose 4*p - 1 = 7. Let m = 4518/7 + -644. Is m > p?
False
Let h = -66 + 51. Let y be -5 + 5/(h/(-12)). Which is bigger: y or -2/9?
-2/9
Let i(m) = 3*m - 76. Let h be i(18). Suppose -3*l - 1 - 14 = 0. Let a be (h/(-55))/((-8)/l). Which is smaller: a or -1?
-1
Let z be ((-3)/4)/(1/4). Let b be -3 + 7 - z/1. Let i = 15 - 7. Do b and i have different values?
True
Let r = 20 + -14. Suppose -29 + 5 = r*k. Let v = 4 - 6. Is k less than v?
True
Suppose c = 37 + 44. Suppose 16 = 5*q + c. Which is smaller: -10 or q?
q
Let k be (-6)/(-21) - 52/(-14). Suppose 4*f = k - 0. Let q be 2/(-10) + 44/(-180). Is q greater than f?
False
Let q(g) = g**3 + 6*g**2 + 11. Let a(j) = 2*j**3 + 12*j**2 - j + 23. Let l(u) = -4*a(u) + 9*q(u). Let t be l(