e 0 and j non-equal?
True
Let t = 178609/7 - 25515. Let w = -1 + 3. Let n = w + -1. Which is bigger: t or n?
n
Let u be 1197110/(-1850) - 0/1. Let v = -3233/5 - u. Do 0 and v have different values?
True
Let z be 8 - (-3 + 204/18). Is 607/9 equal to z?
False
Let u = 124 + -123.895. Let g = 5.605 - u. Which is bigger: 2 or g?
g
Let i = 4306 - 4343. Which is smaller: 5 or i?
i
Let i be (-2)/4 - ((-134)/4 - 0). Let p = 33 - i. Suppose 2*x + 10*d + 115 = 5*d, p = 3*x - 2*d + 125. Is -44 at least as big as x?
True
Let c = 1842 + -5526. Let y = c + 976262/265. Which is greater: y or -0.1?
y
Suppose 0 = 4*z - 3*c - 84, -4 = -3*z + 5*c + 70. Suppose -53 = z*s - 71. Is s bigger than 24?
False
Suppose -13*k = -8*k + 2175. Let p(x) = -2*x**2 + 4*x + 2. Let z be p(-2). Let o be k/1155 - 4/z. Is o < -1?
False
Suppose 67*o - 2*r = 72*o + 19, 5*o + 4*r = -33. Is -3/35 >= o?
True
Let s = -6064 - -6134. Is 78 equal to s?
False
Suppose 5*n + 165 = -5*l, 0 = -l + 5*l - 4*n + 140. Suppose -36 = v + 1. Is l less than v?
False
Let v(i) = -3*i - 6 - 2 + 28 + 4 + 14. Let k be v(-17). Which is greater: k or 90?
90
Let g = 844.7934 - -0.7066. Which is greater: g or -1/2?
g
Let b = 25646.99 - 25647. Which is greater: b or 771?
771
Let z(y) = y**2 + 8*y - 60. Let q be z(-14). Suppose -3*i = -3*v + q - 42, 4*i - 22 = 2*v. Which is smaller: -21/25 or v?
v
Let k be (-888)/(-4440) - 16322/(-10)*-1. Which is bigger: k or -1634?
k
Let i be (-4)/2 - -213*(-14)/75. Let j = 1314446/31475 + i. Which is smaller: 1 or j?
j
Suppose 0 = -3*k - 5*o + 140, 4*k + 3*o - 198 = 2*o. Let w = k + -46. Suppose -16*i = -13*i - 12. Is i less than w?
False
Suppose -81*i + 6826 = -28652. Which is greater: 439 or i?
439
Let f(n) = n**2 + 32*n - 420. Let r be f(10). Is r not equal to -1/1313?
True
Let r = 0.116 + -147.116. Let l = -179 - r. Let u = -0.5 - -0.5. Which is smaller: l or u?
l
Suppose 3*k = -4*j + 6463, k + 517 = 2*j + 2688. Is 2162 at least as big as k?
True
Let u be ((-4)/(-13))/((-546)/(-1183)). Is 222 smaller than u?
False
Let o = -928 + 927. Let w = -3822 - -401014/105. Let t = w - -38/15. Is t < o?
False
Let k(r) = 49*r - 272. Let i(w) = 1003*w - 5576. Let y(g) = -5*i(g) + 102*k(g). Let o be y(8). Is o at least 2/303?
False
Let w = -462739/68 + 6805. Is w < 3/19?
True
Let q(h) = -h**3 - 58*h**2 + 3*h - 29. Let r be q(-60). Is r not equal to 6992?
True
Let k be 16*(3/6)/1. Let s be 24/k + -9 + 3. Is s != 0.5?
True
Let m be (2/(-16))/(43/(-1032)). Is -62/117 at most m?
True
Let h = -17/33 + 13/11. Let o = -75509/29 - -2604. Is o at least as big as h?
False
Let t = -116 + 193. Let f(i) = 3*i**2 + 11*i - 4. Let a be f(-4). Which is smaller: t or a?
a
Let z = 138 - 266. Let u = z + 127. Which is greater: -19 or u?
u
Let y be 2/4*3*(-10)/(-785). Which is smaller: y or 3?
y
Let s be -2 + -9*(5 - 1000/12). Suppose -50*h + 65*h - 10560 = 0. Do s and h have the same value?
False
Let b = 0.071 - -0.129. Which is smaller: -0.1015 or b?
-0.1015
Let y(h) = -2*h**3 + 4*h**2 - 44*h + 159. Let k be y(4). Which is greater: k or -68?
-68
Let o = 855 + -844.29. Let x = o - 10.6. Is 4 at least x?
True
Let d be 16/(-12)*(-8601080)/3010. Let w = d - 3810. Which is smaller: w or -1?
-1
Let t = -1767 - -302. Let w be t/25*(-30)/36. Which is smaller: 50 or w?
w
Let d = -339 - -524. Let b be (2/6)/(-3 + d/60). Suppose 7 + 3 = 5*u, 3*j + b = 2*u. Which is bigger: j or -4/5?
j
Suppose -8*k + 2006 = -31 - 2523. Which is bigger: 571 or k?
571
Let f = -868/13 + 2617/39. Which is smaller: 1291 or f?
f
Suppose -s = 4*h - 237 - 156, 3*h - 286 = s. Is h less than -9?
False
Let d = 315.972 - 316.37. Is d at least as big as 8?
False
Let c = 398 + -571. Let i = -173 - c. Which is greater: i or -2/555?
i
Let v = -1253160/7 - -179022. Let n = -3 - -2.8. Let i = n - -0.1. Are v and i equal?
False
Let g(j) = -j - 12. Suppose 0 = 3*h + h + 36. Let i be g(h). Let z = -1255 - -1250. Is i at least as big as z?
True
Let q(h) = -234*h + 3280. Let d be q(17). Do d and -700 have different values?
True
Suppose -2 = 2*b + 98. Suppose t - 7 = 0, -640*o - 218 = -636*o - 2*t. Is o not equal to b?
True
Suppose 4*o + i - 124 = 5*i, o - 43 = -5*i. Suppose -o = 5*r - 13. Are -54/17 and r unequal?
True
Let f be (-18344)/(-35) - 4/(196/35). Which is smaller: 523 or f?
523
Suppose -1419*d = -1434*d. Which is greater: d or -11/4?
d
Let u be 1340/(-14) - (-2)/(-7). Let y = u + 115. Which is greater: 94/5 or y?
y
Let u be (1 + (-60)/58)/(13 - 6). Let z = 1114 + -1113. Do u and z have different values?
True
Let a be 46/(-10) - (-2)/(-5). Let f be a/60*(-32)/(-6). Is f bigger than -12/7?
True
Suppose -r = 236 - 25. Let d = r + 212. Which is greater: 20 or d?
20
Let u = 2084799/1337300 + -2349/1244. Let z = 3/25 + u. Let n = z + 346/215. Which is smaller: 0.1 or n?
0.1
Suppose -5*n - 16005 = 5*g, 3*n + 12811 = -n + 3*g. Is -3204 at most n?
True
Suppose 0 = 13*u - 16*u - 4*m - 1692, 4*u - 5*m = -2318. Are u and -572 equal?
True
Suppose -11*l + 7*l - 108 = 0. Let z = 1 - -31. Suppose -5*u - 4*k - 144 = 0, -k + z = -u - 5*k. Which is greater: u or l?
l
Let t(c) = 11*c**3 + 3*c**2 + 43*c - 426. Let u be t(6). Is u greater than or equal to 2315?
True
Suppose -y + 2*y = 5*p - 28, 2*p = 10. Let v(h) = 4*h - 17. Let d(u) = -3*u + 16. Let b(a) = y*d(a) - 2*v(a). Let i be b(7). Is i < -2/3?
True
Let p = -554 - -558. Suppose -139 = -5*m - p*c + 251, 54 = m - 4*c. Which is bigger: 70 or m?
m
Let b = -0.044 - -1.444. Which is bigger: b or 79?
79
Let m = 13.2 + -13.1. Let w = -0.5 + 0.71. Is w greater than or equal to m?
True
Let d be (((-30)/21 + 2)*406/58)/5. Is -287 equal to d?
False
Let k = 834 + -810. Let d(t) = -t**3 + 25*t**2 - 17*t + 20. Let g be d(k). Which is greater: g or 186?
g
Let j = -96/1825 - -383134/7352925. Which is bigger: j or -1?
j
Suppose 5*q = 5*l + 2705, 4*l + 4*q = 5*q - 2158. Let y = 521 + l. Is y < -16?
True
Let q = -3603 - -3603. Is q smaller than 2/433?
True
Let k = -9129 - -8862. Is 0.2 < k?
False
Let n be (1 - (-4 - -6))/((-225)/(-6)). Suppose l + l - 24 = 0. Let f be 2/6 - l/9. Is n < f?
False
Let g = -300 - -62. Let h = -1189/5 - g. Which is greater: h or 0?
h
Let v(g) = -g**3 + 12*g**2 - 15*g + 46. Let w be v(11). Suppose 0 = -6*a + w*a - 2*x, 4*a = 3*x. Are a and -3 equal?
False
Let j = -148 + 211. Let d = 0.4 - -1.6. Is d bigger than j?
False
Let f(j) = -7*j**2 - 3*j - 7. Let d be f(-2). Let a = 63 + -93. Let p = a - d. Is 1/77 at least p?
True
Let s = -5312 - -4928. Is -383 equal to s?
False
Let f = 924 - 600. Let a be (-700)/22 + (f/(-198))/9. Let m = -17 + -16. Which is bigger: m or a?
a
Suppose 6*x - 4*x = w - 5045, -2*w + 10146 = 4*x. Which is greater: w or 5061?
5061
Let h = -10592 - -201090/19. Which is smaller: -9 or h?
-9
Suppose -2*h = -u + 13, -4*u - 4*h + 0*h = 8. Suppose -u*j + 3 = -12. Suppose j*q - 4 = q. Which is greater: 12/7 or q?
12/7
Let i = -0.04362 + -0.05638. Let o = 15 - 188. Do i and o have different values?
True
Let v = 88 - 84. Let f be (2 + (v - 6))/(-2). Which is smaller: -3/17 or f?
-3/17
Let x(p) = -p**3 - 11*p**2 - 35*p + 4. Let v be x(-6). Suppose b - 4*b = 4*i - 193, i - v = 4*b. Which is greater: i or -1?
i
Let r be 6/10 + ((-2)/(-29720))/((-72)/641808). Which is smaller: r or 0?
0
Let u = 3/15127 - -9616/27788299. Which is bigger: u or -1?
u
Suppose 5*m + 0*m = -2*m - 511. Which is smaller: m or -72?
m
Suppose -289*k + 11 + 196 = -82*k. Do -17/210 and k have the same value?
False
Suppose -3479 = b - 4*h, 33*b - 3*h = 32*b - 3481. Do -3487 and b have different values?
False
Let q = -8077 - -13127. Is 1 not equal to q?
True
Let h(a) = a**2 + 6*a. Let p be h(-6). Let l = 85655568/35 - 2446359. Let r = l + -943. Is p less than r?
False
Let m = -1014037/4 - -5283269/20. Let g = m - 10560. Which is smaller: g or 94?
94
Suppose 18*t - 2*y = 21*t + 15, y - 17 = 2*t. Which is smaller: -156/19 or t?
-156/19
Suppose 4*p - 12 = -0*p. Suppose p*q + 4*r - 5 = 0, -5*r + 5 = 4*q - 2. Let x be (8 + -4)*((-9)/6 - -2). Which is smaller: q or x?
x
Let y(s) = 4*s**3 - 2*s**2 - 9*s - 5. Let t be y(-3). Let k = 125 + t. Does k = 5?
False
Let c = -3973 + -25415. Let o be ((-44)/(-55))/(c/30). Which is greater: 0 or o?
0
Let d = -98.7 - -91. Let f = d + 8. Let j = 7372 - 7372.01. Which is bigger: j or f?
f
Let v(