5*r = -4*a + 49, r - 29 = -3*a - 6. Let f be -24*a/(3 - -9). Which is greater: f or -11?
-11
Let s = -8.73 + 8.83. Is -62 < s?
True
Let f = 175 - 85. Suppose 0*x - f = 9*x. Which is greater: x or -11?
x
Suppose -7*h + 194 + 254 = 0. Which is greater: 188/3 or h?
h
Let p = 1153 + -609. Is 544 >= p?
True
Let a = 0.1799 - -302.8201. Is a less than or equal to 0.2?
False
Suppose -180*q + 179*q - 32 = 4*k, -52 = 4*k - 4*q. Are k and -2 non-equal?
True
Let k be 0/((-16)/(16/(-4))). Let n be -1*(-4 - (0 + -3))*k. Let s be (12/(-16))/((-11)/(-4)). Is s at most n?
True
Let x(z) = -z**3 - 4*z**2 - 6*z - 4. Let q be x(-2). Is 2/163 at most q?
False
Let p = -3359/14 + 240. Which is smaller: -1 or p?
-1
Let x = -11478 - -195127/17. Let m = 0 + 0. Which is smaller: x or m?
m
Suppose -3*g - 2 = -11. Suppose 0 = 67*n - 39*n - 112. Which is smaller: g or n?
g
Suppose 0*c + 4*c + 5*u + 65 = 0, -5*c + 2*u = 40. Let j = 11 + c. Which is bigger: j or -1/3?
j
Let j = 6.05 - 7. Let m = 0.05 - j. Is -13 equal to m?
False
Suppose 10 = 3*b + 2*f, -3 = 3*f - 0. Suppose 24 = b*h - 0*h. Suppose 5*d + h = -u, d = -d - 2*u - 4. Does d = 0.2?
False
Let k be -2 - -1*(10 + -9). Which is smaller: k or 2/583?
k
Let r(w) = -6*w + 18. Let c be r(0). Which is bigger: c or 7?
c
Suppose 77 - 53 = 6*k. Which is smaller: k or 30/11?
30/11
Let h be 0/(-3*5/3). Which is smaller: -9/32 or h?
-9/32
Suppose -5*w + 3*c + 4 = 0, -1 + 15 = w - 5*c. Which is smaller: w or -2/35?
w
Let v(z) be the second derivative of z**5/20 + z**4/4 - 5*z**3/6 + 2*z. Let b be v(-4). Let p = 205 - 807/4. Which is smaller: b or p?
p
Let c(f) = -f**3 - 8*f**2 - 6*f + 16. Let b be c(-8). Let s = -65 + b. Is 3/26 smaller than s?
False
Let x = 28/15 - 6/5. Which is smaller: 171 or x?
x
Let d = 0.7 + 1.3. Is d <= -104/7?
False
Let h be 12/3 - 1/((-3)/(-6)). Let v be (h/(-35))/(10/(-14)). Which is greater: -1 or v?
v
Suppose -4*t + 12 = -t. Let q be t/10 - (-22)/(-5). Let p be (-2)/q + 44/(-8). Is p greater than or equal to -4?
False
Suppose -4*l = 7*l - 990. Let s = 87 - l. Which is smaller: s or 2?
s
Let k(v) = v + 30. Let l be k(-31). Are l and -7/4 unequal?
True
Let l be (-1886)/(-368)*(2 + 0). Which is smaller: 9 or l?
9
Suppose -800 = -16*d + 26*d. Is d less than or equal to -78?
True
Suppose 0 = -2*b - 2, 5*w - 20 = -b - 4*b. Which is smaller: w or -2/15?
-2/15
Suppose 4 - 24 = -4*r. Let t be (-5 + r)/(1 - -1). Suppose 5*h + t - 5 = 0. Are 2/17 and h equal?
False
Let l(g) be the third derivative of -g**5/60 - 5*g**4/24 - g**3/2 - 9*g**2. Let k be l(-2). Does k = 16/9?
False
Let j = 30 - 27. Suppose 0 = y - j*y + 4. Which is bigger: y or 1?
y
Let f(p) = p**3 - 9*p**2 + 6*p - 6. Let d(l) = -2*l**3 + 18*l**2 - 13*l + 13. Let n(w) = -3*d(w) - 5*f(w). Let o be n(8). Are o and -9/5 unequal?
True
Let o = -145 - -95. Suppose 0 = v - z + 53 - 5, -4*z = -v - 42. Is v != o?
False
Suppose 4*z - 19 = 29. Let o = -12 + z. Is -1/19 < o?
True
Let i(m) = 19*m - 3. Suppose 5*z - u = 0, -u + 1 = -z - 3. Let l be i(z). Is l <= 14?
False
Let w be ((-4)/(-3))/(6/(-537)). Suppose 3*o = -2*q - q - 357, -359 = 3*o + 2*q. Let s = o - w. Which is smaller: s or -1?
s
Suppose -48 = -3*y + 3*p, 7 = y + 4*p - 4. Let t = -13 + y. Suppose 3 = -0*b + b. Which is smaller: b or t?
t
Let r = -110 + 114. Suppose 3*c = -r*t - 5, 3*t - 2*t + 2*c + 5 = 0. Which is smaller: t or 1/6?
1/6
Let c = 1021/11970 + -2/315. Let j = -15 + 14. Are j and c non-equal?
True
Suppose -87 = -12*j + 285. Is j at most 26?
False
Let n be (3/((-1164)/(-10)))/(16 + -17). Let m = n + -427/6014. Is m <= 0?
True
Let p be (-606)/10 - 4*(-3)/20. Let c be ((p + -2)*1)/(-10). Are 6 and c nonequal?
True
Suppose 3*f - 8 = -2. Suppose v + 64 = -3*v + f*b, -2*b = 2*v + 38. Do v and -16 have the same value?
False
Let s = -0.0073 + -0.0927. Which is greater: s or 4?
4
Let q(y) = -31*y**2 - 3*y - 1. Let j(r) = 63*r**2 + 5*r + 3. Let n(t) = 2*j(t) + 5*q(t). Let k be n(3). Let s = -9623/35 - k. Is s smaller than -1?
False
Let v = 2 - -6. Let a(o) = -o + 4. Let z(c) = -3*c + 13. Let g(h) = 7*a(h) - 2*z(h). Let s be g(-6). Is s at least as big as v?
True
Suppose 78*z = 91*z + 2158. Which is smaller: -167 or z?
-167
Let z = 1.7 + -3.5. Let a = 2 + z. Let q = a - -1.8. Is 2 less than q?
False
Let q = -2 - -2. Let y(g) = -11*g**2 - 3*g + 2. Let o be y(1). Let x be 6/(-24) - 27/o. Is q greater than x?
False
Suppose p + h = -47, 0*p - 59 = p + 4*h. Let y = 199 - 198.9. Which is smaller: y or p?
p
Let a = 0.058 - 0.007. Let i = -1.949 - a. Is i >= -5?
True
Let q(l) = -12*l - 24. Let b be q(-4). Let o be -5*(b/(-16))/((-5)/(-4)). Is 5 != o?
True
Let a(f) = -6*f - 10. Let r be a(-1). Suppose 4 = 4*d - 4. Suppose d*v + 5 = 1. Which is greater: v or r?
v
Suppose -6*v + 226 = -3*a - 4*v, -5*a - 3*v = 345. Which is bigger: -74 or a?
a
Let a = 21 - 20.93. Let c = -0.03 - a. Which is smaller: -10 or c?
-10
Let k = 0 + 0. Let i be (6 + -3)/(297/(-6)). Which is greater: i or k?
k
Let d(p) = p**2 - 6*p - 4. Let m be d(6). Let y(s) = s**3 + 4*s**2 + s + 1. Let f be y(m). Which is bigger: -7 or f?
f
Suppose -695 = -6*s - 197. Let h = -149 + s. Is h less than or equal to -66?
True
Let s = 0.142 + -0.342. Let m = -1.75 + 2. Let l = -0.2 + m. Do l and s have different values?
True
Let w = 1.16 - 4.16. Let g = 0.1 + 0. Do w and g have the same value?
False
Let u be 0/3 + 4/212. Let g = 2000929/1749 - 12592/11. Let m = u + g. Which is bigger: m or 0?
0
Let m = 11/82 - -4/123. Is 3 > m?
True
Let l be (-2 + 6)*(-5)/20. Let o = 4 - 4. Let h be 17/(-19) + (o - -1). Which is smaller: h or l?
l
Suppose 0*t - 4*t + 60 = 5*d, 4*d = -4*t + 48. Suppose 5*q = 3*y + 6, -2*q + 4*y - 9 = -q. Suppose z - q*p + d = 0, -5*z - p + 3 + 1 = 0. Is z < 3/16?
True
Let g be 15/10 - 7/(-2). Suppose -35 - 15 = g*y. Let n(a) = 2*a**3 + 2*a**2 + 2*a + 2. Let d be n(-2). Is d less than or equal to y?
True
Let l(h) = h**3 - 13*h**2 - 14*h - 8. Let d be l(14). Let v be 2/d - (-5)/4. Let z be ((-2)/(-8))/(0 + v). Do 1/4 and z have the same value?
True
Suppose -2*h - 15 = -h + 4*k, -2*h - 5*k = 24. Let y = 1248 + -1248.4. Which is smaller: y or h?
h
Let t = 0 - 0. Suppose t = -0*c - c + 1. Let o = 517/5208 + -1/248. Which is smaller: o or c?
o
Let a(w) = w**3 - 18*w**2 + 17*w - 4. Let f be a(17). Let u be f/(-10) - (-504)/40. Which is smaller: 2 or u?
2
Let x = -448369/91 - -4927. Is -1 less than or equal to x?
True
Let h(a) = 15*a - 9. Let l(w) = w - 1. Let f(y) = -h(y) + 6*l(y). Let q be f(1). Let i(v) = -v**3 - 4*v**2 + 6*v + 2. Let m be i(-5). Are m and q nonequal?
True
Suppose 0 = -5*k - 9 + 34. Suppose 0 = 4*f - k + 21. Is 3 at most as big as f?
False
Let r be -4*((-27)/(-36) - 1). Is r equal to 8/49?
False
Let c = 897 - 895. Is 82 >= c?
True
Let w = -473 - -458. Which is smaller: 35 or w?
w
Let o be -6 + (8 + -4 - 7). Let s be o + 7 - (-1 - -28). Let q = -18 - s. Is q < 3?
False
Let b = 154490/29 - 5328. Is b greater than -1?
True
Let i = -1138 - -1134.7. Which is greater: -11 or i?
i
Let r be 1/(-1)*2 + -110. Let j = r - -32. Let t be -42*4/j*2. Which is bigger: 3 or t?
t
Suppose -b + 14004 = 5*b. Let d = 282412/121 - b. Is d at most as big as -1?
False
Let i be (-493)/(-58)*(-4)/(-2). Let t be -3*(1 + 40/(-6)). Let q = t - i. Is q < 0?
False
Suppose -2*r - 10 = -4*x, -2*r = 1 + 5. Let v be 13 - 11/((-1925)/(-2280)). Which is smaller: x or v?
v
Let p be (9/132)/(4 + 405/(-100)). Do -1 and p have different values?
True
Let h be 6/21 - ((-231)/49 + 2). Is h smaller than 52/17?
True
Let l = -661 + 666. Is l less than 5?
False
Let u(m) = -5*m + 2. Suppose v = 5*p - 12, 3*p + 2 = -v + 6. Let b be u(v). Let r be -5 + 2 - (-3)/b. Which is smaller: -3 or r?
-3
Let o = 568 + -558. Let z(k) = k**3 + 3*k**2 - 3*k. Let f be z(-3). Which is smaller: f or o?
f
Let w = 492 - 493.7. Which is smaller: 13 or w?
w
Let s be 2 + 4*(-2)/21. Let t = s - 1216/777. Is 0 at least as big as t?
False
Let g(d) = -d**2 - 3*d + 3. Let m be g(-3). Let x be (1 + 4/(-6))/(9/324). Suppose 2*b - 2*f - 5 = 7, -x = -b + 3*f. Is m less than b?
False
Let w = 0.03 - -0.03. Let q = 0.06 - w. Let f = 44 + -43.8. Which is bigger: f or q?
f
Let h = 5.3 - 7.8. Do h and -0.1 have the same value?
False
Suppose -7*n = -12*n - 30. Let k(o) = -o**3 - 4*o**2 + 8*o - 3. Let g be k(n). 