Let n = 1317602 + -72287598528/54863. Which is smaller: n or 0?
n
Let t = 2809 + -2835. Which is smaller: t or 22?
t
Let b = -7/997 - -11027/150547. Which is bigger: b or 1?
1
Suppose -4*x + 2500 = 4*p, 0 = -5*x + 73*p - 75*p + 3116. Which is smaller: x or 623?
x
Let d = 10259155/261 - 39307. Do d and 1 have the same value?
False
Let f = 291.1 + -308. Let t = f - -15.9. Is t at most -1/216?
True
Let b be (-2)/(6/(3 + (-110)/30)). Are -323 and b unequal?
True
Let q be (-2)/5 + (-46)/(-65). Let x be (-1)/(-7)*12*(-7)/(-2). Suppose -6*g + 3*g - 12 = -5*o, -2*o + x = 0. Is q greater than g?
False
Let n = -146.34 - -144. Let c = n - -2.39. Is c at least as big as -4?
True
Let a = 581.761 - -1.239. Let p = a + -582.8. Which is smaller: p or -0.026?
-0.026
Let r be (0/1)/(-3 - (2 - 3)). Suppose 0 = 5*v - 28 - 52. Let n be (-2)/6*v/4. Is r not equal to n?
True
Let m = -182.526 - -2.526. Which is smaller: -15 or m?
m
Let k = -0.08 - -0.18. Let x = -55/7 + 1189/154. Are k and x equal?
False
Suppose 0*s - o + 2 = -s, s + 2 = -3*o. Let f be (-7 + 7)*s/4. Let y = 277/42 - 31/6. Which is smaller: y or f?
f
Let i be (206/(-2))/(2 + -1). Let r = 31 - 141. Let v = -212 - r. Which is smaller: v or i?
i
Let o be 109/4 + (-4 - -6) + -5. Let p = o - 2815/116. Are p and 1 nonequal?
True
Let h be (-3 - 1 - -967) + -16. Which is smaller: h or 4734/5?
4734/5
Suppose 12*j + 30739 + 23399 = -30*j. Does j = -1289?
True
Suppose -4*j + 114 + 76 = -3*u, 3*u = j - 187. Let c be -2 + (-62 - 1/1). Which is bigger: u or c?
u
Suppose 146*q - 4 = 147*q + s, -2*q - 5*s = 20. Is 6/149 >= q?
True
Let c = 2/3371 - -57295/20226. Is c at most as big as -0.089?
False
Let y = -7876 - -70886/9. Which is greater: y or -1027?
y
Let k = -95 + 127. Let n be 0 + 172/k + -6. Do -2 and n have the same value?
False
Let p(v) = -v**3 - 10*v**2 - 6*v - 9. Let u be p(-10). Suppose -g + 18*g - u = 0. Which is bigger: 6/23 or g?
g
Suppose -77*h + 79*h = 14. Suppose h*l = -254 + 58. Which is smaller: l or -35?
-35
Let t = 1409 - 9862/7. Let j = 0.19 + 0.21. Let f = j + -0.1. Which is bigger: t or f?
f
Suppose -5*m = -3*t + t - 5, 2*t + 1 = m. Let u be ((-216)/(-882))/(m/14). Which is bigger: -3/2 or u?
u
Let i = 169.4 + 1.6. Let s = i - 172. Which is greater: 0.77 or s?
0.77
Let a = 59719/9 + -6644. Which is smaller: a or -9?
-9
Let h = -512 + 529. Let r be (-3)/2*2 - -14. Is r at most as big as h?
True
Let n(a) = -a**3 - 9*a**2 - 7*a + 3. Let s be n(-8). Let u be (s/(-25))/(4/(-20)). Let b = 278 + -6115/22. Which is smaller: u or b?
u
Suppose 12 = 26*k - 22*k. Let u be 15*(-335)/(-1665) - k. Is u > 1?
False
Suppose -4*o - 259 = -y, 446 + 864 = 5*y - 5*o. Which is smaller: y or 265?
y
Let i = -6165 - -8684. Is i at least as big as 2518?
True
Let m = -1 - -9. Let b = 28433/15 + -9476/5. Is b greater than m?
False
Suppose 103 = 4*c + 5*y, 0 = c - 3*y + 14 - 61. Suppose c*s = 29*s + 36. Let t(p) = -10*p - 1. Let n be t(-1). Which is bigger: s or n?
s
Suppose 83*s = -568208 + 27380. Do s and -6517 have different values?
True
Let l = -72.6 + 72.5. Is -5282 < l?
True
Let l = 11169036275/4400868 - 5/733478. Let c = -2536 + l. Let z = c - 169/96. Are z and 0 non-equal?
True
Suppose -20 = -4*c - 4*j - j, c - 5 = 5*j. Suppose -w = 4*i + 52, -5*w - 4*i - 217 + c = 0. Is -40 greater than or equal to w?
True
Let z be (2/(-12))/((-3)/(-12)). Let f = -1208 + 1206.4. Are z and f equal?
False
Let r = -33.972 - 0.028. Let c = -24.11 - -26.1. Let a = c + -1.99. Do r and a have the same value?
False
Suppose -5*p + 6 = -3*p, n + p - 13 = 0. Suppose -x - 214 = n. Let b be (2 - (-498)/x) + (-6)/(-21). Which is smaller: -1 or b?
-1
Let q = 54 - 273. Let u = -224 - q. Let o be (3/(-2))/((-1)/((-28)/(-3))). Is u less than or equal to o?
True
Let q(f) = -20*f**3 - 4*f**2 + 5*f - 2. Suppose 7 = 2*l + 5*l. Let u be q(l). Which is greater: 1 or u?
1
Let l be ((-2)/4)/((-4)/(-8)). Suppose -5*y = -3*q + q + 2770, 2*y = 3*q - 4144. Let x be (40/q)/(1 + 2/(-6)). Which is bigger: x or l?
x
Let d = 3876486539/43310 + -13066495/142. Let p = 2512 + d. Which is smaller: 1 or p?
p
Let x = -424 - -200. Let m = x - -224. Which is smaller: -15/11 or m?
-15/11
Let x(i) = -18*i + 637. Let y be x(34). Suppose -a = -6*a + y. Let h be (6/5)/((-1)/(-5)). Which is greater: h or a?
h
Let v(j) = -j + 2. Let x be v(2). Let k(u) = -10*u + 5*u**2 + 2 + 9*u - 2. Let q be k(-2). Is q equal to x?
False
Suppose 5913 - 5885 = -14*z. Is 179.2 >= z?
True
Let g = -4689 - -5764. Do 1074 and g have the same value?
False
Let c = -143.867 + -0.133. Let o = c - -129. Which is smaller: o or 1?
o
Suppose 0 = 5*b - 5*a - 95, b + 2*a = 5 - 1. Suppose 0 = -4*v - 8, 5*y - 8*y = -4*v - b. Which is smaller: y or 15/22?
15/22
Let u be 1656/(-18)*38/(-1368). Let x = 0.3 + -0.1. Which is smaller: x or u?
x
Suppose 6547 = 5*l - 2*h, -3*l + 3*h + 1994 = -1945. Is l > 1309?
False
Suppose 4*n + 14 = -14. Let r be (72/(-16))/((-10)/(-15)). Is n not equal to r?
True
Let a(o) = -o**2 - 12*o + 5. Let q be a(-12). Suppose -7*b = 13 - 13. Suppose -5*r = -q - b. Is r at least 19/8?
False
Let x = 128 + -135. Let s be (-1)/(-8) + (273/120)/x. Is s at least as big as 1?
False
Suppose c + 2*u - 6*u = 3, 2*c = -2*u + 16. Suppose -22*r = c*r - 29. Which is smaller: r or -1/35?
-1/35
Let c = 887 + -340. Let u = -546.5 + c. Which is bigger: u or 6?
6
Let y be 1/(-3) + (-1190)/(-3615). Suppose 330*d = 94*d. Is y > d?
False
Let x(b) = -12*b + 86. Let p be x(10). Let q = p + 953/28. Is -2/9 not equal to q?
True
Let k be (-8120)/155820*-15*1 + 6/(-7). Is 2/17 bigger than k?
True
Let r = 115 + -89. Let g be (1 - 3)/(r/(-52)). Suppose g = -7*z + 4. Is 2/3 less than or equal to z?
False
Suppose -4*o + 2*o + 5*l + 65 = 0, -5*o = 5*l - 250. Suppose 15*n + 5*x - 4 = 14*n, 0 = 3*n - 4*x + o. Is -13 bigger than n?
False
Suppose 49 = 5*h + 3*z, 3*h + 2*z = -3*z + 39. Let t = -8 - -11. Suppose t*u - 14 = -h. Which is bigger: -0.13 or u?
u
Let x be ((-16)/(-600))/((-4)/2). Let n(b) = -37*b + 260. Let f be n(7). Which is smaller: x or f?
x
Suppose -3*g + 4 = 5*f, -5*f = -0*g - 2*g - 14. Suppose 3*d + f*l + 66 = -l, 46 = -3*d + 2*l. Let y(z) = -3*z**2 - 11*z + 52. Let o be y(-7). Is o at least d?
True
Let v = 372 - 320. Suppose 0 = -16*g - v - 220. Does -21 = g?
False
Let i(t) = 2*t**2 + 14*t. Let c be i(-7). Suppose g + 12 - 19 = c. Suppose h - g + 50 = 4*b, 0 = 2*b + 2*h - 34. Which is smaller: b or 5?
5
Let r = 3528 + -3527. Which is bigger: -19/39 or r?
r
Suppose -29631 = -3*z + 3*q, 29633 = 3*z - 1429*q + 1428*q. Which is smaller: 9879 or z?
z
Let z = -160540/7 + 22845. Which is smaller: -89 or z?
z
Let j be (-59 + (6 - 1))/(3 + 1/(-1)). Do j and 8 have different values?
True
Let a be (19/((-172159)/182))/((-16)/(-8 + 4)). Is a smaller than 1?
True
Let f(l) be the second derivative of 2*l**3 - 57*l**2 - l + 1. Let r be f(9). Is r greater than or equal to -20/3?
True
Let g be (-4)/6*12/(-20). Let d = 119 - 111.3. Let x = d + 5.3. Is g greater than x?
False
Let x = 396 + -476. Let t = 162 + -111. Let d = x + t. Which is smaller: d or 0?
d
Let u(a) = 58*a**2 - 507*a + 11214. Let j be u(23). Do j and 30236 have the same value?
False
Let d be (39/(-26))/((-1)/6). Let f be (-44)/(-12) - (-3)/d. Suppose -3*l + 6*c - 2*c + 1 = 0, -2*c = -f*l - 2. Is -1/16 >= l?
True
Let y = -7940 + 7208. Which is smaller: y or -731?
y
Let p(i) = i**2 - 52*i - 696. Let j be p(63). Is -1326 >= j?
False
Suppose 1751*m - 1787*m = 0. Do 18.2 and m have the same value?
False
Suppose -w = -2*w + 23. Let h be (7 - 1)/((-87)/(-232)). Let j be h/10 + (-582)/(-30). Is w >= j?
True
Let u = 0.3 - 142.3. Let t = u + 141. Which is smaller: -2/91 or t?
t
Let h = -198 + -26. Let y = -223.909 - h. Let f = y + -21.091. Does 0.1 = f?
False
Suppose 2*j + 4*k - 1066 = 0, -16*k = -14*k + 10. Let p = 543 - j. Is 1/242 greater than or equal to p?
True
Let p(h) = -2*h + 21. Let y be p(10). Let t be (15/2 - 7)*2/y. Let c be (-341)/(-85) - (-7)/(14/(-8)). Which is smaller: c or t?
c
Let f = -3741 + 26223/7. Which is smaller: 9 or f?
f
Let g = -0.05 + 2.55. Let v = 126 + -109. Suppose -18*y + v*y - 2 = 0. Is g at least y?
True
Suppose 2*v = 1432 - 1486. Is v at most as big as 20?
True
Suppose 726*s - 600*s = 201852. Is s < 1605?
True
Let j be (-56)/42*(-39)/2