 or x?
x
Let k be -4 + 627/121 - (-2)/(-11). Is k greater than or equal to -2/145?
True
Let w be (-10)/(20/(-34))*(1 - -1). Which is smaller: w or 33?
33
Suppose 17*m = 11*m - 12. Let t be 0/m*(-6 - -7 - 0). Is t <= 4/9?
True
Let l be (-3)/(-6)*-5*-2. Let x = l - 6. Suppose 2 + 1 = -o. Which is smaller: x or o?
o
Let h(x) = 5*x - 3. Let i be h(3). Let r = 58 - 46. Is i != r?
False
Suppose -3*o + 5*c - 55 = -12, -o + c = 11. Suppose 0 = b + 14 + 4. Let s be ((-6)/b)/(2/o). Is s < 1/2?
True
Let g = 2869 + -854965/298. Is g <= 0?
True
Let k(r) = -r - 2. Let t be k(0). Let b be (-11)/(-9) - (t + 3). Let p = 6.0662 + -0.0662. Which is smaller: b or p?
b
Let d = 39.28 + -40. Let w = d + 0.02. Let m = 0.6 + w. Which is smaller: -3 or m?
-3
Let m be ((-4)/(-3))/(52/117). Suppose m*c + 4*l = 20 - 0, 0 = l - 5. Is 1/7 at most as big as c?
False
Let q = 150 - 149.8. Which is smaller: -8/39 or q?
-8/39
Suppose -2*k = -4*c + 412, 4*k + 8*c - 3*c + 876 = 0. Is k smaller than -213?
True
Let k(x) = -x**2 + 2*x - 1. Suppose 0 = -3*p + 2*p + 1. Let a be k(p). Which is smaller: -3/7 or a?
-3/7
Let j = -707 - -9147/13. Which is smaller: -3 or j?
j
Suppose -5*h = -25, 10*p = 7*p - 2*h + 10. Is -1/842 at least p?
False
Let f = 49 + -54.9. Let y = f + 6. Let c = 44 - 41. Which is bigger: c or y?
c
Let k = -754 + 22619/30. Is k <= 0.2?
True
Let y(m) = 17*m**2 + 6 + 19*m**2 + 14*m**2 - 51*m**2. Let z be y(-7). Which is smaller: -42 or z?
z
Let r(d) be the second derivative of 1/6*d**3 + 0 - 5*d - 5/2*d**2. Let f be r(4). Is f != -5/3?
True
Suppose 2*w = -5*u - 1, 0 = -3*w + 4*u - 0 + 10. Suppose 3 = -w*s - 2*j + 13, 45 = 5*s + j. Suppose 2*m + s = -3*m. Which is greater: 1 or m?
1
Let w be (-2)/(-6)*((-117)/(-18))/13. Is 0.365 less than or equal to w?
False
Let n be -8*((-1)/1)/4. Suppose n*p = -p. Which is bigger: p or -2/121?
p
Suppose 4*t = -4 + 24, 0 = 2*f - 2*t + 6. Suppose -2*g + 8 + f = 0, -3*k + 29 = g. Suppose 0 = 3*i - k*i + 35. Do i and 7 have different values?
False
Let m(j) = -20*j - 16. Let o be m(-5). Is 80 bigger than o?
False
Let d be -2 + (5 - 2) + 14. Suppose -11*j = -d*j + 20. Let g be 3/j + 12/5. Is 3 < g?
False
Let y(l) = -9*l**2 - 32 + l**3 - 7*l + 44 - 4*l. Let s be y(10). Which is greater: 1 or s?
s
Let z be 16/10*10/4. Let v be 1*z*1/1. Suppose -12 = -0*i - 3*i. Is v at least i?
True
Let w = -440 + 439.84. Is w bigger than -2?
True
Let q = 310 - 309.7. Which is bigger: -17 or q?
q
Let r(n) = -n**2 - 5*n + 2. Let c be r(-5). Let w = -383 + 4223/11. Is c at most w?
False
Let f be (-234)/(-72) + 2/(-8). Suppose -48 = -4*g - 4*y - 0*y, f*g - 26 = -y. Does g = 8?
False
Let x be (10/6)/((-9)/(-108)). Let g(h) = 3*h - 60. Let l be g(12). Let v = x + l. Which is smaller: -3 or v?
v
Let g = -10473/5 - -2086. Is -9 bigger than g?
False
Let r(k) = k**2 + 4. Let a be r(0). Suppose 0 = 4*y + 2*j - 28, -44 = -5*y + a*j - 2*j. Let v be 38/40 + y/10. Which is smaller: v or 1?
1
Let f = -19 + 28. Let l be 9/6*24/f. Let n(y) = -y**2 - 21*y + 21. Let g be n(-22). Are g and l unequal?
True
Let s(h) = -23*h - 1. Let w be s(-2). Let t be (3/w)/(1/(-4)). Let m(u) = -u**3 - 12*u**2 - 14*u - 34. Let x be m(-11). Is t at least x?
True
Suppose 3642 - 3645 = -3*s. Which is smaller: 17 or s?
s
Let w = -4.968 + 5. Is 0.2 at least w?
True
Suppose 4*i = 4*g - 3*g + 14, i = -4*g - 5. Suppose -3*f - i*l = 27, 3 = -f - 5*l + 2. Which is smaller: -9 or f?
f
Let t = -3 + 3. Let v = -21466/13 - -1652. Which is smaller: t or v?
t
Let m(q) = -4*q**2 - 10*q - 32. Let u(i) = 4*i**2 + 9*i + 32. Let f(r) = -3*m(r) - 4*u(r). Let v be f(-5). Is -103 <= v?
True
Let z be 174/(-372) - (22/(-4) + 5). Do z and -1 have different values?
True
Suppose -1199 = -12*b + 3457. Let w be ((-8)/10)/(0 - b/10). Is -1 >= w?
False
Let f(u) = -15*u**3 - 6*u**2 + 2*u + 2. Let n be f(2). Let s be n/(-156) - (7 + -3 - 3). Which is smaller: 0 or s?
s
Let b = 3069 + -352933/115. Let q = b - 589/805. Which is smaller: 0 or q?
q
Let z = 0 + -8. Suppose -5*f - 24 = -2*f. Let t = z - f. Is t less than -1?
False
Let z = -45 + 41. Suppose -5*r = 5 - 55. Suppose -2*f + 4*j + 2 = -8, -2*f = j + r. Which is bigger: f or z?
f
Let g = 246 + -256. Let f be 3*(-2)/(-4)*-6. Let r = 7 + f. Is r != g?
True
Let k be (-3 - -1)*2/(-4)*2. Suppose 4*j = k*j - 3*r - 131, 264 = -4*j - 4*r. Which is greater: -66 or j?
-66
Let m = 3 + 0. Let s be -2 + (-4)/(m - 7). Let a = -10 - s. Do -10 and a have different values?
True
Let v be -4 + 1 - (20 + -25). Let d be ((-10)/15*3)/v. Are d and 1/34 unequal?
True
Let h = -899 - -888. Which is greater: -5/13 or h?
-5/13
Let b(v) = 18*v**2 - v - 1. Let p be b(-1). Let s be (-62)/p - (-3)/6*6. Which is greater: s or 0?
0
Suppose 5*b - 5*f = -0*b - 1480, 3*b + 5*f = -912. Which is smaller: b or -1?
b
Let g(t) = -3*t + 66. Let h be g(17). Let z be 6/h*(-195)/24. Which is smaller: z or -6?
-6
Let f(r) = -5*r - 10. Let g be f(-5). Suppose g*v - 144 = 27*v. Which is smaller: v or -9?
v
Let t = 31 - 22. Let l(f) = -f**2 + 8*f + 9. Let d be l(t). Suppose d = 2*m + 2*m - 4. Which is bigger: m or -2/7?
m
Suppose 3722 = -i - 1682. Let n be 2/(-3) + i/(-48). Let z = n + -112. Which is bigger: 2 or z?
2
Let g = -7039/5 - -1408. Let z = 8 - 1. Which is smaller: z or g?
g
Let b be (-17214)/(-44)*(-24)/(-18). Let p = -522 + b. Is p at least -1?
True
Suppose 32 = -25*h - 7*h. Does h = 6/29?
False
Let q(o) be the second derivative of 11*o**3/3 + o**2 + o. Let w be q(1). Let t = w + -30. Is -2/3 greater than or equal to t?
True
Let j be (2/4)/(1/(-82)). Let t be j/85 + 12/20. Let g be 11*(-5)/(-45) - (-6)/(-27). Which is smaller: t or g?
t
Let k be ((-1131)/58)/((-1)/6). Is k bigger than 118?
False
Suppose 42 + 63 = -4*i - u, -4*u - 42 = 2*i. Which is bigger: i or -24?
-24
Let l = -11598037/547 - -21203. Which is smaller: l or -1?
-1
Suppose -6 = -8*y + 106. Let n(r) = r**3 - 2*r - 6. Let p be n(3). Suppose -k + 3*h + p = 4*h, 2*h = -k + 15. Which is smaller: y or k?
y
Suppose -773 - 20 = b. Let m = -75333/95 - b. Is m at most as big as 1?
True
Let f = 129 + -84. Let j = -44.86 + f. Which is smaller: -1 or j?
-1
Suppose 5*h + 2765 = 2775. Is h <= 26?
True
Let p = 5739/28 + -409/2. Is 0 greater than or equal to p?
False
Let t = 10 + -7.6. Which is smaller: t or -3?
-3
Let o = -151 - -96. Let i = o - -56. Which is greater: 1/6 or i?
i
Let l = -42524/63 + 4476/7. Which is greater: l or -37?
l
Let y(b) = b**2 + 5*b - 9. Let x be y(-7). Let n = 0.0855 - 0.3855. Which is smaller: x or n?
n
Let y(k) = -k**2 - 12*k - 8. Let q be y(-11). Suppose 2*a + q*l - 12 = 7*l, -4*a - 5*l - 41 = 0. Is a at least -4?
True
Let r be 1 + 0 + -3 - 531/(-225). Which is greater: 1 or r?
1
Suppose 0 = 5*k - 2*o - 3673, -17*o + 12*o - 730 = -k. Is k equal to 736?
False
Let z = 570 - 569. Is 0.288 less than z?
True
Let l be (-12)/(-48) - 228/(-48). Let b be ((-2)/14)/((-2)/86). Do l and b have different values?
True
Let j(f) = 4*f**2 + 21*f + 10. Let d be j(-7). Suppose d - 11 = 3*r. Is 0.1 at most as big as r?
True
Let x be (-5 - (-1 - 5)) + 0. Which is smaller: -2/707 or x?
-2/707
Let a = 16029 - 20501090/1279. Is a not equal to 1?
True
Let c(b) = -b**3 - 13*b**2 + 12*b - 30. Let i be c(-14). Let a be (-36)/i*35/70. Do 9 and a have the same value?
True
Let x = 136.992 + -137. Let z = x - -5.008. Is z at least as big as 2?
True
Suppose 32 = -u + 5*k, 2*u + 2*k - 1 = -17. Let j be (-6)/u - (-6)/(-4). Which is smaller: -1/21 or j?
j
Let m = -21 - -45. Let l be ((-2)/m)/(-3 - (-407)/135). Is l <= -7?
False
Let c = -128 - -132. Is c greater than or equal to 4/7?
True
Suppose w - 100 = 6*w. Let s = -16 + 26. Let n = s + -31. Is w greater than n?
True
Let p = 0.1215 + -0.0215. Which is smaller: p or -1276?
-1276
Suppose -19*n = -18*n - 2195. Let d be n/275 - (6/(-3))/10. Which is greater: d or 8?
d
Let o = -773.71 - -831.7. Let u = 58 - o. Is 0.4 less than u?
False
Let f be (-4)/2*70/(-20). Let d(w) = 2*w - 2. Let g be d(2). Suppose -g*n + 3 = -f. Which is greater: n or 4?
n
Let y be ((-12)/8)/((-135)/(-44) - 3). Let r be ((-24)/y - 1)/(-3). Are r and 0 nonequal?
True
Let w = 0 + 1. Let f = 1 + w. Let b be (-1*(-3)/9)/((31/9)/31). Are b and f non-equal?
True
Let d(u) be the second derivative of u**5/20 - 19*u**4/12 - 7*u**3/2 + 10*u**2 - 13*u. 