 than or equal to -246?
True
Let b = 119 + -114.9. Let y = -4 + b. Is y > 17?
False
Let s = -1103 - -1104. Which is greater: 1/148 or s?
s
Let y be 23/(-10) - (2 + -4). Suppose 4*n + 2*f + 174 = -4, -5*f + 15 = 0. Let m = n - -47. Is m greater than or equal to y?
True
Suppose 3*d - 13 + 4 = 0. Let g(t) = -1 - 4*t**2 - 11 + 6 - t**3 + 2*t**d - 3*t. Let j be g(5). Is 4 greater than j?
False
Let l = 1 + -1. Let b = -0.25 - -8.25. Is b at least l?
True
Let z be (-6)/15 - (-17)/5. Let c = -97 + 97. Suppose c = 3*r + k + 4*k, 0 = -3*r + 4*k + 27. Is z equal to r?
False
Let z = 0.4 - 0.3. Let q = z + -0.11. Let f be ((-64)/(-16))/(-7 + 1). Is q at least f?
True
Let v = 373 - 434. Which is smaller: v or -62?
-62
Let u = -495 + 491. Is -25 equal to u?
False
Let z be (-176)/(-20) - 2/(-10). Let b = 23 - 13. Let c be z/3 - b/3. Which is smaller: 1 or c?
c
Let n be (-14)/(-1050) + (-2)/25. Does n = 2?
False
Let s = 0.3 + -0.4. Suppose -2*l - 4 = 2*l. Let c be 20/(-5) - 3 - l. Which is bigger: c or s?
s
Let q = 347 - 7283/21. Let x = 0.13 - -0.07. Is q < x?
True
Let t = 60 + -90. Let y = t + 31. Which is greater: -20 or y?
y
Let f be 7*(-208)/(-1204)*2/4. Do f and -1 have different values?
True
Let s = -65 + 55. Let q(m) = m**3 + 10*m**2 - 2*m - 15. Let t be q(s). Which is smaller: 33/8 or t?
33/8
Let o = 1100 + -1118. Which is greater: o or -20?
o
Suppose -40*l = -63*l - 1564. Is -68 at least l?
True
Let r = 0.175 - -80.825. Let y = r - 85. Is y bigger than 0.1?
False
Let p = -42 + 33. Is 9 < p?
False
Let g(c) = -5*c + 7. Let r be g(2). Let t be 1 + -1 + r/8. Let s = 0 + -1. Which is bigger: t or s?
t
Let f = -90.919 + 91. Let k = f - -0.219. Do 11 and k have different values?
True
Let v be (-285)/(-40) + (3 - (6 + 1)). Let g be ((-2)/1*(13 - 15))/2. Which is greater: g or v?
v
Suppose -d - 3*n - 149 = -44, 65 = -d + 5*n. Let g = d - -93. Is g <= 8?
True
Suppose -36 = -4*g - 4*x + 5*x, 5*g - 5*x = 60. Let k be (-3)/2*g/(-60)*5. Is -1/11 >= k?
False
Suppose -4*d = -5*d + 28. Let c = d - 41/2. Is c bigger than 7?
True
Let i(k) be the third derivative of k**4/8 - 8*k**3/3 + 5*k**2. Let z be i(7). Suppose z*b - 3 = 7. Which is bigger: b or 3/4?
b
Let t be (2 - 2 - 1)*-2. Suppose -13 - 22 = 5*k - 4*o, -25 = 5*k - t*o. Let c = -1286 - -1285. Which is bigger: k or c?
c
Let r be (-5)/((-105)/114) + 44/77. Let a be (-15)/(-6) - 9/(-6). Do a and r have different values?
True
Let h = 491 + -471. Which is greater: 64/3 or h?
64/3
Suppose 0 = d + 1 + 11. Let z = -4008/385 + -30/77. Which is bigger: z or d?
z
Let s = -64326/7117 + -34/647. Let l = s + 8. Is -1 greater than l?
True
Let s = 23 - 22. Let v = s + 1. Let z be -1 + 0 + (0 - v). Which is greater: 2 or z?
2
Let n(w) = -w - 28*w**3 + 2*w - 1 - 2*w + 21*w**3. Let x be n(-2). Is 57 bigger than x?
False
Suppose -26 = -11*c - 15. Is c < 8/33?
False
Let i be (-6)/(-42)*1 - 4/(-24). Is -1 at least as big as i?
False
Let k = 15 + -135. Let b be (-2)/13 - k/104. Which is smaller: -2/9 or b?
-2/9
Let c = 104 - 54. Let u = c + -39. Are 10 and u equal?
False
Let d be (-4 + 6)*(-7)/(-2). Let o(k) = k**2 - 11*k - 4. Let a be o(d). Which is greater: a or 0.1?
0.1
Let s be ((-3)/1)/(12/8). Let r be (-9)/(-4) + s/8. Do 3 and r have different values?
True
Let z(y) be the third derivative of -y**6/120 + y**5/4 - 7*y**4/12 + 5*y**3/6 - 25*y**2. Suppose -31 = -5*g + 39. Let q be z(g). Which is greater: 3 or q?
q
Let b be (2/(-30))/((10/6)/5). Are -2/187 and b unequal?
True
Let n be (-246)/78 + 2/13. Let t be ((-6)/(-8))/n - 1830/(-120). Do 17 and t have the same value?
False
Suppose 0 = 3*d - 45 + 24. Suppose 0 = -7*q + 8*q + d. Which is greater: -4 or q?
-4
Let r(j) = -3*j**3 - 103*j**2 - 206*j - 2. Let o be r(-2). Let n = -1.1 + 1. Is o > n?
True
Let t be -22*(3/6 - 3). Let s = 7 - 4. Let g be (10/t)/((-3)/s). Is g < 1?
True
Suppose -6*a + 17*a - 341 = 0. Let l = 32 - a. Is l > 12/11?
False
Suppose 4*v - i - 6 = -2*i, -3*v + 2*i + 10 = 0. Suppose h - f - 2 = v, -f = -2*h + 13. Is h bigger than 0?
True
Let d = 14 - -40. Let f = 27 - d. Suppose 11*y + 45 = -4*g - 261, 2*y + 37 = 3*g. Which is greater: y or f?
y
Let m = 19 - 45. Is m smaller than -25?
True
Suppose -2*f = -5*q + 1, -4*q - 4*f = -12 - 0. Which is smaller: 4/143 or q?
4/143
Let i = -162 + 114. Suppose 0 = 3*j + x - 14, 0*j - 4*x = -5*j + 12. Let a be -4*3*j/i. Which is smaller: -3/23 or a?
-3/23
Let c = -1.5 - 0.5. Let w = -19 - c. Which is smaller: 0 or w?
w
Let m(j) = j**3 + 5*j**2 - 6*j + 2. Let i be -2 + 1 + 10/(-2). Let f be m(i). Suppose -u + f = u. Is u less than or equal to 2?
True
Let p = -1 + 0. Suppose 5*v - 50 + 55 = 0. Do p and v have different values?
False
Suppose -19*d - 14*d + 66 = 0. Is d != 62/25?
True
Let p be -3*(-4)/30 + (-2568)/(-780). Which is smaller: p or 4?
p
Suppose -3*y + 79 = -4*k - 3075, 0 = -5*y + k + 5285. Is 1058 smaller than y?
False
Suppose 4*q = 1 + 143. Let g be 4 + (-2)/q*1286. Let t = g + 203/3. Which is smaller: t or 4?
t
Let o = 0.12 - 35.12. Let q = 34.9 + o. Which is greater: -4 or q?
q
Suppose t - 2*t - 20 = -5*g, -4*t + 3*g = 12. Let v(d) = -d - 1. Let h be v(-2). Is h less than or equal to t?
False
Suppose 4*u - 1 = -q - 3, 0 = -5*q + 5*u + 115. Suppose -3*i + 15 - q = 0. Which is greater: i or 2/13?
2/13
Suppose 0 = 2*g - 2*u + 10, 0 = 3*g + 4*u + 17 + 12. Let p(v) = -v - 7. Let h be p(g). Let l(f) = -f + 2. Let k be l(h). Which is smaller: k or 0.4?
0.4
Let n(r) = -2*r - 3. Let x be n(-2). Let l be (-3)/24 - x/4. Is l greater than or equal to 2?
False
Let p(f) = -f**2 - 35*f + 119. Let r be p(-41). Is 3 at least r?
True
Suppose x = -3*v + 5, -15*v + 10*v = -5*x + 25. Is v not equal to -5/33?
True
Let t be ((-9)/6)/((-5)/600). Suppose 5*v - t = 755. Let n = 1307/7 - v. Is -1.1 greater than or equal to n?
False
Let t be (2 + (-36)/21)*(25 + -26). Which is smaller: t or 377?
t
Let l = -0.37 - 12.63. Let i = -21 - l. Which is smaller: i or 2/7?
i
Let k(f) = f**3 - 15*f**2 + 2*f - 15. Let u be k(15). Let x = 286/19 + -21/38. Which is smaller: u or x?
x
Let z = -156/7 + 5113/231. Let t = -7/22 - z. Are t and 0 nonequal?
True
Let p be 1 + -3*(-14)/4. Let y be 28/28 - (-79)/(-6). Let r = y + p. Which is smaller: 1 or r?
r
Let m = 5.12 - 5. Let q = -22.7 + 23. Which is greater: q or m?
q
Suppose -3*c + 3*h = 378, -2*h - 637 = 5*c - 0*c. Are c and -125 non-equal?
True
Let j = -866 + 868. Is j != -121?
True
Let h(y) = 7*y**2 + 28*y + 83. Let z be h(-3). Which is greater: z or 306/5?
z
Let l = 149 + -154. Let w = l - 78. Are -83 and w equal?
True
Let f be (-2)/5 - 12/(-5). Let a(c) = -2*c + 4. Let m be a(f). Suppose 2*p + 2 = -m. Is -2/3 less than p?
False
Let f(p) = -2*p**2 - 45*p + 22. Let j be f(-23). Which is greater: j or 1/1644?
1/1644
Suppose 1 + 32 = s. Suppose -5*i + 342 = 182. Are i and s unequal?
True
Let k = -1373.83 - -1374. Which is smaller: 2/5 or k?
k
Suppose -13*n = -7*n. Suppose -118 = 5*w + i + 1015, 4*i = 3*w + 666. Let l = -2492/11 - w. Which is smaller: l or n?
l
Let f(n) = -n - 141. Let p be f(5). Which is bigger: -145 or p?
-145
Let v(q) = -7*q + 323. Let r be v(26). Which is smaller: -0.1 or r?
-0.1
Suppose 122*d + 5504 = 106*d. Is d bigger than -344?
False
Suppose -2*m + 4*j - 28 = 0, -4*j + 5 + 43 = -4*m. Let a be (-33)/(-55)*m/(-86). Is a less than or equal to 0?
False
Let w(z) = z**2 - z - 1. Suppose 4*q = -0*q + 8. Let b be w(q). Let u = 56 - 447/8. Which is greater: u or b?
b
Let r be (((-320)/24)/(-10))/(378/(-3)). Which is smaller: 1 or r?
r
Suppose -3*o - 3*v - v - 11 = 0, -5*o - 2*v = 9. Let h = 3/299 - 49/299. Is h at most o?
False
Let m = 365 + -361. Let n = 6 + -1. Suppose 5*g - 3*b + b - 16 = 0, n*b = -2*g - 11. Is m less than g?
False
Let g = -884 + 897. Which is smaller: g or -3?
-3
Let m = -1214 - -1235. Which is smaller: m or 25?
m
Let g(n) = n**2 - 8*n - 2. Let r = -14 + 18. Let c be r + 0 + (1 - -3). Let q be g(c). Which is bigger: q or -4?
q
Let b = -23 + 24.5. Let x = b - 14.5. Let s = -13 - x. Is s at most as big as 19?
True
Let j be 4 - 2 - (-294)/(-22). Let t = -2092/187 - j. Which is smaller: -1 or t?
-1
Let p(c) = 3*c**2 + 17*c + 10. Let v be p(-5). Which is bigger: v or -6/35?
v
Suppose -31 = -3*l + 23. Suppose 2*u = l - 70. Let o be ((-2)/u)/((-2)/(-6)). Which is bigger: -1