
Let w(k) = -19*k + 80. Let x be w(-10). Let v be (16/(-18) - 30/x)*1. Do v and -6/5 have the same value?
False
Let t = -8099.441 - -8108. Let z = 0.559 - t. Are -2/41 and z non-equal?
True
Suppose 0 = 5*t - 5*w - 35, 4*t - 24*w - 20 = -22*w. Suppose -t*k + 112 - 352 = 0. Suppose 4*v + 77 = -239. Is v bigger than k?
True
Let l = -1896/17 - -146417/1309. Let r = l - -2/231. Let f(u) = -u**3 - 4*u**2 + 7*u. Let h be f(-5). Do r and h have the same value?
False
Let w = 7385 - 5886. Does w = 1501?
False
Let u = -9628 + 9566. Do -62 and u have the same value?
True
Let a be 285*(-20)/(-39) + ((-164)/52 - -3). Is a less than 177?
True
Let x = -0.41 - -46.41. Let b = -45.73 + x. Let k = b - 0.27. Which is smaller: k or 0.17?
k
Let k(i) = 2*i**3 - i. Let m be k(-1). Let v = 515/4288 + -7/67. Which is greater: v or m?
v
Let p(h) = -h**2 - 19*h - 49. Let s be p(-16). Let j be -3 - (-563 - (s + -1 + 1)). Let d be -15 + 18 - (-2 - j/(-112)). Is 1 > d?
True
Let o(b) = -19*b - 20. Let s be o(3). Let j = s - -73. Let t be (0 + j)*1 - (0 - 17). Are t and 14 non-equal?
True
Let r = 246 - 217. Suppose -5*k + 61 + r = 0. Which is bigger: k or 17?
k
Let i = 11324 + -11318.85. Which is smaller: -5/6 or i?
-5/6
Let a = 374 + -386. Let y be (-15)/140*a/18. Is y < -1?
False
Let n = 50638 + -658588/13. Let i be (-16)/20*60/2. Is i at least as big as n?
False
Let m(z) = 16*z - 21. Let a be (-56)/(-12) + 4/12. Let y be m(a). Let r be y/2 - (-8)/16. Are r and 30 nonequal?
False
Let y be -295 + -15 - 13 - 1. Is y bigger than -319?
False
Let q = 12734 - 12184. Is 558 greater than q?
True
Suppose -4*n = -2*k - 20, -4*k = -3*n - 7*k - 3. Suppose -n*u - u - 2*m = -104, u = m + 32. Which is greater: u or 36?
36
Let b = -2566.9 + 2566.6. Which is greater: b or -242?
b
Let d be 17/2*(-1 - -73). Which is smaller: 616 or d?
d
Let x = -663 + 740. Let c = -139 + x. Which is bigger: -3/4 or c?
-3/4
Suppose -3*m + 5 = 2*r - 11, -2*m = -r - 6. Let y be 282/142 + m + -6. Which is smaller: 3 or y?
y
Let h = -11 - -11. Suppose -2*l + 15 = 3*l - a, h = -4*l + 5*a + 33. Suppose -6*c + l*c - 12 = 0. Which is smaller: c or -1?
c
Let g be 9392/40 - 2/(-1). Let f = 272 - g. Which is smaller: f or 34?
34
Let b be 210/36 + (-1)/(-6). Suppose -4*c - 3*i = -b, 3*c = 5*i - i - 8. Which is greater: c or 2/177?
2/177
Suppose -3*x - 2 - 13 = 0. Suppose n = -h + 3*n - 5, -5*h = 5*n + 25. Is x at least as big as h?
True
Let p be 2/(-4) + (-203)/(-546). Suppose 2*m + 0*m - 3*m = 0. Does m = p?
False
Suppose 0 = -25*a + 5493 + 8207. Which is greater: 546 or a?
a
Let p = -341.122 + 341. Let u = p - 19.878. Which is smaller: u or 4?
u
Let a = 310 + -297. Let b be (-1474)/(-112) - (-31)/((-3255)/30). Is a at least b?
True
Let p be 1 + 1 + (-13 - (-8028)/729). Is p bigger than 6/7?
False
Let d = 41 + -30. Let g = 14 - 25. Let l = g + d. Are l and 1/9 unequal?
True
Suppose -211*a + 5958865 - 1059656 = 0. Do 23219 and a have the same value?
True
Let c = -10714.1 - -10715. Which is greater: 881 or c?
881
Let a = 5089/30 - 1673/10. Let k = 0.1 - -0.1. Let y = k + -0.1. Is y >= a?
False
Let g(c) = -19*c**2 + 15*c - 255. Let w be g(9). Is w greater than -1659?
False
Suppose -v + 10 = v. Suppose 37 = -q - 5*h + 1, v*q = -5*h - 120. Suppose 210 = 253*i - 263*i. Are q and i equal?
True
Suppose 7*i - 12*i - 223 = w, i + 47 = -w. Which is bigger: i or 3?
3
Suppose 6*s - 660 = 104*s + 418. Which is smaller: s or -252/23?
s
Let u be (-8)/10 - (-4)/5. Suppose u = t - 8 + 6, 0 = 2*r - 3*t + 8. Do 3/52 and r have the same value?
False
Let w = 61.02 + -62. Let p = w - -0.58. Let z = 0.4 + p. Which is smaller: z or 7?
z
Let j = 12/1507 + 24128/755007. Which is smaller: -1 or j?
-1
Let k be -3*((-98)/(-21) + -6). Let h(z) = z**3 - 6*z**2 + 4*z + 15. Let q be h(k). Do 24 and q have the same value?
False
Let o = 76 - 36. Let m be 1206/o - (-12 + 13). Let i = 152/5 - m. Is 1 < i?
True
Let b be (-6)/(-24) + 2/(-8)*373. Let x = b - -3625/39. Is x equal to -1/11?
False
Let i = -6385 - -7340. Which is smaller: i or 954?
954
Let d be 5 - ((-112)/(-98))/(9/(-21)). Are d and 1.4 equal?
False
Let g be ((-1642)/(-15))/(12/75). Let n = g - 686. Let u = 25 + -28. Which is greater: n or u?
n
Suppose -2*u - l = -7*u + 17, -2*u + 2*l + 10 = 0. Which is bigger: 149/56 or u?
u
Let d be -7 + (-23)/((-133354)/40584). Let c = 318881/26091 - d. Which is smaller: 13 or c?
c
Let k = 745 - 746. Let c = -9 - -5. Let q = -23 - c. Is q smaller than k?
True
Let l = 807.158 + -732.5. Let y = l + 0.342. Is y greater than or equal to 0.1?
True
Let x(a) = 2*a**2 + 61*a + 13. Let i be x(8). Are i and 631 nonequal?
True
Let s be 18655/13530 + 3/(-2). Let d(z) = z. Let k be d(4). Suppose -2*g - f - 1 = 5, k*f = 5*g - 11. Which is smaller: s or g?
g
Let q = -26708 + 27031. Which is greater: q or 281?
q
Let r = -3073/8 - -384. Let h = 0.59 + 0.41. Do r and h have different values?
True
Let q = -220.259 + 220. Let r = -0.089 - q. Which is greater: -1.1 or r?
r
Suppose -25*m - 14336 = -18*m. Let p = m - -79867/39. Which is greater: p or -1?
p
Let z = 12.29 - 0.29. Suppose 135 = 4*v + 119. Suppose 3*c + 5*h + 14 = -9, 11 = 5*c - v*h. Which is bigger: z or c?
z
Suppose -4*i + 0*i - 2*k + 44 = 0, i + 3*k = 21. Suppose 0 = -47*h + 41*h - 54. Let b = h + i. Is 4/11 > b?
True
Let r = -20.3 - -19.5. Let z = 0.7 + r. Which is greater: z or -0.003?
-0.003
Let y = 7163 + -114503/16. Is 8 at most y?
False
Let n be (-18155)/80 + (-6 - -2). Suppose -3*k - 704 = -11. Let l = k - n. Which is greater: -1 or l?
l
Let q = 1155.1 + -1155. Is q greater than or equal to -1.2?
True
Let b be (-2 - (-5 + -6))/((-3075)/(-10)). Let a = 1308/2665 - b. Which is bigger: 0 or a?
a
Let d(n) = -27*n**2 + 26*n - 4. Let z be d(-8). Let p be (-5)/(105/6) + z/(-28). Suppose j - p = -2*j. Is j at most 0?
False
Let m = -22778 + 23348. Which is smaller: m or 2846/5?
2846/5
Let u(g) = 35*g - 843. Let v be u(55). Which is bigger: v or 1083?
1083
Suppose -23*m = 8*m. Is m > -4/1965?
True
Let r be ((-5)/(-25) - (-2171)/(-3255)) + 17/51. Which is smaller: 0 or r?
r
Let w be (-16)/(-6)*111/(-1628). Let n = -30.1 + 29. Let z = 3.1 + n. Which is smaller: z or w?
w
Let z = 9801 + -8021. Is 1777 smaller than z?
True
Suppose 5*s - 36 = h - 6, -2*s = h - 5. Suppose 3*r - 15 = -x, s*x - 55 = r + 4*r. Which is bigger: 23/2 or x?
x
Let p = -20712 - -124805/6. Is 88 less than or equal to p?
True
Let m = 942 - -810. Suppose 3*z = 5*y + m, z + 19*y - 576 = 18*y. Which is bigger: z or 580?
580
Let j = -272182.324 + 272182. Let u be 6/(-10) + 0 + 1. Which is smaller: j or u?
j
Suppose -426 = 2*l + 4*k, -4*k = 12 + 8. Let v = l + 819/4. Which is greater: 1 or v?
v
Let m(p) = p**2 - 124*p - 4992. Let j be m(156). Which is greater: 17/205 or j?
17/205
Let d(s) = -36*s**2 - 118*s + 782. Let c be d(6). Is c >= -1222?
True
Let f be 74/629 + (-1702)/13889. Let d = f - -145446/4085. Which is smaller: 35 or d?
35
Let z = 193 + -168. Suppose z*w = 20*w - 90. Which is smaller: w or -6?
w
Let v = 6281 - 6308. Do v and 5.1 have different values?
True
Let a = 0.013 + -0.363. Let h = -0.85 - a. Which is bigger: -16/5 or h?
h
Let u(c) = -c - 129. Let k be u(-19). Which is greater: -111 or k?
k
Suppose -3*v + 102 = -51. Suppose 5*f - 20 = 0, -78 + 887 = 3*y - f. Let c = y + -219. Is v at most c?
True
Let p = -0.027 - -24.027. Let q = p + -8. Let b = q + -15.9. Are b and -1/8 nonequal?
True
Let r be 5 - -4 - 20/5. Let k be (-8)/r*15/6. Is -8/3 equal to k?
False
Let p = 130530/11 - 11868. Let y = 7 + -6.7. Which is greater: p or y?
y
Let l be (-534)/110 - 10/(-10 - -8). Suppose -9*w + 12*w = 17*w. Which is smaller: w or l?
w
Suppose 14*u = 27 + 15. Suppose -4*c + 0*h = u*h - 363, 4*c = -2*h + 362. Is c greater than 90?
False
Let r be (-4)/(-12)*-175*(-6438)/74. Are 5075 and r unequal?
False
Suppose 5*p - h = 1, 214*p - 21 = 211*p + 4*h. Is p smaller than 16/1639?
True
Suppose -11*y - 3 = 19. Let t(m) = m**3 + 7*m**2 + 4*m - 5. Let z be t(-6). Let o be (-9)/(9/(-12)*y/z). Is -0.1 at least as big as o?
True
Suppose 0 = -316*x + 312*x. Which is greater: x or -3/223?
x
Let l = 14.4 + -10.3. Let n = 0.1 - l. Let s = -5549 + 5549.2. Does n = s?
False
Let b be 1/(-4) + 61/4. Let c be b/(-12)*(-2)/(-10). Let s = -94/13681 - 54066/95767. Is s less th