Let n = -394 + 394. Suppose n = 3*b - a - 10, 10*b + 4 = 12*b + 2*a. Is 29/8 < b?
False
Let i = -2.162 - -0.082. Let o = -1.08 - i. Is -17 not equal to o?
True
Suppose 0*t = -3*t + 342. Let q = 122 - t. Which is smaller: q or 0?
0
Suppose 6 = 3*i + 81. Suppose -4*h + 192 = 2*x, 5*x - 469 = -2*h + 3*h. Suppose 0 = 4*a + x - 2. Is a less than i?
False
Let o = -29 - -35. Let p be (5 - o)*(9 + -1). Let c be 4/(-30) + -133*(-3)/(-45). Which is smaller: c or p?
c
Let u(o) = -3*o + 33. Let q be u(10). Let s be 530/(-120) + 3 + q + -2. Which is bigger: -1 or s?
s
Let s = -4278 + 4349. Is s at most 101?
True
Suppose -5*u + 6731 = 4261. Is u not equal to 506?
True
Let v = -1601 + 1707. Is v at most as big as 6?
False
Let k be 6/(-18)*72/(-98) - 0. Let g = 419/490 + k. Let a = 1/2 - g. Is a at least 0?
False
Suppose 0 = -717*k + 346*k. Let n = -94.979 + -0.021. Which is smaller: k or n?
n
Suppose -2 = -283*g + 281*g. Let s be (1 + g)*1 + (-27)/9. Which is smaller: 4/85 or s?
s
Let y = -280 - -280. Suppose 11*f = -12*f - 115. Which is greater: f or y?
y
Let k = 9298 + -9362.43. Let m = k - -64. Let q = -0.43 - m. Which is bigger: -9/5 or q?
q
Suppose -25*s + 21*s + 3*j + 16 = 0, -11 = 5*s + 4*j. Which is bigger: 3/2204 or s?
s
Let v = -126 - -126.1. Let y = v + -0.146. Let u = -0.016 + y. Is u at least -1/2?
True
Let d = -3056 + 2969. Is -699/8 less than d?
True
Let v = 92673253267195/21192 - 34984237855/8. Let h = 70/883 - v. Let b = h - -340. Which is smaller: 0 or b?
0
Let x be 57/5814*(10/(-45) - 74038/(-18)). Which is bigger: 40 or x?
x
Let y be 2/12*(57 - 51). Let p = -20331299 + 1240266821/61. Let n = -944 + p. Which is bigger: y or n?
y
Let c be (-1*3/((-18)/(-30)))/(-1). Suppose 3*i = -i + 4*r - 20, 0 = -c*i + r - 5. Is -10/7 greater than i?
False
Let w be ((76/1336)/(-19))/((-2)/(-12)). Which is greater: 2 or w?
2
Let x = 468127/529944 - 276/311. Is x greater than -1?
True
Let g(q) = 8*q + 28. Let n be g(-11). Let m be 40/n*-6*3/(-30). Is m <= -49?
False
Let d = -3868 - -4171. Which is greater: d or 319?
319
Let b = 0.37 + 6.63. Let o = b - 6. Let p be 5/(40/(-28)) + 3. Which is bigger: o or p?
o
Suppose -k = -12*k + 2*k. Suppose k = 12*r - 156 - 60. Is -6/11 at least as big as r?
False
Let o be 673948/119 - (2/(-14) + (-3)/7). Is 5664 < o?
False
Let k = -12812/3 + 4272. Is k at least as big as 743?
False
Suppose -w = 4*f - 19330, 2*f = -165*w + 164*w + 19328. Which is smaller: 19325 or w?
19325
Let v(j) = j**3 - 10*j**2 - 25*j + 17. Let z be v(12). Suppose 0 = d + 2 - z. Suppose -d*l - 10 - 14 = 0. Does l = -7?
False
Let p = 311 - 181. Suppose -p = -2*h - 72. Suppose h = 7*b - 41. Which is greater: 11 or b?
11
Let p be 0/(4/(-10) + 936/390). Which is smaller: p or 2/397?
p
Let p = 182 - 180. Let s = -0.053 + -7.947. Let z = s + 7.97. Which is bigger: z or p?
p
Suppose 3*b = -362 - 292. Let f = 212 + b. Which is greater: f or -12?
f
Let w be (-250734)/(-445179) + (-8)/14. Which is smaller: w or -2/3?
-2/3
Let m be (-8 + (-1)/(116/(-5318)))*(-2)/(-5). Which is greater: m or 15?
m
Let h be (-30)/((-4)/(-4))*(-10309)/(-3111). Which is smaller: h or -98?
h
Let a be (-2)/(-7)*245/(-315). Let o(l) = 3*l - 6. Let s be o(7). Suppose -f - 2*f - s = 0. Which is smaller: a or f?
f
Let q be ((-154)/(-7))/11 + (-20)/46. Let d = 131/69 - q. Is 43 <= d?
False
Let w(p) = 10*p + 78. Suppose 0 = -4*h - s + 5, 2*h + s - 20 = -3*s. Let g be w(h). Do 78 and g have the same value?
True
Let t(x) = x - 6. Let u be t(6). Suppose -3*w = p + 33, u = 5*p - 4*w + 110 - 21. Let s = -21 - p. Is 0.1 != s?
True
Let m = 1195.70264 - -0.29736. Which is bigger: -3/7 or m?
m
Let k = -28451.6197 - -28452. Which is smaller: k or -4?
-4
Let z = -2/36305 - 3049574/835015. Which is smaller: z or -3?
z
Let v(u) = -u**3 + 2*u**2 + 7*u - 10. Suppose -14*g + g + 52 = 0. Let k be v(g). Let n be (-4)/k - (262/(-161) + 2). Which is greater: -4/5 or n?
n
Suppose 44*p - 9 = 35*p. Which is bigger: 1332 or p?
1332
Let r = 133 + -7. Let w = r + -122. Which is smaller: w or 0.24?
0.24
Let q = 29658 - 29657.4. Let v be 0/(-2) + 0/2. Suppose -3*o - d = 2*o + 13, d + 3 = v. Is o greater than q?
False
Let c(l) = -6*l**2 - 13*l - 13*l + 10*l - 2. Let y be c(7). Let s be (-10)/3*y/(-425). Is s at least as big as -4?
True
Let l be (-492)/(-9)*(-9)/6. Let o be (-250)/(-65) + -4 + l/(-26). Suppose 8 - o = 5*x. Is x greater than 32?
False
Let z(g) = 18795*g**2 - 2*g - 18794*g**2 - 15*g + 15. Let f be z(16). Is f < -11/8?
False
Suppose -300*a = -69*a + 64368 + 28263. Which is bigger: 1/3 or a?
1/3
Let z = -61 + 63. Let f(t) = -t**2 + 2*t + 3. Let n be f(z). Suppose 4*d - 65 = n*d. Is d >= 66?
False
Let n = -4.582 - -4.432. Let o = 32 + -127/4. Which is greater: n or o?
o
Let h(g) be the first derivative of 27/2*g**2 + 21 - 49*g. Let f be h(4). Is f <= 60?
True
Suppose -5*v - 659 + 1191 = -3*w, 4*w - 3*v + 702 = 0. Is w at least as big as -1555/9?
False
Suppose 0 = g + 3*l + 15 - 107, 3*g - 5*l = 318. Is 107 >= g?
True
Let b = 17463 + -17463.2. Which is bigger: b or 0.3358?
0.3358
Suppose 3*c - 7*f = -5*f, -2*c + 5*f = 0. Suppose c = 335*k - 336*k - 117. Is k bigger than -116?
False
Let w = 707.3 + -706.16. Which is greater: w or 11/5?
11/5
Suppose -125*l - 110 = -115*l. Let g(p) = -p**3 - 12*p**2 - 15*p - 24. Let x be g(l). Which is smaller: x or 21?
x
Let h = -28.958 - -29. Let u = 0.958 + h. Let i = 33.1 + -36. Which is greater: i or u?
u
Let p(h) = 21*h**2 + 110*h - 12. Let w(v) = 22*v**2 + 111*v - 14. Let c(q) = -4*p(q) + 3*w(q). Let i be c(-6). Which is bigger: 2/219 or i?
2/219
Let w = 3256199/69345 + 1/69345. Which is bigger: 48 or w?
48
Let l = 1/1504 - -11279/1504. Which is smaller: l or -3/10?
-3/10
Let n = -36 + 64. Suppose -4*b + 34 = 5*i - 10*i, -3*i + n = 2*b. Which is greater: 7 or b?
b
Let a = -5 - 9. Let c = -118.98 + -2.02. Let r = -121 - c. Is a bigger than r?
False
Let l be 5/338*2640/55. Which is bigger: l or 1?
1
Let q = 1581 + -2105. Which is greater: -523 or q?
-523
Suppose 72 - 240 = -2*p. Let a = -251/3 + p. Which is greater: a or 3/7?
3/7
Suppose -96*r - 4350 = -210*r - 474. Which is smaller: 209/6 or r?
r
Suppose 0 = -24*s - 4*s + 4452. Suppose 3*m - 2*m = -5*x - s, m - 2*x = -131. Is -138 greater than m?
True
Let h = -95.9 - -15.9. Let r = h + 80.2. Is r not equal to -71?
True
Let k = -613 - -612. Let p be -3 + 0 - 1*-1. Is k equal to p?
False
Let y be (-86247)/(-49203) + (-36)/33. Is 1 bigger than y?
True
Let m = 4.3 - -0.7. Let z be -5 + 2 + 5 - 0. Let x be (27/12 - z)/(1/12). Is x at least as big as m?
False
Let j = -77 - -137. Let f(w) = w**2 + 891*w - 17230. Let r be f(19). Is j >= r?
True
Suppose -n - 5*q = -0*n - 10, -4*n - 4*q + 8 = 0. Let c be (18/(-20))/(n - 84/20). Let u = 23/42 - c. Is 2/15 less than or equal to u?
True
Let i = 921 - 909.83. Let w = i + -3.17. Let k = 10/21 - 172/273. Does k = w?
False
Let j = 1497.1 - 1495. Is j at most 0.5?
False
Suppose -2*s + h + 483 = -292, 4*s - 5*h = 1559. Let z = 2696/7 - s. Is -2 != z?
True
Let y be (4/(-5))/(154/(-55)). Let b = 1.196 - -179.804. Which is greater: b or y?
b
Suppose 3*q - 41 = 2*k, -4*k - k + 4*q = 106. Let x(d) = 2*d**3 + 2*d - 2. Suppose -m = 4*a - 6, -7 = -4*m - 3*a - 9. Let h be x(m). Is k at most as big as h?
True
Let z = 388 - 380. Suppose -z*f = -18*f. Do -3/184 and f have different values?
True
Let p(v) = v**2 - 14*v - 15. Let f be p(15). Let r be -2*((f - -2) + 1786/(-894)). Is 1 less than r?
False
Let z be (10/(-111))/((-16)/(-24)). Let i = -39/259 + z. Suppose -1 + 2 = d. Is i != d?
True
Let k(q) = 7*q + 7. Let w be k(-6). Let i be (332/6)/(36/162). Let h = i + -284. Is w equal to h?
True
Let p(u) = -17*u**2 - 230*u - 912. Let k be p(-4). Which is greater: k or -1591/6?
k
Suppose -621 = -401*t + 406*t + 4*h, t - h + 126 = 0. Is t > -96?
False
Let g be (-5)/30 + (-3)/(-18). Let m = 13/8 - 569/360. Which is smaller: g or m?
g
Let b = 6 + -5.7. Let t be (1/(-3))/((-5)/30*-2). Let a be (14/(-10) - t) + (-9)/(-135). Is b < a?
False
Let k(i) = i**2 + 7*i - 37. Let h be k(9). Suppose -h*f - 280 = -105*f. Do -141 and f have different values?
True
Suppose -10 = 4*j + 2*i, -i - 5 = -j + i. Let z be (8720/3290 - 3) + 4/14. Let f = 320/141 - z. Is f < j?
False
Let k = -17 + 408. Let x = k + -337. Which is bi