0*m - 9*m + 616 = 7*m. Is k != m?
True
Let h be (37366/38)/((-1)/1). Suppose 0 = -2241*n + 2229*n - 11796. Let j = n - h. Is 1 equal to j?
False
Suppose -170 = u - 3*u. Let h be (99/8448*928)/(((-2)/(-16))/1). Is h greater than u?
True
Suppose 4*m - 25*l = -28*l + 4913, 4*l = 3*m - 3716. Is 1227 != m?
True
Suppose -4888*z + 4886*z = 16. Which is smaller: z or 51?
z
Let f be (24/(-21))/((-56)/(-2548)). Let n be 2/(-4)*(1 - 1). Suppose -3*p - 159 = -u, -3*u + n*u + 106 = -2*p. Do f and p have the same value?
False
Suppose 141*z = -81 + 222. Is 1/2685 at most as big as z?
True
Let t(x) = 8*x + 6*x - 24 + 50. Let d be t(-2). Which is bigger: 2/33 or d?
2/33
Let d(t) = -4*t - 16. Let u be d(-4). Suppose -4*m = -u*m - 56. Let h be 28/(-13) + m/91. Is 0 >= h?
True
Let m(k) = -7*k - 9. Let i be m(-6). Let b = 35 - i. Suppose -21*y = -23*y + b. Which is greater: 14/13 or y?
14/13
Suppose -4*u + 2*i + 6 = 0, -3*u + 0*i + i + 3 = 0. Suppose 0 = -2*w + 8, 0 = -5*y - w - u*w - 301. Which is smaller: -59 or y?
y
Let v = 587 + -382. Suppose -207*k + v*k = -12. Let o be 9/k*-4*(-1)/6. Which is bigger: o or 2/9?
o
Let s be (36 - (-4539)/(-119))*(2 + 2/3). Suppose 3*x = 3*i + 4*x + 22, 0 = -2*i + 5*x + 8. Is s less than or equal to i?
False
Let m = -55 + 52. Let u be m/(-6) + 12/(-8). Let z = -7/1705 - 3/341. Which is greater: u or z?
z
Let f = -303 + 610. Let j = f + -314. Is j equal to 2.5?
False
Let i = -0.23 - -18.23. Let n be 0 - (3393/(-36))/(-13) - -7. Is n > i?
False
Let b = -482.3271 + -0.6729. Is -1 > b?
True
Let h be 4 + 2*2/(-12). Let f(z) = -10*z + 2. Let u be f(-1). Suppose -7*l = -u*l - 15, -2*l - 16 = -2*v. Do h and v have different values?
True
Let b = -44 + 66. Let w = b - 7. Let k = w - 14.7. Which is smaller: -0.04 or k?
-0.04
Suppose -15*o = 10*o - 550. Let g = 26389/1182 - -3/394. Is g bigger than o?
True
Let u = -6734439/4581683 + -1/55201. Is u equal to 0?
False
Suppose 76 - 61 = 5*h. Let l be (h + -2)/(1/103). Is l bigger than 107?
False
Let y be 40556/(-130) + 60/(-1950). Which is greater: -2813/9 or y?
y
Suppose 0 = -2*n + n - v - 3, -2*n = -v - 6. Let u be ((-111)/259 - 20/(-56)) + 4/(-56). Which is bigger: u or n?
n
Let i(t) = 8*t + 44. Let r be i(-13). Let g = r - -58. Let v(n) = -n**2 + 4. Let w be v(g). Which is bigger: w or 2/69?
2/69
Let c = 85181/1026961 + -9/5213. Do c and 1 have the same value?
False
Let f = 0.306 - -21.694. Let a be (-68)/119 - 1/(-14). Which is smaller: f or a?
a
Suppose 16*i - 285 = 13*i. Let j = 41 - i. Are -54 and j non-equal?
False
Let c = -2415.039 - -2520. Let h = 105 - c. Is h bigger than 0.1?
False
Let o = 1751 - 1751. Is -6/7 > o?
False
Suppose t - 136 = -37. Let q(n) = n**3 + 12*n**2 - 30*n - 262. Let b be q(-12). Which is greater: b or t?
t
Let a be 20/(-60) - (-19)/3. Suppose 33 = 5*o - 4*s, -2*o - s = -a*s - 20. Suppose 4*d + o*r + 120 = 0, 5*d + r = 2*d - 79. Is -26 at most d?
True
Let u = 82/3 - 21. Let l = 260 - 251. Let b be (1 + l)*((-6)/(-10))/1. Is b equal to u?
False
Suppose 4*k + 0*o = -3*o + 1, -2*k - 2*o = 2. Suppose -3*j + 185 = 5*y + j, -148 = -k*y + 5*j. Suppose -44 = -r + 3*g + 2*g, -4*g + y = 3*r. Is -0.1 at least r?
False
Suppose z = -2*z - 9. Let f be (80/z - 5)*-3. Suppose -f = 4*o - 3*n, 3*o + 2*n - 5*n = -75. Is o at most as big as -22?
False
Suppose 0 = -16*l + 35*l + 63*l + 842222. Which is smaller: l or -10270?
l
Suppose 4*g - 4525 = -42*y + 45*y, 0 = -5*y - 2*g - 7507. Does -1503 = y?
True
Let g(t) = -5*t**2 - t. Let b be g(2). Let l(s) = -35*s + 49*s + 17 - 10*s. Let y be l(-10). Are b and y equal?
False
Let p(l) = -l**3 + 32*l + 12. Let t be p(-6). Suppose -t*o + 1364 = 212. Let x be ((2 - 3)/(-1))/4. Is x greater than or equal to o?
False
Let z = -1302.218 - 1.782. Which is bigger: z or 2?
2
Let c be 12 - (24 + -3 + -8). Is c equal to 2/853?
False
Let d be (6 - 5)*(2 + -3). Let k be (-34)/306 - d/9. Is 4/57 less than or equal to k?
False
Let l(r) = 13*r**3 - 2*r**2 + 1. Let p be l(1). Let x be (16/p)/(-2 - (-8)/3). Let t be (-2 + x)*6/(-16 + -2). Is 44 at least as big as t?
True
Let i be (-1 - (-1)/2) + 553/158. Let g be (10/i)/((-96)/1296). Suppose 8*o + 535 = 191. Is g at most o?
True
Let s = 27 - 133/5. Let m = 7.9 - 40.9. Let u = m + 33. Is s at most u?
False
Let j(d) be the third derivative of -d**5/60 - 13*d**4/24 - 7*d**3/3 - 223*d**2. Let f be j(-14). Is -26 bigger than f?
True
Let q = 460 + -674. Let k = -213.937 - q. Which is bigger: k or -2/3?
k
Suppose 3*b + 5*a = 7*a + 438, 0 = 3*b + 4*a - 456. Let z = 41 - b. Let r = z + 111. Which is smaller: r or 13?
r
Suppose 2 = -3*a + q, -3*a + 87*q = 82*q - 2. Are -76 and a non-equal?
True
Let m = -6420/11 + 5848653/10021. Which is greater: m or 0?
m
Let b be (-2)/(-10) - 144478/288840. Let s = 18/83 + b. Let t = 1.3 + -0.3. Does t = s?
False
Let o = -5 + -3. Let v = o - -8.2. Let g be (-15)/(-10) + 68/(-24) + 1. Is v at least g?
True
Suppose -452*x = 104*x - 51708. Let d = -0.3 - -0.4. Which is smaller: x or d?
d
Suppose -62919*k = -62929*k + 30. Let c(w) = w**3 + 6*w**2 - 7*w + 3. Let b be c(-7). Suppose -k*r - 3*r = b*r. Is r < 6/17?
True
Suppose 19 = 4*v + 2*h - 13, 5*h = 0. Suppose 15 + 537 = -v*a. Is -69 at most a?
True
Let u be (-10)/(-5)*(11 - 15). Is u <= -102/13?
True
Let m be -1786 + -2 - (-55 + 43). Which is smaller: m or -1775?
m
Let o be (-2)/(-4) - (-10)/(-4)*(-4)/20. Is o at least 58/155?
True
Let w be (-2871)/(-7722) + (90/4)/(-5). Which is bigger: -3 or w?
-3
Let h = -3.56 - 310.44. Let y = h + 539. Which is smaller: y or 0.1?
0.1
Let o(t) = -t**3 + 9*t**2 + t + 9. Let j be o(9). Suppose 8 = -j*k + 22*k. Suppose u = 2*z - 0 + 9, k*u - 19 = 5*z. Is 33/4 at least as big as u?
True
Let n be (-6)/(-1)*(-42)/(-84). Let j be n/(-2)*(53 + -43). Is j greater than or equal to -258/17?
True
Let s be 15/(-6)*(-42)/(-3). Let m = s + 17. Suppose 5*h - 2*u + 20 = 3*u, h - 2*u = -10. Which is greater: h or m?
h
Suppose -6*w + 514 + 728 = 0. Suppose 2577 = 14*g - 335. Which is smaller: w or g?
w
Let h(t) = -t + 1. Let x be h(6). Let b be (-1)/(-4) - x/(-4). Let q be 3/12*1/((-102)/(-48)). Is b equal to q?
False
Let r = -664/7 + 5822/63. Let o = 172/63 + r. Which is smaller: o or -31?
-31
Let m be ((-8)/10)/(2/(-10)). Suppose -29*u + 1070 = -960. Suppose -u = -5*q + 2*o, -m*q + o = -3*o - 56. Is 12 less than q?
True
Suppose -5*g + 5 = 0, 0 = y + 4*g + 7 - 14. Suppose -s = y*n - 170, -2*s + 5*n - 130 + 470 = 0. Is 170 at least as big as s?
True
Let s = 2911 - 2354. Which is greater: s or 558?
558
Let b be -3 + 3/(-2) + -9*(-175)/(-150). Which is smaller: b or -8?
b
Suppose 5*k = -49 + 19. Suppose -5*b + 10 = 0, 8*i = 3*i + 3*b - 31. Let g be i*2 - (-4 + -2 + 3). Which is smaller: g or k?
g
Let m be 684*-1*34/51*16/(-6). Which is smaller: m or 1225?
m
Let b(q) = -2*q**2 + 6*q - 5. Let f be b(3). Let h be 4 + (-20)/f - 1. Let l be 1/(28/36) - 2/h. Is -1/12 > l?
False
Suppose 4*r + 8 = -4*j, -16 = -0*r - 4*r + 2*j. Let b be (-10)/((2/(-51))/(r/3)). Which is smaller: b or 169?
169
Let t be 11/99 - (-623196)/162. Is t at least as big as 3848?
False
Suppose -55*o + 346 - 456 = 0. Which is greater: o or -970?
o
Let l(r) be the second derivative of 4*r**3/3 + 3*r**2 + 5*r. Let y be l(-5). Let b = 1915/2 + -957. Is b smaller than y?
False
Suppose -85 = -u - 3*g, 2*g + 93 - 483 = -4*u. Let i = -88 + u. Let q(h) = 6*h - 36. Let b be q(i). Is b > 35?
True
Let x = 18.55 + 5.25. Let m = x + -28.22. Is m > -1/2?
False
Let g = 151 - 208.8. Let u = g + 58. Which is smaller: -29/4 or u?
-29/4
Suppose -725*m = -728*m + 3951. Is 1318 > m?
True
Suppose -13*q + 575 = -1063. Let i = -111 + q. Are i and 12 equal?
False
Let v = -243 + 162. Let y = 132 + v. Let c = y + -49.4. Which is smaller: -1 or c?
-1
Let k = -1.98 + 46.98. Let f = 31 - k. Which is smaller: f or -3?
f
Suppose 84*d - 30*d - 588 = 42*d. Let b be (-20)/90 + 2200/18. Let l = b - 72. Which is greater: l or d?
l
Let x be -10 - (912/12 - (-12 - -3)). Is -141 equal to x?
False
Let p = 2229307804231/855 - 2607384420. Let g = p + 129978/19. Let k = g + 337/9. Which is smaller: k or 6?
6
Suppose 2*l + 0*l = 2*r - 222, 0 = 3*l - r + 327. Let o be 0 + (-63)/(-13) - l/702. Let q be (2364/(-105))/(-4) - 1/o. Is 4 greater than or equal to q?
False
Let q(y) = -2*y**2 + y + 5. Let