 - -4.03. Let j = q - 9. Suppose -4*n - 2 = -3*n. Which is greater: j or n?
n
Let y be ((-18)/45)/((-3)/(-545)). Which is smaller: y or 3?
y
Suppose -8*k + 3*k - 51 = -4*s, -k + 5 = 0. Which is bigger: s or 11?
s
Suppose 3*q + 27 = -4*z, 2*z + 7 = 3*z - 2*q. Suppose -4 = 4*i, -7*i = 3*l - 4*i. Is z at most l?
True
Let o(h) = 2*h**2 + 13*h + 7. Let a be o(-6). Do a and -2/399 have the same value?
False
Let j = -25 - -31. Suppose -3*n + 111 = j. Suppose 5*h + n = -5*w, -2*h - 13 = 2*w + w. Is -9 at most as big as h?
True
Let d = 0.1583 + 0.1317. Is d greater than or equal to -8?
True
Let x be (-14)/4*(-16)/28. Suppose -8 = -0*w - x*w. Suppose -w*k - k = -5. Does k = 3?
False
Let g = 2628 - 2628.1. Let c(o) = 3*o - 3. Let v be c(-4). Which is greater: g or v?
g
Suppose -20 + 191 = l. Let f be ((-2)/l)/((-13)/(-78)). Is f > 1?
False
Suppose -19*v = 52*v. Are v and 50/73 non-equal?
True
Suppose 92 = -5*t - 2*m - 0*m, -t - 16 = -2*m. Let q be (-634)/t - (-6)/(-27). Let v be 10/3*6/q. Does 0 = v?
False
Let h = 48310/61 - 792. Let c = h + 431/122. Which is smaller: 4 or c?
c
Suppose -12 = w + b, 0 = -2*b + 5*b + 12. Let u = w - -12. Suppose -u*h + 36 = -4*x, 4*h + x - 17 - 9 = 0. Is 8 at least h?
True
Let u = -575 - -574. Do u and -0.166 have different values?
True
Let l be (-2)/(-47)*15/(-30). Let i = 183/235 - l. Is i greater than or equal to 0?
True
Let o = 107.2 + -82.6. Are o and -2/7 equal?
False
Let l = -0.188 + 0.17. Let j = 26.982 - l. Let y = j + -27.01. Which is smaller: -1/4 or y?
-1/4
Let f be (7 + -2)*16/60. Let d = -18 + -3. Let r = 21 + d. Is r smaller than f?
True
Suppose 13*w - 19*w - 114 = 0. Let p(t) = -t**2 - 20*t - 25. Let z be p(w). Let a = -8 - -1. Is a greater than or equal to z?
False
Let k(q) = q**2 + 11*q + 14. Let y be k(-1). Which is smaller: -476 or y?
-476
Let t = -25 + 10. Which is smaller: 1 or t?
t
Let k = -0.607 + 0.85. Let i = 0.043 - k. Let a = -925/11 + 84. Is a < i?
False
Let g(n) = n**3 - 6*n**2 + 4*n - 1. Let h be g(6). Let w = -18 + h. Suppose 8*x - 6 = w*x. Which is smaller: x or -0.07?
-0.07
Let h be 6/15 - 68/20. Let a = h - -16. Do 27/2 and a have the same value?
False
Let v be ((-6)/(-18))/((-46)/3). Let m = 343/92 - v. Are m and 3 non-equal?
True
Suppose -3*c - 2*q = -5*c + 234, -c = 5*q - 135. Which is greater: 121 or c?
121
Let h = 1717/910 + 3912/65. Let o = h - 127/2. Which is bigger: -2 or o?
o
Let c be -33*((-2)/1 + 1)/(-1). Let f = c + 33. Which is smaller: 4 or f?
f
Let r be 0 + 2 - (-2 - 9). Let x = -41 - -87. Suppose 2*i + 4*t = x, 0 = -i + 2*i + 4*t - 33. Do r and i have the same value?
True
Let p = -0.6 - 7.4. Let j = 129 + -127. Which is smaller: j or p?
p
Let k = 10 + -12. Let c = 115 + -94.2. Let r = c + -21. Which is bigger: k or r?
r
Let m be 12/(-24) - (-3 + 1/(-2)). Which is greater: 4 or m?
4
Suppose -2*b = -61 + 15. Suppose 93 = -4*c + s, -4*c - 60 = s + b. Is -22 at least c?
True
Let n be (-4 - (-68)/4)/(2/5). Let v = -33 + n. Is v at least 0.2?
False
Suppose 0 - 12 = -4*t. Suppose -t*j + j = -24. Suppose 6 = -3*a + 3*s, -5*s + 2*s + j = 0. Is a less than 4/7?
False
Let u = 1 + -1.1. Let j = -21.7 - -22. Let y = j - 0.42. Is u greater than y?
True
Let o = -13837/45 - -2132/9. Let j = o - -71. Which is smaller: j or 3.4?
j
Let q be 26558/(-686) + 2/(-7). Which is greater: q or 1/2?
1/2
Let k = -245 - -245.99. Let g = -0.9 + k. Which is smaller: -0.1 or g?
-0.1
Let v be -1 - ((-3 - -1) + -1). Suppose -3*k + v = -k. Suppose 0 = 2*g - 11*g + 27. Do k and g have different values?
True
Let j(b) = -17*b - 38. Let v be j(-6). Let s be v/(-44) - 2 - (-4 + 0). Is -3/7 greater than or equal to s?
False
Let r = 202/13 + -10191/650. Is 0 not equal to r?
True
Suppose 2*c = m + 864, -3*c - 4284 = 5*m - c. Which is greater: m or -857?
-857
Let j be 1 + 207 + 6 + 3 + -14. Is 205 at least as big as j?
True
Suppose 2*t = v - 4, 4*t + t - 5*v + 20 = 0. Suppose -4*g = 5*c - 9, t = -2*c + 4*g - 3*g + 1. Is 2/201 at most as big as c?
True
Let b = -36.9 - -19.74. Let n = b - -17. Let u = -0.14 + n. Which is smaller: -1 or u?
-1
Let d = -49.82 + 33.21. Let u = d - 0.39. Does u = 1?
False
Let t = 8 + -7.7. Let s = -36 - -17. Let p = s + 22. Which is bigger: p or t?
p
Suppose -2*n = 5*t - 47, -4*n - 21 = 2*t - 75. Let w = -1 - n. Let f be -2*(w/8 - -2). Which is smaller: f or 1/8?
f
Let k = 7 + -4. Suppose -k*p + 37 + 2 = 0. Is 13 less than p?
False
Suppose -5*f = -2*o + 204, 4*o - 2*o = 2*f + 84. Is -35 at most f?
False
Let t = 46 + 297. Suppose t*v + 15 = 346*v. Suppose -11 - 1 = 4*y, -2*b - y + 9 = 0. Which is greater: b or v?
b
Let i = 775 + -3279/4. Let d = 45 + i. Which is smaller: -6 or d?
-6
Suppose 5*d - 4 = d. Let x = -129/4 + 32. Let l = x + 2. Is l greater than d?
True
Let y(i) = 10*i**3 + 1. Let t be y(1). Suppose 14*u - 13 + 223 = 0. Let c = u + t. Is c < -5?
False
Let j be 2/(-3) + (-62)/6. Let v = j + 13. Which is bigger: v or 1?
v
Let d be (-2 - 4/(-3))*306/6. Which is bigger: d or -33?
-33
Let g be 1 - (3 + (-5176059)/(-73593)). Let b = g + 2/8177. Let r = 3677/51 + b. Which is smaller: 1 or r?
r
Suppose -15*g - 118 + 748 = -45*g. Suppose 4 = 4*c + 2*i + 98, 2*c + 2*i = -48. Which is bigger: g or c?
g
Let d be (-3)/2*(-3043)/(-51). Let b = 93 + d. Is b > 0.1?
True
Let n be (-9)/((-9)/(-2)) - -4. Let y(u) = -14*u. Let v be y(-1). Let l be (-3 - v/(-4))*n. Which is bigger: 2/23 or l?
l
Let j(i) = i**2 + 6*i - 3. Let d be j(-6). Let g be (-72)/(-45) - (-6)/15. Let x be (g/(d - -1))/3. Are x and 0 unequal?
True
Let v = -28.5 + 29. Let x = -0.016 + 0.016. Does x = v?
False
Let g be 2/(-2) + -3 + 9/1. Let p = 4 - -1. Suppose -p*r - 3*u + 40 = 0, -g*r = -6*r + u. Is 26/5 equal to r?
False
Let o(m) be the first derivative of 1/3*m**3 + 5*m + 3*m**2 + 5. Let i be o(-4). Is i less than or equal to 1/2?
True
Let i = 5 + -4.91. Let v = 0.91 + i. Let f = -17 - -11. Is v >= f?
True
Let g = 6302.1 - 6302. Let i(a) = a + 6. Let z be i(-6). Suppose 3*r + 10 - 1 = z. Is r < g?
True
Let z be 1 + (0 + 1 - 4). Let l = -2344/91 + 176/7. Which is greater: l or z?
l
Let n be (-1)/(-3)*2 - 1. Suppose 8*l = 21 + 171. Let j be 6/(-2) + 16/l*6. Which is smaller: n or j?
n
Let u = 3 + 0. Suppose 2*j - 8 = 2*p, -13*p + 9*p + 2*j - 4 = 0. Is p equal to u?
False
Suppose 5*o = 213 - 618. Is o smaller than -82?
False
Let g be 6*(-3)/(-12)*-50. Let p = g - -65. Which is smaller: -11 or p?
-11
Suppose -4*b + 11*b - 28 = 0. Let g be ((-7)/2)/((-2)/(-4)). Let q be g/5 - (-2)/2. Which is smaller: q or b?
q
Let r = 69 - 61. Suppose 100 = -r*j + 12. Let v = 2 - 2.2. Which is smaller: j or v?
j
Suppose -4*v + 0 + 29 = -3*g, 0 = 3*v - 2*g - 23. Let l be 1/(-2)*(v - 11). Suppose l = 2*f - 0*f. Is f > -1/14?
True
Let a be 7/(-6)*854/(-196). Let n = 1/160 + 1117/480. Let d = a - n. Is d less than or equal to 0.1?
False
Let l be (1 - 0)/((-6)/150). Let h = 34 + l. Which is smaller: h or 7?
7
Let y = -33 + 36. Suppose 24 - 9 = -y*j. Let t = 5 - j. Is 11 at least as big as t?
True
Suppose -25 = 7*c - 2*c + 4*v, -5 = v. Let y = -9 - 5. Let z = y + 68/5. Is c smaller than z?
True
Let w be 45/25*(0 + 5). Which is greater: -0.1 or w?
w
Suppose 3*n + 12 = 4*c - 0*n, 0 = -4*c - 2*n + 12. Let v be 2/(-12)*2*(c - 3). Is v less than or equal to 1/76?
True
Let u(b) = -b**2 - 2*b - 1. Let r(i) be the third derivative of -i**5/60 + 5*i**4/12 + 4*i**2. Let f be r(10). Let y be u(f). Is 0 >= y?
True
Let j be 7/(-22)*-3 - 3/2. Which is greater: j or -2?
j
Suppose -34*d + 1015 = -1501. Which is greater: d or 71?
d
Suppose 10 + 46 = -14*p. Is -9 at most p?
True
Let u(x) = x**3 - 32*x**2 + 50*x + 263. Let j be u(30). Is j <= -46?
False
Suppose -b + 5 = -2*y, -3*b + 2*y - 2 + 17 = 0. Suppose 0 = 5*u + 4*d - 2*d - b, -d + 6 = -u. Does u = 2/59?
False
Let q = -1264 - -1294.8. Which is smaller: -0.2 or q?
-0.2
Let a be (5/15)/(6/(-1)). Let c = 214 - 213. Which is greater: c or a?
c
Let t = 19385 + -97614/5. Which is smaller: -137 or t?
t
Let m be 5214/(-352)*(-2)/3. Which is bigger: 11 or m?
11
Let d = -10 - -25. Let o = d + -9. Let y = 109 - 108.9. Is y > o?
False
Let r be 64/60 - (-4)/(-10). Let n = -55 + 32. Let d = n + 27. Do r and d have different values?
True
Suppose 0*v = -5*v + 120. Suppose t + v = -t. Let i be (-8)/t*6*1. Is 3 <= i?
True
Let g(l)