
Let c = -0.78 - -2.16. Let f = c + 1.22. Which is bigger: f or -4?
f
Suppose -5 = r - 6*r. Let h be 1/(4 + (-892)/224*1). Let k be 39/(-6)*-7*16/h. Is k bigger than r?
True
Let w = 1360 - 1354. Do -2 and w have the same value?
False
Suppose 19*g = 24*g + 5*o - 1035, g - 2*o = 204. Which is smaller: 2696/13 or g?
g
Let l = 113359/11 + -10305. Which is smaller: l or 803?
l
Let i be 56/(-2) - (-4)/(-2). Let m be (-25 - 1)/(20 - 19). Let n = i - m. Which is smaller: -30/11 or n?
n
Let y be (2/24)/((-15)/(-21915)). Let u = 122 - y. Which is greater: u or -0.33?
u
Suppose -3*o = 33 + 6. Suppose 678 = 14*d - 8*d. Let c = d - 126. Is o not equal to c?
False
Let b = 0.2 - -0.2. Let t be 1928/(-14)*((-98)/(-7))/7. Let k = 276 + t. Is b not equal to k?
True
Let a = -2748 - -35647/13. Let u = 50987/8606 + a. Which is bigger: u or 1?
1
Let j = -21704 + 21894. Is j <= 209?
True
Let g(l) = -3*l - 28. Let a be g(-11). Suppose j + j = -a*i - 94, 5*j - 115 = 5*i. Let c = i + 20. Which is bigger: 1/11 or c?
1/11
Let l(q) = -43*q**2 - 688*q - 41. Let w be l(-16). Is -101 at least as big as w?
False
Let w = 4856 + -4497. Is w at most 368?
True
Let d be 2/(-4) - ((-1262)/868 + 1). Suppose -3*o + 4*k = -0*k - 15, o - 2*k = 7. Which is greater: d or o?
o
Let s = 424819579/3411 + -124544. Is s smaller than 1?
True
Suppose 7*q = 74 + 3. Suppose 892 = -q*d + 144. Which is smaller: 1 or d?
d
Suppose 474 = 3*o + 3*r - 63, 2*r - 919 = -5*o. Is -13 bigger than o?
False
Suppose 3*v + 5*c - 104 = 0, 3*v - 64 = 10*c - 5*c. Suppose 5*q = -2*g - v, -3*q - 3*g - 12 - 12 = 0. Let w be 20/(-14)*(-7)/(-3). Which is bigger: w or q?
w
Suppose 2*i + 3*b = 44, 30*b = 33*b. Let x be ((-244)/32 + -4)*-2. Which is bigger: x or i?
x
Suppose -4 = -4*j - 28. Let r be 8/((5 - 8)/j). Suppose 3*g + y = -r, -4*g - 5*y = -1 + 37. Which is bigger: -6 or g?
g
Suppose 972 = 2*x + 1110. Which is bigger: -6 or x?
-6
Suppose 3*v - 11 - 79 = 0. Let d(t) = -t**2 + 29*t + 29. Let f be d(v). Which is greater: f or -4/55?
-4/55
Let p(v) = -100*v + 12. Let r be p(2). Let h = 189 + r. Is h smaller than -148?
False
Let w(p) be the first derivative of -p**2/2 + 10*p + 95. Let s be w(13). Is -3 at most as big as s?
True
Suppose 4*c - 6326 = -6*p, -5*c + 112 = -5*p - 7708. Which is bigger: c or 7858/5?
7858/5
Suppose 104*r - r + 23*r = 204498. Is 1624 smaller than r?
False
Suppose 92 + 16 = 6*z. Let h = z - 5. Suppose -f = p + 3*p - 1, 2*p + 5*f + h = 0. Is -3 at most p?
True
Let z = 85 - 31. Let v be 22754/14 - 98/343. Suppose -25*w = -v + 300. Is w at most z?
True
Let g = 456 - 472. Do 1/24 and g have the same value?
False
Let f(w) = -w**3 + 21*w**2 + 158*w - 414. Let u be f(26). Which is bigger: u or 310?
u
Let h = -25429/609 + 25/609. Which is greater: 4 or h?
4
Suppose 0 = -21*x + 57 - 120. Let i be 2/8 + 466/140. Let v = -6/35 - i. Which is greater: v or x?
x
Let x = 11 + -21. Let d(u) = -2*u**2 - 11*u + 10. Let j be d(-7). Let t = j - x. Which is smaller: t or 2/19?
t
Let m = 29.4 - 88.9. Let k = m + 68. Let n = 0.5 - k. Which is smaller: 0.2 or n?
n
Suppose -14 - 62 = -4*p. Let g(v) be the second derivative of v**3/3 - 21*v**2 - 191*v. Let m be g(p). Is -4 smaller than m?
False
Let c be ((-8)/(-16))/((-9)/46). Is -4 bigger than c?
False
Let g(j) = j**2 + 35*j + 277. Let a be g(-12). Is a >= 1/5374?
True
Let a(o) = 3*o + 2. Let g be a(-3). Let q = 385 - 379. Suppose 0 = 12*l - 10*l + q. Is l not equal to g?
True
Let j(f) = -4*f**3 - 6*f**2 + 7*f + 27. Let k be j(-3). Is 35 < k?
True
Suppose -2*r + 14 = 5*b - 12, b - 4 = 0. Let h be 32/6 + 24/36. Suppose 3*p = h, j - 3*p + 0*p = 1. Which is bigger: r or j?
j
Let a(x) = -209*x + 3587. Let t be a(17). Which is smaller: t or 61?
t
Let a = 772.1 + -1307.2. Is -1 not equal to a?
True
Let t = -119 - -42. Let y be t/2 - (9/(-6))/3. Let k = y - -52. Which is bigger: 16 or k?
16
Let t(w) = w**3 + 6*w**2 + 5*w + 3. Let y be t(-5). Let d be 3 - (y - (54 - 3)). Is d <= 49?
False
Let f = 430.544 + 0.456. Let d = 431 - f. Is -83 at least d?
False
Suppose 30*i + 45*i = -214500. Which is smaller: -2858 or i?
i
Let l = -633 - -639. Let d be 4*((-111)/28 - l/21). Which is bigger: d or -19?
d
Let d = 12 - -28. Suppose -27*v + d = -14. Let y be 2 + 0 + 312/(-143). Is v equal to y?
False
Let y = 7696 - 7538. Is 156 less than or equal to y?
True
Let q be ((-36)/(-456))/(126/56). Suppose -5*s + 10 + 0 = 0. Suppose 0 = -s*f + 7*f + 5. Which is bigger: f or q?
q
Let z(y) = 4*y**2 + 30*y - 41. Let p(b) = 3*b**2 + 31*b - 40. Let k(t) = -6*p(t) + 5*z(t). Let o be k(14). Which is smaller: o or -79?
-79
Suppose -6*v = -16 - 56. Let r be (-3 + 1 - -3)*0 - -5. Suppose 4*u + 4*l = -12, -u = -7*l + r*l - v. Which is greater: -0.2 or u?
u
Let x be (-2)/6 + (-404)/(-6). Let i(t) = 227*t + 3244. Let r be i(-14). Is x at least r?
True
Suppose -5*w + 570 = -t - 314, -5*t = -4*w + 703. Let v = 177 - w. Let n be (-10)/12*(-8)/480. Is n at least as big as v?
True
Suppose 8*l = 748 + 196. Suppose 5*g - 6*o + 2*o - 265 = 0, 4*o + l = 2*g. Which is smaller: g or 243/5?
243/5
Suppose -27*o + 527 + 1279 = 15*o. Is -64 > o?
False
Suppose -6*k + 4707 + 2241 = 0. Suppose 9*y = 15*y - k. Is y less than 194?
True
Let g be (2 - 5)/(6/(-4)). Suppose -6*r = -r + 2*t + 15, g*r = t + 3. Let l = -188 + 186. Are l and r unequal?
True
Suppose 22*y - 9 = 26*y + 5*c, 3*c + 15 = -4*y. Let s be (-24947)/57 + (-4)/y. Is s less than or equal to -437?
True
Suppose 0 = -5*u - p - 29, p + 35 = -4*u + 12. Let c be (-78)/(-4) + (-15)/(-30). Suppose 8*n - c = h + 3*n, -4 = h - n. Which is smaller: u or h?
u
Let o(x) = x**3 + 9*x**2 - 11*x - 13. Let m be o(-10). Suppose -25 = -4*k + 9*k. Let i be 42/(-28)*-4*k/6. Which is greater: m or i?
m
Let h = 69150 + -382952695/5538. Which is smaller: 0 or h?
0
Let f = 514 - 420. Suppose 0 = 4*v - 2*l + f, 0*v = -3*v + 5*l - 67. Does -2 = v?
False
Let l(f) = -12*f**2 + f + 4. Let q be l(3). Let t = -507/5 - q. Let s = -4926 + 4927. Do s and t have the same value?
False
Let a = 158 - 236. Let q be (-2 - (8 - 12))*-38. Is q smaller than a?
False
Suppose 0 = 5*c - 5*f - 85, -3 = f - 0. Let y(h) = -h**3 + 15*h**2 - 14*h + 4. Let o be y(c). Suppose -o*k + 5 - 9 = 0. Is 1/4 less than k?
False
Suppose 207*s = 56*s + 193129. Which is smaller: s or 1278?
1278
Let n = -10148 + 10398. Which is greater: n or -2/3?
n
Let u = -35 + 32. Let x = u - -5. Let b be 1/(-28)*x*(-7)/12. Which is greater: 3 or b?
3
Let r = 636110 - 636113. Let v = -85/12 + 16/3. Is v at most r?
False
Let f = -53 - -708. Let s be 76/190 + (-292)/f. Which is bigger: 0 or s?
0
Let h(n) = 5*n**3 + 5*n**2 + 3*n - 6. Let g be 60/14 + (-28)/98. Let c be h(g). Let r = c + -2836/7. Is r greater than -1?
True
Let b = 15/2576 + -29291/4587856. Are -1 and b equal?
False
Let x = 27 - 28.52. Let o = x + 1.82. Which is smaller: -15 or o?
-15
Suppose 0 = 2085*s - 2051*s + 52768. Which is smaller: -1550 or s?
s
Suppose b + 22*r - 800 = 20*r, -5*b - 2*r = -4040. Is b != -7?
True
Let g be 6/21 + (-32)/(-182). Let q be (-2 - (-4)/3)*6/(-4). Let y be (-68)/136*-2*q. Which is bigger: y or g?
y
Let o = 1262 + -1082.7. Let j = o - 16.3. Let b = j - 91. Which is greater: b or 1?
b
Let t = -8567.88 - -8572. Which is smaller: t or 7?
t
Suppose 8*f - 11*f = -24. Let l = -89 + 93. Are f and l equal?
False
Let g = 7696 - 7707. Is -405 at least as big as g?
False
Let d(p) = 2*p**2 - 43*p - 70. Let q be d(23). Is q greater than -9/520?
False
Let r = -28713 - -15844. Are -12869 and r equal?
True
Let r = 22 + -14. Let p be 4*(2/16)/((-20)/(-560)). Let s be 3/6*1*p. Which is bigger: s or r?
r
Let d = -399.905 + 397. Let g = -0.095 + d. Let o = -3 + 1. Is g greater than o?
False
Let b(n) = 2*n**3 - 74*n**2 - 2*n - 38. Let w be b(37). Let g(f) = -39*f**2 + f + 1. Let k be g(-2). Let h = k - w. Is -45 < h?
False
Let w = 107.24 - 0.24. Let n = -107.016 + w. Let m = n - -0.116. Which is bigger: m or -40?
m
Suppose w - 3*v - 22 = 0, 4*v = -7*w + 12*w - 110. Let j(s) = -2*s**2 + 47*s - 57. Let i be j(w). Is 11 at least i?
True
Suppose 5*l - 4*h - 144 = 223, 2*h = 4. Suppose -l = -5*u + 3*z, -6*z + 20 = -2*z. Let m be (3/14)/(u/(-63)). Which is greater: m or 0?
0
Let p(w) = -w**3 - 10*w**2 - 8*w - 5. Let m be p(-8). Let t be (-1)/(273/m - -4). Let q(f) = f**2 - 10*f