e -f + 1 = 2*z, z + 8*f = 7*f. Is -2/1043 < z?
True
Let x be ((-1)/(-1))/(2/(-24)). Let r(l) = -9*l**2 - 23*l - 29. Let c(z) = -2*z**2 - z. Let v(t) = 5*c(t) - r(t). Let q be v(20). Which is smaller: q or x?
x
Let v be ((-20)/100)/((-3)/15). Let k be 157/v*(4 + 7 + -12). Is -157 <= k?
True
Let m be (-2)/(-11) - (4 + (-2358)/99). Suppose -s - 266 = -m*s. Is s at least 1?
True
Let q(y) = -8*y + 6*y - 4 + 2*y + 5*y**2 + 5*y**3. Let m be q(4). Is 397 at most as big as m?
False
Suppose 14*k + 15509 - 1327 = 0. Which is smaller: k or -0.2?
k
Let i be -2*1*5/(-5). Suppose 2*f - 22 = 2*a, -3*a - f = i*f + 27. Let r be (-97)/(-24) + a + 6. Is 0 bigger than r?
False
Suppose 4*z + 0 = -28. Let x(v) = -2*v**2 - 12*v - 11. Let h be x(z). Let d = h + 26. Which is greater: d or -2/17?
d
Let d = -154 + 246. Suppose -93 = 5*r + d. Are r and -37 equal?
True
Let w = 55.68 + -0.68. Let o be 3/(2331/2849 + 1/((-11)/(-2))). Which is smaller: w or o?
o
Let i = 1.63 - 1.751. Let p = -0.059 + i. Let r = 2.4 - 1.4. Are r and p nonequal?
True
Suppose 0 = 4293*r - 4322*r + 4292. Is r greater than or equal to 147?
True
Let l(k) = k**2 + 40*k - 328. Let p be l(7). Which is smaller: 23/120 or p?
23/120
Let g = -116 - -184. Suppose -2*z + 2*p - 5*p = g, p = 4*z + 136. Is -34 at most as big as z?
True
Suppose 3*f + 13 = 2*v, -2*f + 3 = 3*v - 2*v. Let q = 12973/777 + -117/7. Which is bigger: f or q?
q
Let v = 4850 - 7083. Is v at least as big as -2233?
True
Let f = 3148 - 3212. Is -64 bigger than f?
False
Let f = 323165/86 - 7493/2. Which is bigger: 10 or f?
f
Let x = 889 + 454. Are x and 1343 equal?
True
Let z be 3095/35 + 45/(-105). Which is greater: z or 80?
z
Suppose 0 = -4*d + 2*u + 3*u + 1571, 4*u + 1966 = 5*d. Let k be d/10 - (-18)/(-45). Which is bigger: k or 36?
k
Let y be ((-87)/(-12) - 2) + 2. Suppose 0 = -3*r - f + 20, 4*r = -23*f + 20*f + 25. Is r bigger than y?
False
Suppose -2*z + 53 = 5*j, 0 = -149*j + 144*j - z + 54. Which is bigger: 141/14 or j?
j
Let b(q) = q**2 + 52*q - 624. Let h be b(10). Suppose w = 12 - 45. Which is smaller: h or w?
w
Let l = -12281 + 479021/39. Which is smaller: 2 or l?
l
Let p = 0.02658 + -90.82658. Which is greater: p or -7?
-7
Let w be ((-2)/3)/(3/(-27)) - 1. Suppose -w*y + 20 = -0*y, -c - y + 44 = 0. Which is smaller: 0.2 or c?
0.2
Suppose 0 = 32*q - 13*q - 95. Which is smaller: q or -19?
-19
Let a = -60827019/64582 + 1/64582. Let i = a + 933. Is -9 != i?
True
Let l = 157 - 154. Suppose -13 + 4 = l*v, -4*n + 209 = -3*v. Do 50 and n have different values?
False
Let u(q) = -q**2 + 12*q + 7. Let m = -53 + 66. Let s be u(m). Is 0.73 at least s?
True
Let m(x) = x**3 + 13*x**2 - 28*x + 33. Let z be m(-15). Suppose -z*c - q + 6 = 3*q, -c = q - 3. Let j(y) = y**2 - y + 8. Let f be j(0). Is c <= f?
True
Let p(k) = 2*k**2 + 21*k - 65. Let h(l) = l**2 + 10*l - 33. Let o(f) = 5*h(f) - 3*p(f). Let r be o(-12). Is r bigger than 41?
True
Let n = -12478 + 12474. Let o be 92/54*6/(-2). Are n and o non-equal?
True
Let z = 0.4 + 1.3. Let t = -227 + 236.7. Let l = z - t. Which is bigger: -2/5 or l?
-2/5
Let r = 129800/13 + -9992. Let a = -132 - -124. Is a at least r?
False
Let t be 943/(-11 - (-200)/20). Which is smaller: t or -947?
-947
Let i be -48 + 6 + 4/((-12)/21). Let k = i + 55. Which is smaller: 29/5 or k?
29/5
Let d = -376 + 376. Let n = -40 + 42. Let i be n/(-6) - (-248)/600. Which is smaller: i or d?
d
Suppose 0 = 2*p - 5*c - 7549, 500*c + 18886 = 5*p + 501*c. Which is bigger: p or 3778?
3778
Let h(n) = -23*n**3 - 2*n**2 + 13*n - 7. Let j be h(-3). Is 552 > j?
False
Let q(w) = -122*w**2 - 500*w + 10. Let b be q(-10). Does -7190 = b?
True
Suppose -1079*o + 1073*o = 6. Let d be -5*2 + 5 + o. Which is smaller: d or -40/7?
d
Let l = -14088 + 14665. Which is greater: 579 or l?
579
Let k(t) = 3*t - 28. Let d be k(-7). Let m = -54 - d. Suppose 0 = -5*q + 4*g - 5, -2*q + 4*g + 0*g = -10. Is q at most as big as m?
True
Let k(h) = 89*h - 55. Let s be k(0). Suppose -119 = 4*d + 121. Let q = d - s. Which is smaller: -6 or q?
-6
Let n = 82 - 25. Suppose v + 9 = -w, n = -5*w + v - 12. Are w and -37/3 equal?
False
Let j be ((-36)/(-45))/(2/760). Suppose -55*x - j = -51*x. Let y = x - -40. Which is smaller: y or -35?
y
Let t = 236895221025/1260875188 - -2/16590463. Let u = t - 753/4. Which is greater: 0 or u?
0
Let t be (-1236)/(-36)*(-2 - -1 - -4). Let o = 119 - t. Let i = 10 - 10.2. Which is smaller: i or o?
i
Let g = -47325/7 - -29104877/4305. Which is bigger: g or 1?
1
Let i be ((-16)/(80/(-15)) - -12383) + -5. Which is greater: i or 12379?
i
Let d(p) = -p**2 + 5*p - 3. Let t be d(3). Let a be t/(-6)*(5 - 1). Let m = 1495.92 + -1496.42. Are m and a nonequal?
True
Suppose 0 = 4*k, 2*y + 3*k = -0*k + 16. Suppose -3*n = -y*n - 50. Let o = 20 - 19.9. Which is greater: n or o?
o
Let o = -180 - -181.86. Let y = o + -0.88. Let l = y - 1.81. Is l > 1?
False
Let f be (-698)/(-4092) - (296/(-48))/(-37). Which is bigger: 0 or f?
f
Let y(u) = 38*u. Let m be y(2). Let t be 903/12 + 4*(-24)/(-64). Let c = m - t. Which is smaller: c or 6?
c
Let x be 176200/234720 - 3/8*2. Which is smaller: -1 or x?
-1
Suppose 0 = b + 2*b + 3. Let r be 485/(-1780) + 27/(-38 - -146). Is r at least as big as b?
True
Let u = -17510/11571 + 122/203. Are -2 and u non-equal?
True
Let f = -171 + 163. Let u be f + 432/56 + 393/1400. Which is smaller: 0 or u?
u
Let r(f) = -21 + 20*f + 30 - 34. Let i be r(4). Is 56 >= i?
True
Suppose 5*h = 2*k - 42, -14 = 6*k - 8*k - 2*h. Suppose 4*m + 891 = k. Is -220 greater than m?
False
Suppose 188 = -4*l - 5*d, -43 - 11 = l + 3*d. Suppose 0*n = -2*n - 90. Let w = n - l. Which is bigger: -6 or w?
w
Let x(j) be the first derivative of j**4/4 + 25*j**3/3 + j**2/2 + 24*j - 113. Let r be x(-25). Let u = -12098/21 + 576. Which is smaller: u or r?
r
Let a = 40 - 15. Let v(n) = n + a - 11 - 11. Let t be v(3). Is 5 > t?
False
Let j be (-2 - -1)*1 - 0/2. Suppose -14*s + 17*s - 5358 = 0. Let f = 305404/171 - s. Are f and j equal?
False
Let w be (10/(-5))/(16 - 6636/414). Is w greater than 4?
True
Let v(h) = -2*h + 25. Let n be v(13). Let r be 4586/12*n*(-8)/66. Let i = r + -578/11. Which is smaller: -6 or i?
i
Suppose q - 5*g + 159 = 0, 0 = -5*q - 4*g - 483 - 196. Which is smaller: q or -140?
-140
Suppose -5*u = -2*v + 296, 5*v = -3*u - 83 - 76. Let f be (-2 + u/2)*1 + 0. Which is smaller: -161/5 or f?
-161/5
Let z = 7753 + -10449. Is z equal to 0?
False
Let z(d) = 60*d**2 + 41*d + 100. Let v be z(-2). Are 260 and v non-equal?
True
Let s = -7 + 2. Let g be 1*(-3)/((-9)/51). Let i = 13 - g. Which is smaller: i or s?
s
Let y(n) = -73*n + 3. Let u be y(-1). Let m be -3 - u*3/(1 - 4). Which is smaller: 72 or m?
72
Suppose 2*c = p + 2*p + 46, -c - 3*p + 32 = 0. Let q(g) = c + 16 - 19 - 2*g. Let x be q(0). Is x > 23?
False
Let m = -27 + 29. Suppose -m*w = h - 6, 9 = 2*h + h + 3*w. Let p be (-8)/12 - h - 2/(-4). Is 0.2 less than or equal to p?
False
Let k = -0.0285 - 3.1115. Do 2/7 and k have the same value?
False
Let m be 20994/2 - 15/105*56. Which is smaller: m or 10490?
m
Let h be -7 - -9 - (2 - 4). Suppose -h*x + 8*x = 8. Let j = -122 + 124. Is j at least as big as x?
True
Let m be ((-2290)/1464)/(-5) - ((-364)/42 - -9). Which is smaller: 0 or m?
m
Suppose 0 = -2*p - 15 + 143. Let n be (p - 7)*(-2)/(-6). Do n and 0.05 have the same value?
False
Suppose -z + 5*c - 919 = 0, -2*z - 5*c - 53 = 1740. Is z equal to -6332/7?
False
Let q be 15/10*(48/(-18))/4. Is 1/3044 at most as big as q?
False
Let l = -0.1719 - -0.0719. Which is smaller: -24511 or l?
-24511
Let u = 2787.1 - 2804.1. Which is bigger: -173 or u?
u
Let u = 761 - 3935. Which is smaller: -9518/3 or u?
u
Suppose -o = 2*o. Let h be 1*6/9*-141. Let v = h - -94. Are o and v non-equal?
False
Suppose -82*r = -40*r - 336. Let u be 6 + 82/r - (2 + 0). Which is bigger: 14 or u?
u
Let a(b) = -b**3 + 7*b**2 + 8*b + 1. Suppose x + 33 = 4*n, -2*n + 23 = n + x. Let i be a(n). Is i <= -41?
False
Let x(s) = -2*s**3 + 4*s**2 + 192*s + 67. Let w be x(11). Which is smaller: 7/1035 or w?
7/1035
Let w(t) = -309*t + 7276. Let r be w(23). Which is greater: r or 5?
r
Let a = -33249.751 - -33233. Let z = 0.151 + a. Which is greater: z or -1?
-1
Let z = 134 + -937/7. Let l = 3/28 + z. Is l <= -21/4?
False
Suppose -4*x + 247 = 4*y + 23