 m?
m
Let g(c) = -24*c**3 + 3*c**2 - 2*c + 4. Let m be g(2). Suppose -156*r - 26426 = -10*r. Is r equal to m?
False
Let h be 19359 + (21 - (46 + -25)). Is 19359 smaller than h?
False
Let y = -0.33757 - -0.23757. Which is bigger: y or -0.732?
y
Let f = 60 - 63. Let a = -5.9 - f. Let n = a + 2.2. Does 0.2 = n?
False
Suppose -8*t + 3*t = -2*q + 31, -3*q - 6 = 3*t. Suppose 4*y + 2*z = 112, -q + 7 = z. Is y less than 28?
True
Let r = 6905.079 + -6905. Which is smaller: -2 or r?
-2
Let k be ((-10)/(-4)*(-20)/175)/((-20)/(-828)). Which is greater: -12 or k?
k
Suppose 3*d = 2*d + 5*d. Suppose 2*w - 3*w + 5 = d. Suppose -w*x = -50 + 55. Is x less than or equal to -1/4?
True
Suppose -2*q + i - 3467 = 0, 0 = q - 548*i + 543*i + 1738. Is -1734 != q?
True
Let q be (-2)/((-100)/695)*(-2 - 20). Let g = q + 305. Is 3 greater than g?
True
Let h(l) = -2*l**3 - 27*l**2 + 12*l - 50. Let i be h(-14). Which is bigger: i or -282?
i
Let s = -389 - -388. Let r be (1 + 1*s)*(-14)/(-28). Which is smaller: -0.06 or r?
-0.06
Let v be -1 + 0 + (1 - 14/(-7)). Suppose 5*p = j + 60 + 35, 4*j = v*p - 20. Suppose -2*n + p = 22. Which is bigger: n or -3/22?
-3/22
Let w(x) = -4*x**3 + 57*x**2 + 7*x + 196. Let b be w(13). Which is smaller: 1130 or b?
1130
Let i be (6/8 + 0)/((-38)/4 + 8). Are i and -147 non-equal?
True
Suppose -2*x = -4*f + 10, 5*x - 32 - 3 = -5*f. Let g(r) = -r**2 + 6*r + 4. Let m be g(x). Suppose -m*s = -10*s + 3. Which is smaller: 3/5 or s?
s
Let b(f) be the first derivative of -f**2/2 + 27*f + 17. Let r be b(28). Is r greater than -6/13?
False
Let k(r) = 3*r**2 + 4*r**3 - 3*r**3 + 6 - 2364*r + 2366*r. Let n be k(-3). Are n and 2/271 non-equal?
True
Let o be (10 + -6)/(4/(-2)). Let p be (26 - 33)/(o - -1). Which is smaller: 1 or p?
1
Suppose 0 = -2*v - 4*i + 16676, 0 = v + 8*i - 11*i - 8333. Is 8337 greater than v?
True
Let u be 18/(-3) - (-2)/1. Let k be ((-1)/(7/6))/((-21)/98). Suppose -6*q - k = 26. Which is smaller: q or u?
q
Let j be 151*((-15)/10 + 1)*-2. Suppose -9*b = -j - 281. Let l = -89 + 135. Which is greater: l or b?
b
Let i(d) = d - 5. Suppose -88 = 2*p - 3*k, -5*p + 2*p + k - 118 = 0. Let a = -34 - p. Let h be i(a). Which is greater: -15/8 or h?
h
Let r be (50/(-20))/(5/(-10)). Let v be -12 + r - 1743/(-245). Which is bigger: -1 or v?
v
Let g be (837/(-162))/((-10)/(-12)). Let c(i) = -i - 15. Let q be c(-9). Is q equal to g?
False
Let p = 31 + 2. Let l = p + -29. Suppose 2*o - l*z + 0 - 4 = 0, -5*o - 5*z - 65 = 0. Does o = -10?
False
Let j = -589.2 - -550.2. Is -39 smaller than j?
False
Let r = 352 - 140. Let t = r + -213. Which is smaller: t or -3/203?
t
Let z = 81970182 + -106151379748/1295. Let d = 3/259 + z. Let o = -29 - -57/2. Which is bigger: d or o?
d
Let d be 9/((-117)/26) + 11812/5902. Let z = d + -4423/1085968. Is 0 at most as big as z?
False
Let d be (2/4)/((-190890)/13636 - -14). Suppose 5*s + 2*q = 2422, 9*q + d = s + 12*q. Which is greater: s or 485?
485
Let k = 48 - 101. Let o = -54 - k. Let i be o*(36/15 - 1). Which is greater: 0 or i?
0
Let g = 21 - 50. Let n = 225 - 111. Let j = 455/4 - n. Is g less than j?
True
Let k(c) = c**3 - 6*c**2 + 5*c - 7. Let j be k(6). Let x = 33 - j. Let h(v) = -536*v + 29486. Let u be h(55). Is x equal to u?
False
Let r = 895 + -891. Is 163/30 greater than r?
True
Let u be (450/(-675))/((-4)/6*-1). Let j(t) = t**2 - 3*t + 7. Let g be j(-5). Which is smaller: u or g?
u
Let h be (-7519)/(-11445) + 4/(-6). Let t = h + -1/218. Let d(o) = 2*o**3 + 26*o**2 + 7*o + 91. Let j be d(-13). Is t > j?
False
Let x = -177 + 176.999. Let t = x - -43.001. Let c = 0.24 + -0.14. Which is bigger: c or t?
t
Let g(j) = -2*j**2 + 9*j - 9. Let c be g(4). Let i = 9 + c. Suppose -i*p + 2 = -2. Which is bigger: -1/57 or p?
p
Let j be (((-910)/260)/(6/4))/(1/(-9)). Let l be 21 + 3/4*4. Which is greater: j or l?
l
Let r(n) = 135*n**3 - 14*n**2 - 136*n**3 - 8*n + 28 - 6*n**2. Let c be r(-19). Is -181 > c?
False
Let d = 437 - 187. Let p = d - 249.4. Which is smaller: p or 12?
p
Let n = 6.457 + 1.629. Let v = 0.086 - n. Which is bigger: v or 7?
7
Suppose -f + 16 - 55 = 5*g, 0 = -3*f + 4*g - 98. Which is smaller: f or -55?
-55
Suppose 0 = 4*y - 0*y + 8. Let h be (-1568)/20*1384/117728. Let x = h + -2/1415. Do y and x have the same value?
False
Let d be ((-12)/(-120))/(6/26685) - (-10)/8. Is 448 at least as big as d?
True
Let a be (-186756)/(-42) + 310/217. Is 4448 smaller than a?
False
Let i = -1189708/102641 - -1/18662. Which is bigger: i or -13?
i
Let w be 356/18 - (5 - 235/45). Let p be (-1 + 57/15)/((-8)/w). Is p bigger than -42/5?
True
Suppose 2*j = 2*f + 5*j - 3, 0 = -3*f - 3*j + 3. Let y be 324/252 + (f - 1). Is -2/3 != y?
True
Let f(x) = -4*x - 31. Let q be f(-9). Let t(j) = -4*j**3 + 20*j**2 - 2*j + 6. Let h be t(q). Let p = -12 + 7. Does p = h?
False
Let l be (-61)/(-5)*4/(-2). Let x(u) = -u**2 + 67*u - 277. Let q be x(63). Which is bigger: l or q?
l
Let s(w) = -21*w - 20. Let q be s(4). Let p = -109 - q. Is 1 smaller than p?
False
Let u = 697749 - 6379519117/9143. Which is smaller: u or -1?
-1
Let j = -10 - -12. Suppose j*q - 23 = 3*i, -14 - 18 = -3*q + 4*i. Let r be (25 - 7)*q/(-3). Is r smaller than -23?
True
Let u be ((-44)/(-28) - 4)*(-1)/(-3). Is u at most as big as 0.1?
True
Suppose 4*o - 3*o - 1 = 2*i, -3 = -o + 4*i. Let s be (4 - 4)/((o - 3) + 2). Suppose 3*j + 38 = -5*z - s*z, z + 5*j + 12 = 0. Is z bigger than -8?
True
Let u = -559.9 - -560. Are -1/1021 and u nonequal?
True
Let b be (752 - 105) + (17 - 1). Which is smaller: b or 5962/9?
5962/9
Let l(q) be the third derivative of -11*q**4/12 + q**3/2 - 13*q**2. Let w be l(-1). Let r be 8 - (-15)/w*-5. Which is greater: r or 32/7?
r
Let g = -1224081973318/371 + 3299415614. Let a = g - 3287. Which is greater: a or 0?
0
Let h = 22330 - 22728. Which is smaller: h or -30?
h
Let g be (72/96)/(2/(-8)) + -9. Let m be ((-20)/g)/(2/(-30)). Which is bigger: m or -24?
-24
Let n = -3892 - -3069.7. Let o = n - -822. Let p = 1.35 + -0.15. Which is smaller: o or p?
o
Suppose -31*p = 17 - 48. Suppose 4*z - 3*z = 4*g + 1, 3*z + 9 = 0. Let j be 0 + (0 - (-2)/g). Which is smaller: j or p?
j
Let k = 108325 + -40730149/376. Which is smaller: -1 or k?
-1
Let p = -613097/2824 - -1737/8. Which is bigger: 2/7 or p?
2/7
Let q(s) = 9*s - 6. Let r be q(1). Suppose 0 = -4*p - 4*z + 36, -r*p + 12 = -z + 1. Let c be 2 - p/(870/352). Which is greater: c or 1?
1
Let j = -1096 + 561. Let b = 21936/41 + j. Is b greater than or equal to -2?
True
Let v(o) = o**3 - 14*o**2 - 34*o + 34. Let q be v(16). Suppose -5*y - q*s = -3*s + 12, -8 = 5*y + s. Let w = -4.91 - 0.09. Which is smaller: w or y?
w
Let p = 428 + -404. Let j be ((-97)/98 + 1)/((-10)/p). Are j and 0.1 non-equal?
True
Let w(x) = 4*x**2 + 8*x - 75. Let r be w(-5). Is r <= -429?
False
Let j = 2509 + -2501. Which is greater: j or 94/13?
j
Let i be (-30)/(-4)*((-16280)/(-594))/(-37). Suppose 5*c + 0*c + 40 = 0. Let y = -13 - c. Is i not equal to y?
True
Let s(h) = 7*h**2 - 22*h - 7. Let o be s(-5). Which is bigger: o or 279?
279
Let r be (-12 - -8)*3/(-16)*6. Let p = 27 - 74. Let l = 53 + p. Is l <= r?
False
Let y = 738 - 484. Let c = -254.12 + y. Let f = -2 + 2. Which is smaller: f or c?
c
Suppose k - 30 = -h, -2275*k = -2278*k - h + 90. Which is bigger: 0.24 or k?
k
Let b(h) be the second derivative of h**4/6 - 2*h**3 - 8*h**2 + 16*h. Let q be b(8). Let r = q + -15. Which is smaller: r or -4/39?
-4/39
Let x = -22 - -22.28. Let q = -46 - -45.62. Let m = x + q. Is 19/2 bigger than m?
True
Suppose 3*i + 13 = 4*a, -3*a - i + 7 = -6*i. Suppose 3*r - 4*n + 42 = -n, 5*n + 56 = -a*r. Which is greater: r or -41/3?
-41/3
Let j = 1.9 + -2. Suppose 0 = -15*p - 49 + 79. Let x be (p/(-3))/(6/(-81)). Which is smaller: x or j?
j
Let a be 708/(-10)*(-29760)/(-1116). Which is bigger: a or -1889?
a
Let d = 16051 - 16050. Are 88 and d nonequal?
True
Suppose -24680 = 3*j + 2*j. Let p be (j/(-31))/((-4)/(-10)). Let z = 398 - p. Which is smaller: -2 or z?
-2
Let v be (0 - 4/14) + 718/2520. Let j = v - 583/59220. Let h = -2 - -3. Which is bigger: j or h?
h
Let f(a) = 8*a**2 + 119*a - 3224. Let z be f(25). Is 4754 < z?
False
Suppose 9*x - 12 = -3. Let s be (-3)/(3*x/(-3)). Suppose 4*j + 10 = -3*z - 13, 3*z + s = 0. Is -13/3 > j?
True
Let s(a) = 20*a**2 - 9*a + 