 -4*m = -2*j - j + 25. Suppose 3*r - 14 = j*z - 44, 5*z - 44 = 4*r. Let q be (-4)/(-8)*(-3 - r). Is 0.1 at least as big as q?
False
Let d = 9.71 + -9.3. Let a = 106.5 - 106.4. Which is smaller: a or d?
a
Let t(j) = -j**2 - 4*j - 4*j + 5*j - 2*j. Let q be t(-4). Let f = 50 - 44. Is f > q?
True
Let f = -48 - -46. Which is greater: 11/7 or f?
11/7
Let m = -1.1 + 1.1. Let y = 28.6 - 6.75. Let o = -0.15 - y. Is o != m?
True
Suppose 6*j = 2 - 8. Is j at most -1046?
False
Let q = 217 - 108. Let u = 107 - q. Let h = 5 - 3. Which is greater: u or h?
h
Suppose -28*p + 8 = -24*p. Let u(s) = -14*s. Let o be u(p). Is -26 <= o?
False
Let c = -4.44 - 222.56. Is -1/4 less than or equal to c?
False
Let p be 3 + (-652508)/(-40)*-2. Let h = -32734 - p. Let a = 112 + h. Is a less than or equal to 1?
True
Let n(a) = 8*a - 23. Let i be n(-5). Let t = -69 - i. Which is smaller: t or -5?
t
Let y = -2804.51 + 2785. Let j = 0.49 - y. Let i = j + -19.9. Is -6 >= i?
False
Let m = 355 - 336.3. Let g = m - 0.7. Which is smaller: 2/17 or g?
2/17
Let w(c) = 2*c**2 - 12*c + 25. Let d be w(20). Which is bigger: 586 or d?
586
Let q = 37897/42 + -1805/2. Suppose 5*p = p. Which is smaller: q or p?
q
Let w be ((-198)/(-110))/(-1 + (-26)/(-25)). Is w greater than 42?
True
Let f = -0.0277 + -1.1723. Is f at most as big as 35?
True
Suppose 2*a + 126 = 2*h + 42, 5*h = -a + 228. Let l be (-2)/15 - 3*163/h. Which is bigger: -10 or l?
-10
Suppose x = 5*g - 0*x - 271, -2*g + 109 = -x. Suppose 2*u - 18 = -5*t, 3*u - 5*t + 2 = u. Suppose -u*r - g = 2*r. Which is smaller: r or -10?
-10
Let l be (-10)/45 - (-644)/63. Is l equal to 10?
True
Let r be (7/21)/(2/12). Let u be 298/66 - r/11. Let l = u + -943/219. Which is smaller: l or -2/5?
-2/5
Let j be (-70)/(-272) - 3/8. Let w = j + 61/85. Are w and 5 nonequal?
True
Suppose 28*r - 498 = 370. Is 37 greater than or equal to r?
True
Let x = -22.3 + 26. Let a = -4 + x. Let i = 13 - 12.8. Is i greater than a?
True
Let s = -1217 - -1203. Suppose -f + 6*f + 57 = -3*z, -4*f - 50 = -2*z. Which is greater: s or f?
f
Let p(h) = 30*h**3 - 2*h + 1. Let z be p(1). Suppose 3*m - z - 4 = 0. Let b be ((-15)/(-4))/(18/48). Is b greater than m?
False
Let g = 17 + -5. Let o = g - 14. Let n(h) = -h**2 - 3*h + 1. Let t be n(o). Is 2 bigger than t?
False
Let i be (3/((-36)/136))/((-2)/3). Suppose -5*f = -3*f + 5*w + i, -5*w = 15. Is f not equal to -3/5?
True
Let r = -10489/16 - -652. Which is greater: r or -4?
r
Let h = -4 - -18. Let i = h + -16. Let g(r) = r**3 - 3*r**2 - 6*r + 5. Let l be g(4). Which is smaller: l or i?
l
Let w be (-5 + 1)*15/(-20). Suppose u = -w*n - 41, -n - 15 = -4*u + 16. Let m be (-2)/n*(-3)/2. Is m at least 0?
False
Suppose -4*n + 0*n = -52. Let c = 20 - n. Let m be (-2)/20 - 405/(-50). Does c = m?
False
Let a = 2.69 - 2.79. Is a < -0.0095?
True
Suppose -3*v - 2 = -4*v. Suppose v*o = -3*o. Which is bigger: o or 4/21?
4/21
Let a = -22 - -23.3. Let z = 2.1 - a. Let n = z - 1.2. Is 0.2 at most n?
False
Let o(u) = 3*u**2 - 9*u + 10. Let w be o(1). Suppose 2*l = -w*d + 184, -7*d - 276 = -3*l - 6*d. Are l and 92 unequal?
False
Let m be ((-2)/(-6) + (-8)/(-12))*148. Let v be 1/(-2 + 300/m). Which is smaller: 35 or v?
35
Let l be 14*(-7)/42 + 1. Are l and -1 nonequal?
True
Let y be (-2 - -6*(-3)/(-6))*6. Suppose -y*r = -0*r. Which is bigger: r or -1/139?
r
Let x be 1016319/9 - (-7)/(-21). Let q = 24956332/221 - x. Let k = q + -6/13. Are -1 and k non-equal?
True
Let l = -0.08095 - 31.90005. Let d = 0.019 - l. Is 1 not equal to d?
True
Let n be -1*(1817/(-2265) + (-28)/(-35)). Which is smaller: -1 or n?
-1
Let r(d) = -82*d - 327. Let f be r(-4). Let w(t) = t + 3. Let x be w(-4). Let z be x/1 + (-18)/(-8). Is z less than f?
False
Suppose 3*j = -10*j + 4316. Do 1 and j have different values?
True
Let g be 6 - 4 - 2 - -4. Suppose -g*j - 3 = 1. Is -2/129 less than j?
False
Suppose 12*f + 135 = 7*f. Suppose 44 = -0*s - 2*s + 3*k, 4*s - 4*k = -84. Let l = s - f. Are l and 9 equal?
False
Let t = 434 - 427. Which is bigger: t or 36?
36
Let u = 77/90 - 1/18. Let j = -35 - -37.3. Let v = j + -1.3. Is u smaller than v?
True
Let l(q) = q**3 + 16*q**2 - 19*q - 5. Let b be l(-17). Let o = 26 - b. Which is smaller: -16/7 or o?
o
Let p = -9.228 + 0.028. Let h = 10.2 + p. Which is smaller: -20 or h?
-20
Suppose 135 = -5*a - o + 6*o, 63 = -3*a - 3*o. Is 0.1 > a?
True
Suppose -4*t = t - 150. Which is bigger: t or 23?
t
Suppose 4*w - 5 = -3*b + 4*b, 2*w = b + 3. Let p be (w - (-5164)/20) + -3. Let l = 257 - p. Are l and 2 equal?
False
Let m(a) = 3*a + 4. Let t be m(-3). Let z be (((-40)/26)/t)/2. Suppose -1 - 1 = -2*u. Which is smaller: z or u?
z
Let f(u) = u**2 + 6*u - 7. Let p be f(-7). Let i be ((-14)/(-18) - p) + 37 + -36. Is 2 >= i?
True
Suppose -720 + 126 = -9*k. Is k at most 64?
False
Let y = 97.975 - 98. Let v = y + 0.025. Which is bigger: -0.2 or v?
v
Let b be -1 + ((-1)/(-1))/(-1). Let k = -10432 - -41725/4. Is b >= k?
False
Let t be (-68)/12 - (-4)/6. Let l(p) = -p**2 - 8*p + 3. Let d be l(t). Suppose -47 = -7*w + 65. Which is greater: w or d?
d
Let s = 2.1 - 0.6. Let o = s + -1.6. Let d = -1.1 - o. Is d equal to -1/7?
False
Let t = -7.45 - -1.45. Which is smaller: 1 or t?
t
Let v = 1202 + -391. Is v at least as big as 813?
False
Let h = -23 - -31.9. Let b = h + -9. Let m = 90 + -86. Which is greater: b or m?
m
Suppose -23*u = -25*u + 2. Let n be u - 0 - 10 - 3. Are -9 and n unequal?
True
Let l(d) = -d**2 - 35*d - 68. Let p be l(-13). Is p greater than 221?
False
Let i be ((-180)/35)/(3/14). Suppose -3*m - 68 = 4. Is m greater than or equal to i?
True
Let g = -83 - -108. Which is greater: g or -4?
g
Let k = -1122/245 + 23/5. Which is bigger: 1 or k?
1
Let c = -2.259 + 0.259. Let g = -1 - -1.9. Which is greater: g or c?
g
Let g be (-6)/30 - 2/(-10). Suppose 0*p = -p + 2. Which is greater: p or g?
p
Let h = -1.8 + 2.8. Let l(b) = 22*b**3 + 3*b**2 + b - 2. Let u be l(-2). Let i be (-34)/u + (-6)/21. Which is smaller: i or h?
i
Let o(b) = -b**2 + 30. Let l be o(6). Let s be ((-102)/15 + 7)/(l/(-1)). Which is greater: s or 0?
s
Let q = -2.8 - 23.2. Let b = -26.1 - q. Does -48 = b?
False
Let w be -4 - (-4 - 3) - (36 + 0). Let u = w - -49. Do u and 16 have the same value?
True
Let g = -1.1 - -0.7. Let d = -18.4 + 9.6. Let a = 9 + d. Is a less than g?
False
Let n be (-2)/12 - (-144218)/12. Let y be (-13)/(-21801)*n/164. Let b = 3/1066 + y. Is 0 equal to b?
False
Suppose -17*u = 2*u - 722. Is u <= 34?
False
Let u be 15*(-5)/(75/(-24)). Suppose 11*q + 69 = 14*q. Which is greater: u or q?
u
Let z(w) = -w + 23. Let o be z(-17). Let f be 0 - ((-75)/o)/(-5). Which is smaller: -1 or f?
-1
Let k be (-7 + 4)/((-1)/3). Suppose 0 = j - 5*c - 2 - k, -c = j + 1. Does j = 2/29?
False
Suppose -3*d + 1145 = -4*n + 453, -5*d + 1156 = -4*n. Let h be ((-2)/4)/(2/d). Which is smaller: -59 or h?
-59
Suppose -14*u - 53 = 3. Which is smaller: -146/27 or u?
-146/27
Let w be (24 + -19)*(-23)/(-5). Let b = -25 + w. Which is greater: b or -10/9?
-10/9
Suppose 0 = 3*g - 5*l - 40 - 113, 2*l = 0. Let h = -151/3 + g. Are h and 0.27 unequal?
True
Let x(z) = 3*z**2 - z + 6. Let n be x(2). Let p be 6/(-14) - n/28. Is -4 > p?
False
Let y = 0.08 + -2.08. Let c = y - -6. Let u = -15 - -16. Is c less than u?
False
Let v = -1.094 - -0.834. Is v equal to -3?
False
Suppose -3*l + 4*l - 9 = -4*w, 5*w + 4*l - 25 = 0. Which is greater: w or 24/29?
w
Let d = 165 - 169. Let z be 0 - -2*(-2 - -1). Let i be 13 + (-6 + z - d). Is i greater than 8?
True
Let q(o) = -4*o**2 + 7*o + 7. Let h be q(7). Let n = 245 + h. Let g be 110/n + 4/14. Are 2 and g equal?
False
Suppose 116 = q - 22*p + 17*p, 481 = 4*q - 3*p. Which is smaller: 120 or q?
120
Let z = -98503/574 - -577/82. Let i = -164 - z. Which is bigger: 0 or i?
i
Let k(y) = y**3 - 2*y**2 + 15*y + 30. Let l be k(-6). Which is smaller: l or -347?
l
Let l be 6/(-4)*(-24)/738. Let w = 34 - 34.2. Which is greater: l or w?
l
Suppose 1090*h = 1083*h. Let z(c) = c**2 + 7*c + 8. Let t be z(-4). Which is smaller: h or t?
t
Let d = -4 - -4.5. Let y = d - 0.5. Let k = -57 - -57.03. Do y and k have different values?
True
Let n = 14 - 13. Let b = -0.7 + n. Let c = b - -0.7. Is 7 greater than c?
True
Let s = 189 + -188.98. Is s <= 0?
False
Let p be (5 - 2) + -3 + -1. Suppose 0