s a equal to f?
False
Let q = -9 - -26. Let p be 45/(-18)*42/(-10) + (-15)/(-3). Is q at least as big as p?
True
Suppose -5*d = 3*t - 8*t + 25, -t - 3*d + 17 = 0. Let r be (-4 + 9 + t + -7)/(-1). Which is bigger: r or -7?
r
Suppose f + 102 - 744 = 5*q, -3*f = 5*q - 1866. Suppose 2*d = -b + f, 2*d - 866 + 248 = -4*b. Which is greater: d or 316?
316
Let f be 4 - (0 - -3) - 0. Let j = 773/2595 + -501757/2462655. Let y = j + -5/73. Is f equal to y?
False
Let p(h) = 640*h + 11668. Let i be p(-20). Which is greater: -1136 or i?
i
Suppose 92*i - 95*i + 519 = 0. Let c = 173 - i. Do 1.7 and c have the same value?
False
Suppose 2*x - v - 87 = 0, -6*x = -2*x + 2*v - 170. Suppose -x - 23 = -3*h. Let j = -52850 - -211483/4. Do j and h have different values?
True
Let n(o) be the first derivative of -o**4/4 - 7*o**3/3 + 4*o**2 + 6*o - 18. Let h be n(-8). Let i be 2 + (3 - 5) - 4/h. Which is smaller: 0 or i?
i
Suppose -z = 2*b + 15, 2*b = -0*z + 2*z - 30. Let y be 4/b*90/(-12). Suppose -4*m + 5*k = -1, -5*m + 3*k - y = -1. Which is greater: m or -36?
m
Let q = -13 - -17. Let f(a) = a**2 + 7*a - 6. Let c be f(-9). Let p = q - c. Are -13/2 and p equal?
False
Let o be (27 - -65)/((-28)/(-15) + -2). Let s be o/25 + 0 + 4/(-10). Is s > -26?
False
Let t(k) = -2*k + 1. Let l be t(-1). Suppose 12*p - 25*p + 26 = 0. Suppose 0*x + 17 = -5*w - 4*x, 0 = 3*w - p*x - l. Which is smaller: 3/68 or w?
w
Let x(a) = a**2 + 23*a + 93. Let w be x(-18). Suppose -2*k - 8 = -4*k, w*c - 2*k = -5. Which is greater: c or -8?
c
Let q be (650/(-12))/5 - (-1)/(7 - 5). Which is bigger: -1/19 or q?
-1/19
Let u = 3508 - 3509. Let h = 2 + 0. Is h smaller than u?
False
Let a = 7.074 - 7.174. Is a at least as big as 2570?
False
Suppose 936*d = 933*d + 9, -o + 7 = 3*d. Is -308/195 at least as big as o?
True
Let j be 2 - -2 - (8/(-8) - 327). Suppose 24 = -28*s + j. Which is smaller: 5 or s?
5
Let g(c) = c - 5. Let h be (-15)/(-20) + 6/(-8). Let i be g(h). Let m be i + 2 + 645/216. Which is bigger: m or 1?
1
Let d be (10 + 6)*6/8. Let b be d/(-36) - (-1)/(-24). Which is smaller: b or 0.084?
b
Suppose -120*n - 24*n = 6*n. Which is smaller: 63/181 or n?
n
Let c(k) = -9*k + 314. Let u be 34 - (6 + -3)/(-3). Let g be c(u). Which is bigger: -3/134 or g?
-3/134
Let p(i) = 24*i + 4. Let o be p(-1). Let z be o/(-6)*(-6840)/(-105). Let v = 216 - z. Which is smaller: v or -2?
-2
Let t be (-3*4242/63)/((-4)/50). Are t and 2526 unequal?
True
Let y be -13 - (-2 + 3 + -5). Let f be -326*(-4 - ((-324)/(-8))/y). Is f > -162?
False
Let g = 5679.9 + -5246. Let s = 434 - g. Which is greater: -46 or s?
s
Let q be (2/(1 + 13))/(-1). Suppose -32*a + 100 = -12*a. Is q less than or equal to a?
True
Let n be (-3 - (-36)/4) + -2. Let j(h) = h**3 + h**2 + 4. Let d be j(0). Suppose -5*c + 23 = -t - t, -c + d = -t. Is c less than or equal to n?
False
Let u = 288.94 - 289. Let w = 22.5 - 24. Are u and w unequal?
True
Let a be (-3)/(-9)*10*((16 - 457) + -6). Are -1490 and a unequal?
False
Let d = -242 + 146.5. Let n = -99 - d. Let y = n + 4. Is 2/9 <= y?
True
Suppose 174*i - 62 = f + 175*i, -5*f + 4*i = 301. Is -35 at most as big as f?
False
Let y be (-7771)/(-209) - (-2 + 10). Which is bigger: y or 29?
y
Let c be (105 - -12)/(-13) - -77. Which is greater: c or 69?
69
Suppose 145 = -82*c + 102*c - 355. Is c not equal to -116?
True
Let r(i) = i**3 + 23*i**2 - 23*i + 131. Let n be r(-24). Suppose -7*b + 33 = -n. Which is bigger: 21 or b?
21
Let s be (85 - 73)*(3 + -1)/(-8). Is -269 at most as big as s?
True
Suppose -4*d + 12 = -9*d - 4*x, -4*x + 36 = -d. Let g = -15.73 - 0.27. Which is bigger: g or d?
d
Suppose -1174*k + 18 = -1183*k. Let p be (k - 1762/(-950)) + 18/171. Suppose -2*l = -5*l + 3. Is p < l?
True
Let m be (-43)/((-99)/(-18)*(-1)/(-11)). Let s be (-6)/(-10) - m/30*-3. Are s and -6 nonequal?
True
Let h be (77/(-196))/(16/(-128)). Is h less than or equal to 2/87?
False
Suppose 4725 = 5*c + 4*g, 4*c = -11*g + 13*g + 3780. Which is smaller: c or 944?
944
Suppose -11*u + 7*u = -72. Let k be (99/u + -3)*(-6)/(-5). Do k and -38 have the same value?
False
Let h(c) = -c**3 + 2*c**2 + 6*c - 5. Let j(w) = w**3 - 5*w**2 + w - 2. Let r be 4/18 - (-129)/27. Let t be j(r). Let a be h(t). Is a less than 1?
False
Let i = -8 + 7.2. Let r = i - -0.5. Suppose -26 + 60 = 4*a - d, 2*d + 44 = 5*a. Which is bigger: r or a?
a
Let o(n) = n**3 - 6*n**2 - n + 9. Let y be o(6). Suppose -y*f - 13 = -4. Let i = f + 22. Is 17 bigger than i?
False
Suppose 0 = 4*t + 4, 115 = 2*s - t + 34. Let j = 44 - s. Suppose -10 = -j*n + 42. Which is greater: 1/4 or n?
n
Suppose 1695 = 2*s + 5*t, -s + 5*t = -707 - 163. Suppose s = -30*f + 15*f. Are -57 and f unequal?
False
Let l be ((-1608)/335)/(-1 - 8/(-10)). Suppose l = 18*v - 264. Is 18 <= v?
False
Let j be ((-49164)/(-170))/(5/(25/(-2))). Which is greater: j or -720?
-720
Let i = 891.16 - 890.96. Let m be (22/(-5))/((-2)/(-10)). Which is bigger: m or i?
i
Let g = 2057 + -2025.2. Let x = 35.038 + -0.038. Let z = g - x. Do z and 0.1 have different values?
True
Let b = 57 + -54. Suppose -3*j - 4*a = 120, -8 - 221 = 5*j - b*a. Let c be j/52 + (3 - 5) + 3. Does -2/3 = c?
False
Let s = 207395/2 - 103701. Let q = 0.1 - 0.14. Is s less than or equal to q?
True
Let m = -559359749/4577 - -122211. Let y = m - -5089/1171712. Which is greater: y or 0?
y
Let b be 3/6*(-4 + 4). Let g be (-8)/6 - ((-56)/(-3))/(-8). Is b != g?
True
Let p = -149.3 - -143.3. Which is smaller: -970 or p?
-970
Let x(y) = 4114*y + 12732. Let v be x(-5). Which is bigger: v or -7836?
-7836
Let d be (-114)/(-21) - 9/21. Suppose 4*q - 20 = -d*s, q = -4*s - 3*q + 20. Is s <= -3/26?
False
Let m = -8 - -7. Let g = 158 + -262. Let p = 115 + g. Is p < m?
False
Let q = -438.9 - -502. Let v = -63 + q. Is -3/4 bigger than v?
False
Let b be (-2)/(-15) + 3570/225. Let p be (-1)/(-3) + 17/3. Let w be 30/p*(-3 + 6). Which is bigger: w or b?
b
Let a(w) = -61*w - 2587. Let l be a(-53). Which is smaller: l or 1936/3?
1936/3
Suppose -1 = -3*l - s - 7, -2*s - 2 = l. Let v be ((-24)/(-2))/6 + l. Is v equal to -2/129?
False
Let w = -227 + 219. Let z = -83 + 80. Is z > w?
True
Let t be (206/(-927))/(10/(-18))*5. Which is smaller: t or 68?
t
Suppose 0 = 3*k - 3*n + 783, 2*k + 0*n - 3*n + 522 = 0. Let g be (k/36 - -5)*32/6. Which is smaller: g or -1?
g
Let y = 0.3 - -0.2. Let l be (-8)/(-5 + 0 - -3). Suppose l*k - 5 = -2*w - 3, 0 = -5*k + 2*w - 11. Is k < y?
True
Let h = 6005 + -3439. Which is bigger: 2568 or h?
2568
Let o be 0/7 + (2 - 6) + 380. Let b = o - 396. Is b at most -22?
False
Suppose -3*f - 19 + 19 = 0. Let x = 4008 + -380756/95. Which is bigger: x or f?
x
Let y(g) = 13*g**2 - 551*g + 1098. Let n be y(2). Which is smaller: n or -2/33?
-2/33
Let t(s) = s**3 - s**2 - 19*s - 10. Let l be t(-4). Suppose 3*v - 8 = -56. Is v at most l?
True
Let l = -1194 - -1194.883. Let f = -0.217 - l. Is 4 at least f?
True
Let y be (-18)/35*4275/(-135). Let v = -0.11 - -1.11. Is y not equal to v?
True
Suppose 8*w + 314 - 178 = 0. Let n be (1 - 0)*(2 - -1). Let j be (-6)/n + (-61)/4. Are w and j equal?
False
Suppose -2*k = -7*y + 564, -46*y - 435 = -51*y - 5*k. Is y <= 0?
False
Suppose 13 = -5*o + 4*o + 2*o. Is o > 149?
False
Suppose -3*u - v - 7608 = 0, -33*u - 3*v = -37*u - 10183. Which is smaller: u or -10153/4?
u
Suppose 25 + 50 = 15*y. Suppose 4*g - 4*v = 16, -v - y = -3*g - 3. Let j be 4/(-34)*3/6. Which is smaller: g or j?
g
Let a be (6/12)/((-361)/1). Which is greater: -0.04 or a?
a
Let n(u) = -15*u - 219. Let w be n(6). Let h = w + 309. Is -11/14 equal to h?
False
Let q be (-2272)/(-18) - (-4)/(-18). Let g be 2/(-6) - (-2841)/q. Let t = g - 89/4. Which is smaller: t or 1?
t
Let n be (-1218)/168 + (11 - 6/2). Which is smaller: -197 or n?
-197
Let l = -163 - -167. Suppose 2*r - l + 1 = -3*f, 4*f - 4 = r. Is -1/34 at most as big as r?
True
Let v(j) = 286*j**2 - 2259*j + 15. Let m be v(8). Is m equal to -22?
False
Let b = -74 + 88. Suppose -b*k = -4*k. Which is bigger: 2/297 or k?
2/297
Let g(n) = -n**2 - 4*n + 8. Let s be g(-6). Suppose 302 = 9*w - 31. Let o = 39 - w. Is o > s?
True
Suppose i = -0*i - 4*y - 129, y = 2*i + 240. Let q = -141 - i. Do -20 and q have the same value?
True
Let q = -3 + 9. Let l be (-1)/(-2) + 17/q. Let k = 482391 - 482391.1. Which is smaller: k 