0. Suppose -74 - 240 = -68*h + 26. Do u and h have different values?
False
Let r be 4/(56/(-6)) + 28800/21. Are r and 1371 non-equal?
False
Let c = -11174 + 12119. Do 1 and c have different values?
True
Let m be 35/14 + (-13)/(1430/99). Is -2/27 < m?
True
Let g = 10911 + -10910.8. Is g != -188?
True
Let a = -6808 - -6808. Which is greater: 36 or a?
36
Suppose -15470 = -36*c + 21574. Is 1029 greater than or equal to c?
True
Let u be (-30)/8*40/(-15). Let k be -208*5/(-25) + 4/u. Let h be 287/k + 2/(-6). Which is bigger: h or 7?
7
Suppose -18 = -147*x + 165*x. Let u be (-68 + (-6 - -7))*x. Which is smaller: 271/4 or u?
u
Suppose 3*h - 8*h = z, 4*z + 20 = 0. Let m(t) = -t**2 + 16*t - 46. Let d be m(6). Is d at most h?
False
Suppose 0 = 1642*b - 1726*b + 156240. Which is smaller: b or 1858?
1858
Let h be 3*(-10)/(-375)*-5*-20. Let t be h/6*-1*(-14)/4. Which is smaller: t or 4?
4
Let j = -5.88 - 0.12. Let x = j + 34. Let b = 28.2 - x. Does b = 1/6?
False
Let x(c) = 91*c + 37. Let w be x(-5). Let n = 374 + w. Is -45 at least n?
False
Let l = -3221 + 3186. Is 9 at most l?
False
Suppose -5*w - 4*l - 3040 = 0, -2*w - 1183 = -10*l + 5*l. Let h = w - -599. Let k(z) = -z - 5. Let t be k(6). Which is smaller: h or t?
t
Let v(b) = 2*b - 66. Let o be v(37). Is o less than 219/26?
True
Let w = -173 + 242. Suppose 82*n - 79*n - u = 1114, 0 = -5*u - 5. Let y = -303 + n. Which is smaller: y or w?
y
Let z(d) = 4*d**3 + 2*d**2 - 14*d + 13. Let v be z(1). Let a be 5 - (v - -2) - -2. Is 6/205 > a?
True
Let m be (-60 + 3)/(136/(-16) + 7). Which is bigger: 147/4 or m?
m
Let f(b) = 2*b**2 - 3*b + 2. Suppose 6*y + 0*y - 2*y = 0. Let h be f(y). Suppose -1 = -2*v - 5*c, v - c = h*v - 2. Which is smaller: v or 4?
v
Suppose 6601 = 2*t - 5*i, 687 = -2*t + 3*i + 7274. Is 3283 > t?
False
Let j = 304.876 - 345.81. Let i = 5.834 - 5.9. Let s = i + j. Which is smaller: s or -1/3?
s
Suppose -3*j + 2*i - i = -182, 228 = 4*j - 5*i. Let x(y) = -2*y**2 - 31*y + 21. Let k be x(-14). Is k at most as big as j?
False
Let b = 1278 - 1277. Do b and 23/54 have different values?
True
Suppose 0 = 2*c + c + 243. Let l = c - -81. Suppose -v = -5*v - 5*m + 1, l = 4*m - 4. Does v = 4/27?
False
Suppose 0 = -30*a - 57*a. Which is smaller: -1/4413 or a?
-1/4413
Suppose -31*z - 8927 = -8555. Are -742 and z non-equal?
True
Let r be 64*(-24)/(7 - 13). Suppose 5*x - 877 = 398. Is r at most x?
False
Let v be (-210)/26 + 8 - 68799/(-39). Which is greater: v or 2?
v
Suppose -i - m = -3, -i - 4*m = m + 1. Let g(b) = b. Let n(z) = -z - 23. Let p(a) = i*g(a) + n(a). Let u be p(10). Is u < 7?
False
Let r be (185 - 12)*(-274)/6772 + 7. Which is bigger: 0 or r?
r
Suppose -3*r - 47 = -2*c - 64, 35 = -4*c + 5*r. Which is greater: c or -208/21?
-208/21
Let r = -30438 + 40766. Which is smaller: r or 10329?
r
Let p = 125493/14 - 8962. Which is greater: 3 or p?
3
Let n(u) = -17*u - 27. Suppose 0 = -6*z - z - 42. Let d be n(z). Is d <= 74?
False
Suppose -5*t + h = -24, t + 3*h + 5 = -3. Suppose -2*i - t*s = i + 73, -3*s - 72 = 3*i. Let y = 22 + i. Are y and -1/10 nonequal?
True
Let g be ((9/25570)/(-3))/(7 - 119/14). Is g <= 1?
True
Let j = 69.98 - 71.08. Let r = 8 + -8.7. Which is smaller: j or r?
j
Suppose 3991 = 37*y - 10328. Suppose -s = -0*s - f - 77, -5*s + 3*f + y = 0. Is s less than 77?
False
Let h(r) = -33*r**2 + 194*r + 23. Let z be h(6). Do z and 9/82 have different values?
True
Let r = -43.2 - -48. Let t = -5 + r. Let i = 1112 - 1102. Which is smaller: t or i?
t
Let g be (-415191)/14824 + 21 - (1 + -8). Which is bigger: 1 or g?
1
Suppose v - 2*w - 165 = w, 2*v = -3*w + 375. Suppose 13*j + 23*j = -v. Is j at least as big as -57/10?
True
Let i = -501.5 - -511. Let u = i + -9.69. Is -1 at most as big as u?
True
Let c = -0.292 + -0.078. Suppose p = 11 - 10. Do c and p have different values?
True
Let m = -5799082/11 + 527594. Are 0 and m nonequal?
True
Suppose 2*a - 7*f + 4*f - 14 = 0, -18 = 2*a + 5*f. Suppose a = -m, 0 = -0*l - l - 3*m. Suppose 0 = -l*d - 9, q = -d + 6*d + 16. Is 1/17 smaller than q?
True
Let a be (4 + 2 - -5) + (30 - 31). Is 0.203 not equal to a?
True
Let r = 153564/19 + -8082. Let w(l) = l - 1. Suppose -4*d = 3*u - 5*u - 12, 3*u + 15 = 5*d. Let j be w(u). Is r at least j?
True
Let m = 5 + -10. Let g = 786 + -768. Which is smaller: g or m?
m
Let j = -1393 - -1387. Let w(f) = f**2 + 6*f - 22. Let v be w(-8). Is v > j?
False
Let o = 282 - -163. Let a = o + -444. Let w = -0.01 + -1.99. Which is smaller: w or a?
w
Let r = 24279/76454 + 207/602. Which is greater: r or 2?
2
Let a = 0.006 - -0.0116. Let h = -0.3086 + a. Let s = 0.009 - h. Is s != 6/11?
True
Suppose 49*f - 72 - 10 = 131*f. Which is greater: 6/1559 or f?
6/1559
Let j be (-2409*-8*1/(-24))/(-2). Which is smaller: j or 401?
401
Let d be 0 + -5 - (209 + -213). Which is bigger: d or 1/7277?
1/7277
Let v = 25 + -15. Let z(n) = 10*n**2 - 8 - 8 - n**3 + 143572*n - 143570*n. Let i be z(v). Which is bigger: 9 or i?
9
Suppose 2*t - 80 = -4*v, 0*v - 26 = -v + t. Suppose -v*c + 129 = -19*c. Is 42 at most c?
True
Suppose h = 4*t - 13, 2*t - t + 5*h + 2 = 0. Suppose t*p = -p. Let m be 13/(6006/(-96))*(-2 + (-3)/2). Which is bigger: m or p?
m
Let w be 120700/(-12080) + -6 + 16. Is w smaller than 1?
True
Suppose -4*v + 2 - 16 = 3*l, 3*v + 27 = -5*l. Does v = -2/2569?
False
Let h = 3020 + -3020. Is h < 42/575?
True
Suppose -181*i - 243881 - 331522 = -117111. Which is bigger: i or -2533?
i
Let j(d) = -d**2 - 9*d - 4. Let u be j(-5). Let v = u - 44. Let y = v + 28. Which is smaller: y or -1/29?
-1/29
Let n be 5 - (-4*1 + (-714)/(-17))*118. Is n at most as big as -4477?
True
Let l = 1487 + -1453.2. Is -2 smaller than l?
True
Suppose 4*s - 10947 = 10001. Let m = s - 811739/155. Is m less than 0?
True
Let i be ((-1)/((-5)/96))/(((-28)/35)/4). Is -3/2 less than i?
False
Suppose -22*r + 19*r + 12 = 0. Suppose -r*d - d + 48 = -s, -d + 18 = -3*s. Suppose 4*f - d = f. Is 4 at most f?
False
Let z be (-49291)/(-16429) + ((-6)/(-2))/(22 - 23). Are z and 0 equal?
False
Let h = -521 - -4699/9. Let g = -41/36 - h. Is -5/6 >= g?
True
Let c = -166.99 + -2.01. Let n = 168.9 + c. Which is bigger: n or -0.8?
n
Let x be (-30)/8*5432/21. Let c = 10694/11 + x. Let g be (-1)/(-2) + 6/4. Which is bigger: c or g?
c
Suppose -152*k + 2090 = -174*k. Is -99 greater than or equal to k?
False
Let o = -1 - -1. Let t be ((-633)/422)/((-2)/4). Suppose r - 3*r + t*f - 8 = o, 5*f + 31 = -3*r. Is -7 bigger than r?
False
Let q = 33 + -15. Suppose -2*u + q = m, -2*m = -0*m - u - 46. Suppose -3*w + w - m = 0. Is w > -31/3?
False
Suppose 43 = 3*k + f, 4*k + 2 - 42 = 3*f. Suppose -5*o - 13 = 12, k = -4*q - 5*o. Suppose q*g + 3*l + 6 = 0, -3*g = g - 4*l + 8. Is 3 at most g?
False
Let q = -2059 + -20824. Which is bigger: q or -22882?
-22882
Let q = 2390 - 2413. Do q and -22/13 have different values?
True
Let u = -1284 + -14647. Which is smaller: -15933 or u?
-15933
Let n = -3409 + 3408.6. Which is smaller: n or 49.3?
n
Let f = -9466 - -8423. Which is smaller: f or -1042?
f
Suppose 0 = 4*d - d - 147. Suppose 5*i + t + 285 = 0, 2*t - 319 = 5*i - d. Let j = 55 + i. Which is bigger: j or -26?
j
Let f = -0.01 - 14.99. Let a = -7.2 - -7.121. Let w = 0.179 + a. Which is smaller: f or w?
f
Let a = -4444 - -4661. Do 218 and a have different values?
True
Let x be (-1574)/12 + (-44)/(-264). Let h be (-4)/(-10) + (-4619)/35. Let s = h - x. Which is bigger: s or -1?
s
Let n = -654.1 + 711. Let k = -55 + n. Let v = -3.2 - k. Does -1 = v?
False
Let u = -13583.961 - -13572. Is -0.2 at least u?
True
Let y = 15.063 + 21.437. Is y >= -7?
True
Let k = 4011/17 - 1399703/5933. Are k and 1 unequal?
True
Suppose 0 = 3*b - 7*b + 16. Let a be 18/(-54) - b/6. Let z = -340 + 8498/25. Is a <= z?
True
Let r be (766/(-88856))/((-1)/20). Suppose -4*s + 0*s = 4. Which is smaller: r or s?
s
Let o = -98 - -104. Suppose -2*w - 3*p = -117, -o*p = -4*w - 7*p + 229. Which is greater: w or 58?
58
Let l be 286/306 - 62/558. Let y(i) = i**3 + 7*i**2 - 7*i + 10 + 0*i**2 + 1 - 1. Let j be y(-8). Is j less than l?
False
Let y = 9241 + -9241.189. Is y < -1/15?
True
Let c be -1 + 1 - (-140)/3010. Let v = -0.06 + -0.64. Is c at most as big as v?
False
Let h = -193 - 836. Does h = -1030?
False
Let v = 14336 + -129022/9. Which is greater: 24 