alse
Let q be (-2)/(-4) - 2/(-44). Suppose -12 = -3*i - 4*y, -5*i + 40 = -5*y + 20. Suppose i*t + 82 = 86. Is t smaller than q?
False
Let m(z) = -z**3 - 5*z**2 + 18*z + 28. Let g be m(-7). Suppose 3*i - i - i = g. Are -1/181 and i unequal?
True
Let s = 19/48 - 1/16. Let o(i) = 2*i**2 + 5*i - 20. Let g(d) = -d**2 + d + 1. Let m(f) = 3*g(f) + o(f). Let q be m(4). Is q bigger than s?
False
Let k(d) = -d**2 + 3*d + 4. Let h be k(4). Suppose 3*z = -h*l - 3*l + 9, -l = 4*z + 3. Let y be ((-5)/(-10) + -2)*z. Which is greater: y or -0.01?
y
Let t = -348 - 58. Let x = -232 - t. Is x at most -2?
False
Suppose 0 = 3*p - 3*l - 27, 0 = -128*p + 132*p - 5*l - 41. Let d(w) = -w**3 + 2*w**2 + 2*w - 2. Let z be d(3). Which is greater: p or z?
p
Suppose 2*c + 0 = -2. Let s be 420/(-460) + (-2)/23. Let f be -1*(c - s)/(-2). Which is bigger: f or 1/32?
1/32
Suppose 0 = -4*m - 2*x + 160 + 612, 3*m - 574 = x. Let p = -65.88 - -65.98. Which is smaller: m or p?
p
Let m(w) = -w**3 - 4*w**2 + 11*w + 32. Let k be m(-6). Let c be (-5 - (-36 + 3))/k. Is c greater than 2?
False
Suppose -33*d - 533 + 500 = 0. Which is greater: -2/8151 or d?
-2/8151
Let s(o) = -8*o + 86. Let b be s(-21). Let x = 135 - b. Which is smaller: x or -121?
-121
Suppose -5*x + 182 = 60*h - 57*h, 0 = 5*h - 4*x - 328. Suppose 48 = n - h. Is 112 <= n?
True
Suppose 0 = -7*i + 11*i - 4. Let y = 31/40 + -1781/2040. Is i equal to y?
False
Let z = -4737/5302120 - 96955452182839/5477089960. Let s = -17702 - z. Let o = 1161/66112 - s. Which is bigger: 0 or o?
o
Let w be (-5)/30 + -2 + (-2)/(-12). Let t be (w/(-4))/(-3 + 345/114). Suppose t*q = 8*q. Is q at most as big as 0?
True
Let o = 26674 + -26882. Which is greater: o or -167?
-167
Suppose k = -4*k + 10. Suppose -k*i = -0*n + 4*n - 30, -2*n + i + 13 = 0. Suppose 11 = -n*u - 10. Which is smaller: 4 or u?
u
Let w(b) = -1606 - b**2 - 6*b + 799 + 803. Let o be w(-6). Is -34/7 smaller than o?
True
Let h be ((-62)/(-186))/((4/609)/4). Which is smaller: h or 198?
198
Let v = 2602 - 2175. Is 432 bigger than v?
True
Let s be -1 + 5 - (-1 - -10) - (0 + -2). Is -99/56 equal to s?
False
Let d = 0.03047 + 1357.96953. Is 1 at least as big as d?
False
Let s be (-10)/(-69) + (15/(-9))/(-5). Let v(o) = 34*o - 239. Let b be v(7). Is b at most s?
True
Let h = 182.0774 + -182. Let m = h + 0.9226. Is 0.2 at most m?
True
Suppose y - 2*b = 6, 2*b + 73 = 3*y + 7*b. Suppose 9*t + y = 8*t. Which is bigger: t or -118/7?
t
Let f = -1072.091 - -1072. Let n = 23.009 - 23. Let j = n - f. Is 3 at most as big as j?
False
Let o(y) = -y**3 + 2*y**2 + 8*y - 11. Let t be o(5). Let d be ((-99)/15)/(-1) - t/115. Which is smaller: d or 74/13?
74/13
Let o = -6730 - -6661. Is o less than -69?
False
Let b = 2895 - 2906. Which is smaller: 44/3 or b?
b
Suppose 6 = -2*m + 2, -5*d - 3*m = 21. Let y be d/7 + (-33)/21. Which is bigger: -33/37 or y?
-33/37
Let g(h) = -5*h + 6. Let b be g(1). Let v be (-190)/52 + 3 + b. Which is greater: 1 or v?
1
Suppose 0*z - 6*z = 0. Suppose 3*x - 13*x + 280 = z. Suppose 0 = -2*t - 2*t - x. Which is smaller: -6 or t?
t
Suppose 12 = 5*q - 2*z - 26, 3*q + z - 25 = 0. Let b be 2 - ((-722)/q - (-11)/44). Suppose 0*d + b = -4*d. Which is bigger: -26 or d?
d
Let r = 0.24 + -10.24. Let s = -12480.0151 - -12479. Let y = 0.0151 + s. Are y and r nonequal?
True
Suppose 2*b - 3*i + 7*i = 4, 2*b - 2*i = 4. Suppose 0 = b*w + 7*w - 891. Let u = -145 + w. Which is greater: u or -47?
u
Let f(t) be the first derivative of -t**5/60 + t**4/24 + 47*t**3/6 - 13*t**2 + 43. Let y(m) be the second derivative of f(m). Let z be y(8). Does -12 = z?
False
Let p = -4.2468 - -0.0678. Let u = p + 6.162. Let d = u + -0.083. Which is greater: 1 or d?
d
Let r = 6592 - 6793. Is r at most as big as -1605/8?
True
Suppose -5*y + 14500 = 1065. Let f be (21/(-1719) - 0)/(5/1099755). Let k = y + f. Which is smaller: -1 or k?
-1
Suppose 258*d = -36312 - 104298. Is d greater than or equal to -547?
True
Suppose -4*z + 5*s = -14, 25*z - 22*z = -5*s - 7. Which is bigger: -12/1669 or z?
z
Let t be 4/6 - (-34)/3. Suppose r = 25 - 9. Let g be 2/(-3)*(-264)/r. Which is greater: g or t?
t
Let j be 2/(-5) + 13039/(-40) + -1. Let t = 327 + j. Which is bigger: t or -1/2?
t
Suppose 0*d - 5*d - 45 = -5*w, 5*w + 3*d - 61 = 0. Suppose -w*s = -s. Which is smaller: s or 2/443?
s
Let c = 2.627 - 7.057. Is -1/7 >= c?
True
Let d(z) = z**3 - 3*z**2 + 3*z + 1745. Let y be d(0). Which is smaller: y or 1746?
y
Let r = -7.192 - -7.28. Which is smaller: 62 or r?
r
Let x be 3393 + ((-75)/5 - -3). Is 3380 > x?
False
Let u = 0.256 + -136.256. Let t = u + 136.8. Which is greater: t or 27?
27
Let c = -9042 - -9036.9. Is 1/245 at most as big as c?
False
Let s = -21628 + 85869/4. Which is smaller: s or -162?
-162
Let w = -548 - -394.2. Let c = w + 154. Suppose -21 = -3*o - 0*o. Is c smaller than o?
True
Let p(c) = -38*c - 99. Let k be p(-4). Suppose k*v - 24*v = -16588. Is v != -573?
True
Let m = 19.62 - -1.38. Let y = -13 + m. Do y and 0.2 have the same value?
False
Suppose -18*j = -9*j + 6399. Let o be (-110)/(-44) + j/286. Which is greater: 0 or o?
o
Suppose -9*v = -16*v. Suppose 4*s = 4*k - v*k + 8, 5*s - 4 = -k. Which is smaller: -2/123 or k?
k
Let h(z) = 2*z**3 + 130*z**2 - 144*z - 281. Let p be h(-66). Is 2548/5 greater than p?
False
Let i be 42/(-7) + -2 + (33 - 5). Which is smaller: i or -2/15?
-2/15
Let g be (-4)/12 - (-88)/(-6). Let d(p) = -p**2 - 17*p - 25. Let j be d(g). Suppose q - 34 = -j. Is q < 30?
True
Let t(s) = -14*s - 8*s**2 + 4*s**2 + 3*s**2. Let h be t(-14). Suppose h = 5*y - 0*y. Do y and -4.1 have different values?
True
Let b be ((-9)/108*-141)/(5*(-4)/(-1200)). Which is greater: 704 or b?
b
Let s = 5/834 + -939119/5838. Let k = s + 162. Is k at most as big as -10?
False
Let f = -1/19 - -1183/21394. Is f greater than 0?
True
Suppose -12350 = 51*f - 7*f - 50102. Are f and 858 non-equal?
False
Suppose -121*h + 122*h + 148 = 0. Let t = h + 97. Which is bigger: -50 or t?
-50
Let n(t) be the first derivative of t**2/2 + 4*t - 5. Let q be n(0). Let c be (4/(-6))/((40/285)/q). Which is greater: c or -20?
c
Let u be 89 + (0 - (-5 + 4)) + 2. Let r be (u/3)/((-7)/42). Is -184 at most r?
True
Suppose -34*k - 3670 + 3840 = 0. Which is bigger: k or 108/23?
k
Suppose 4*s = 13*s + 414. Let y = s - -50. Do y and 12 have the same value?
False
Let z = 612 + -88. Which is smaller: z or 525?
z
Suppose 4*o = 4*a + 24932, 2*o = 17*a - 18*a + 12448. Which is smaller: o or 6226?
6226
Let u be (-72062)/30 - 4/((-2)/(-1)). Let a = u - -2405. Let q = 3/5 - a. Which is bigger: -1/11 or q?
-1/11
Let i(z) = 5*z**3 - 72*z**2 + 7*z - 12. Let v be i(12). Is -1655 greater than v?
True
Suppose -4*i - 4*b - 72 = 0, 5*b - 60 = 4*i + i. Let m be 110/264*(-27)/i. Are 60 and m equal?
False
Let g be (28/42 + (-1)/(-21))/(100/(-5050)). Which is smaller: g or -37?
-37
Let o be 4 - (2 - (-168)/52). Let p(v) = -v**3 + 8*v**2 - 2*v + 15. Let y be p(8). Is y equal to o?
False
Suppose -4*y - 796 = -r, 5*r - 539 = 5*y + 456. Let q = -272 - y. Do -72 and q have the same value?
False
Let l = 9.4 + -7.1. Let j = 223.47 - 225. Let t = l + j. Which is greater: t or -1?
t
Let d be ((-142)/24)/(8/(896/427) + -4). Which is greater: 32 or d?
32
Suppose -2*l + 3*l - 4 = 5*i, 108 = 5*l - 3*i. Suppose -c = -l*c - 253. Which is smaller: -7 or c?
c
Suppose 837*r - 865*r - 70280 = 0. Is r at least as big as -2510?
True
Let y = -1910 - -2404. Which is smaller: -1 or y?
-1
Let w = 1.925 + -1.825. Is -749 not equal to w?
True
Let g(n) = n**3 + 8*n**2 + 5. Let v be g(-8). Suppose -4*b + 924 = 4*q - 680, 2*b - 2008 = -v*q. Which is smaller: q or 403?
q
Let g be (-375)/29 + (31 - 50456/1624). Let j be 2 + (1 - 1) + -15. Are j and g equal?
True
Let d = -167 - -636. Is d smaller than 1?
False
Let f be 8/((-3)/((-18)/(-12) + -3)). Suppose 0 = -3*m + 4*y, y - f*y = 5*m. Which is smaller: m or 4/45?
m
Suppose z + 3*z + 320 = 0. Let s be (5/z)/((-3)/((-36)/(-52))). Are s and 1 equal?
False
Let i be (-24)/16 + 13734/12 + 3. Is 1147 less than i?
False
Let u = -3599 + 4023. Which is greater: u or 422?
u
Let g(u) = -u**3 + 8*u**2 + 8*u + 9. Let t = 774 - 777. Let p be g(t). Is 84 at most as big as p?
True
Let v be (-5 - 1124/(-144)) + 9 + -10. Which is bigger: 2 or v?
2
Suppose -11 = -3*s + 4*