 (-2 + 4)*(-11)/22. Which is smaller: -1/90 or o?
o
Let r(k) = -k**2 + 8*k - 7. Let p be r(6). Let v(w) = w + 8. Let j be v(p). Let i = j - 12. Is 7/8 smaller than i?
True
Suppose 5*h = 4*d - 365, -5*d = -2*h - 3 - 126. Do h and -80 have the same value?
False
Let y = -204 - -197. Suppose -6*j = -5*a - 2*j - 78, 3*a + 46 = 2*j. Let d = a - -6. Is d greater than y?
False
Let w = 4538/3 + -19670/13. Let c = 1/25028 + -1151327/976092. Let k = c - w. Which is smaller: 0 or k?
k
Let q = 1.1 - 0.78. Let w = -2.22 + q. Let t = w + 2. Which is smaller: 2 or t?
t
Suppose -4*x = -5*b + 8, 0*x = 2*x + 2*b - 14. Suppose 0 = 5*f - 20, 11 = -x*o + 9*f - 7*f. Which is smaller: o or 2/113?
o
Let u = 20 - 8. Let r be (4/6)/(8/u). Suppose -2*o + 0 + 4 = 0. Which is bigger: r or o?
o
Let g = 1159 + -1372. Is -1 not equal to g?
True
Let w(l) = -l**3 - 15*l**2 - 3*l - 6. Let h be w(-15). Let c = h + -45. Which is smaller: c or -4?
c
Let d be 0*((-1)/2 + (-3)/(-4)). Is -4/157 at least as big as d?
False
Suppose -5*j = 5*b - 465, b + 8*j - 5*j = 89. Is b smaller than 95?
False
Let h = -28 + 24.6. Let o = -2.4 - h. Which is bigger: o or -0.21?
o
Let a be 447894/24 + (-2)/8. Let p = 242348/13 - a. Let w = -20 - p. Which is bigger: w or 2/17?
2/17
Let t = -9.7 + 11.1. Is 6 greater than or equal to t?
True
Suppose a = 5*a - 5*g + 305, 4*g = 20. Is a greater than 0?
False
Let t be ((-58)/36308)/(0 - (-3)/9). Is t >= -1?
True
Let k = -46 + 479. Which is bigger: 432 or k?
k
Let w = 3 - 3.2. Let k = -5324 - -5321. Do k and w have different values?
True
Let a = 0.728 + 0.242. Let j = -6.97 + 7. Let g = a + j. Which is smaller: -5 or g?
-5
Let p = -15463/6 - -2589. Is 11 smaller than p?
True
Let m = 544 + -522. Is m smaller than -6?
False
Suppose -5*n = -5*b + 2130, -5*n = 4*b - 838 + 2968. Let g be ((-2)/5)/(n/30). Suppose 4*s - s = 0. Which is smaller: g or s?
s
Let n(y) = y**3 + 6*y**2 - y + 5. Let r be n(-6). Let q be (5 + -14)/(1*(-24)/32). Is q != r?
True
Let u = -3.6 + 5. Let v = u - 1.3. Which is greater: 23 or v?
23
Let a = 164 - 167. Let p be (-1 + (-14)/(-10))*-10. Is a less than or equal to p?
False
Let z = 117 - 82. Is -0.1 less than z?
True
Let r = 33 - 25. Let b be (-1)/1*((-12)/r)/(-3). Is -8 not equal to b?
True
Suppose 944 + 136 = -8*r. Is -133 bigger than r?
True
Let s be (-45)/(-2)*(9 + 451/(-55)). Let v be (1/((-3)/(-51)))/1. Which is greater: v or s?
s
Suppose 3*q - 25 = 26. Suppose -q = 5*h + 38. Suppose -3*t = -3*g + 36, 5*g = -t - 24 + 12. Which is greater: t or h?
h
Let c = 112175/48 - 2337. Is 6/11 at most c?
False
Let y be -1*(24 - 5)*-1. Is 18 less than or equal to y?
True
Let j = -26.2 + -7.8. Let w = 33 + j. Let x be (-2)/(-4)*(-4)/(-6). Is w at most as big as x?
True
Let s = -22 - -8. Let k = s - -18. Is k > 1/3?
True
Let d = -132.903 - -133. Let l = d + 5.903. Do l and 2/3 have the same value?
False
Let p(y) = y**3 - y**2 - 3*y - 10. Let h be p(3). Let n = -230 - -3911/17. Is n at least h?
True
Let g be -9 + 8 + 12 + -11. Is g > -330?
True
Let x be (-7)/(-5) + 18/150*5. Suppose 3*h + 63 = -2*j, x*j + 71 = -0*j + 5*h. Is -33 not equal to j?
False
Suppose 0*v = -2*v. Suppose 0 = -5*t - 15, -b + 4*b + 4*t + 3 = v. Suppose -b*l + 2*i = 23, 3*l + 7 + 24 = -2*i. Which is smaller: l or -17/2?
l
Let p = -3845 + 3837. Suppose -2 = 3*m - 2*m. Is p greater than or equal to m?
False
Let s(o) = o**2 - 18*o + 9. Let i be s(7). Let m be -1 + (0 - i/66). Let a be (-16)/(-48) + (-2)/6. Which is greater: m or a?
m
Let s be 10/(-4)*-24 + 3. Let x = -37 + s. Suppose -5*h = -x - 39. Is 14 greater than or equal to h?
True
Let r be 2544/30*3/(-6). Let y = r + 826/15. Is 12 > y?
False
Let r = -0.01 - -0.05. Let w = r - 2.64. Let x = 3.1 + w. Is 2 greater than x?
True
Let v be 52/(-16) + (-4)/(-16). Let f(l) = l**3 + 2*l**2 - 3*l + 4. Let k be f(v). Let u be (-12)/24 + (-26)/k. Is u at least as big as -7?
True
Suppose 0 = 3*s - t + 2*t - 21, 5*s + 3*t - 39 = 0. Let a(u) = 2*u**3 - 10*u**2 + 9*u - 6. Let h be a(s). Let k be 10/h + (-1)/(-4). Is 4/11 smaller than k?
False
Let x = -368 - -367.954. Is x equal to 0?
False
Let c(i) = 2*i**2 + 3*i - 3. Let q be (8 + -2)*(-2)/4. Let w be c(q). Let g = -5 + 11. Are g and w equal?
True
Let n(h) = -2*h**3 + 31*h**2 - 15*h - 19. Let g be n(15). Suppose 14 + 24 = -2*j. Is j bigger than g?
False
Let g be (207/(-621))/(34/6). Let i(m) = m + 4. Let c be i(-4). Which is bigger: g or c?
c
Let h = -36.9 + 37.79. Which is greater: 1/4 or h?
h
Let l(v) = -5*v + 1 + 3*v - 3*v + 3*v. Let x(q) = q**2 - q - 2. Let r be x(0). Let s be l(r). Which is greater: s or 14/3?
s
Let i(s) = -s**2 - 19*s - 35. Let c = 38 + -55. Let d be i(c). Which is smaller: -2/51 or d?
d
Let g be (-18)/(-180)*(-11430)/12. Is g less than -94?
True
Let d(f) = -f**3 + 10*f**2 - 4*f + 24. Let t be d(10). Suppose 3*q = 2*w + 25 + 6, 3*w - 4*q + 47 = 0. Is w >= t?
False
Suppose 0 = -2*k + k + 2*m + 3, 5*k = -4*m - 13. Let h be 2/(k - 56/3 - 1). Is 0 greater than or equal to h?
True
Suppose 0 = -f + 4*t + 23, -5*f - 5*t - 19 = -3*f. Suppose 0 = 4*z - 5*l + 12, l + 16 = -3*z + 3*l. Let a be (f/(-12))/(62/z). Is a less than or equal to -1?
False
Let m = -23/231 + 8/33. Which is bigger: m or -0.8?
m
Let p = 0.0293 - -0.0707. Is 47 at least p?
True
Let m = -3 + 2. Let p = -0.0728 + 15.8128. Let f = p + 0.26. Which is smaller: f or m?
m
Suppose -2*y + 65 = -t, t - 3*t - 145 = y. Let f = t - -37. Is f > -34?
False
Let q be 16/(-20)*5/(-10). Is 2/7 < q?
True
Let j = -6 + 14. Suppose -2*p - 4*v + 24 = 0, j = p - v + 2*v. Suppose -p*d = 2*b, 0*b = -3*d - b - 1. Which is smaller: d or 0?
d
Let h be (-13)/(-52) - 111/1020. Which is greater: 0 or h?
h
Let z be 4/(-3)*15/(-12170). Let u = -6219/81539 + z. Let x = -297/3082 - u. Which is bigger: 1 or x?
1
Let a(c) = -4*c - 7. Let m be a(0). Let y be (24/m)/(10/(-35)). Which is smaller: y or 14?
y
Let t(k) = -k**2 - 6*k - 3. Let n be t(-3). Suppose -4*j - v = -0*j - 37, 2*v = -n. Does 17/2 = j?
False
Let l = -179/252 - 1/252. Suppose -4*q = -5*u - 121, 83 = -3*u + 7*q - 2*q. Let d(n) = -n - 21. Let t be d(u). Which is smaller: l or t?
l
Let r = 2094 - 2001. Which is bigger: r or -8?
r
Let i = -12681830/3921 + 9703/3. Which is smaller: 0 or i?
i
Let o = -79 + 80. Suppose 0 = 13*m + 12 + o. Which is smaller: m or 1/18?
m
Suppose 21*g = 25*g. Suppose g = -o - 17. Which is smaller: o or -16?
o
Let i be (-35)/20 - 4/16. Let b(o) = -5*o - 4. Let x be b(i). Which is bigger: x or -1?
x
Let h = -812 - -812. Is -2/1707 greater than or equal to h?
False
Let i = -0.3 - -0.2. Let t = 62 - 64.1. Let h = t - i. Is h >= 2?
False
Let u = 7.89 - 8. Let m = u + 0.21. Let n = 0.75 - 1.15. Which is smaller: n or m?
n
Let d be 454 - ((2 - 0) + -2 + 4). Suppose -d = 13*t - 1893. Which is bigger: 112 or t?
112
Let n(f) = f**2 - f - 2. Let p be n(2). Which is greater: p or 2/3955?
2/3955
Let j = -45 + 3. Let w = j + 17. Let l = -13 - w. Is l != 2?
True
Let d be -77 + 1/(-3)*0/(-1). Let f = d + 80. Suppose -3*y - 4 = -22. Is f at most y?
True
Let t be 114/(-18) - 2/(-6). Let n(b) = b - 19. Let y be n(t). Do -25 and y have different values?
False
Let c = 72.69 - 73. Let r = -0.09 + c. Is r < 3/4?
True
Let l(t) = -t**2 + 12*t - 12. Suppose 3*x - 18 = -h + 5*h, -x + 4*h - 2 = 0. Let b be l(x). Is 8 smaller than b?
False
Let x = 2.1 - 2. Let s = 0.1 + x. Suppose -2*q = z + 1, 0 = 9*z - 10*z - 5*q - 4. Which is greater: z or s?
z
Let k = 140 + -75. Suppose -4*o - 9 = -3*v - k, -85 = 4*v + 5*o. Is v at most as big as -21?
False
Let n = -121 - -128. Let i be (-4)/(-2) + -4 - 7. Let b = n + i. Is 2 at least as big as b?
True
Let g(v) = -2*v - 1. Let f be g(-2). Let p(q) = -q**3 - 6*q**2 + 14*q + 20. Let b be p(-8). Let x be ((-2)/(-30))/((-24)/b). Is x at least f?
False
Let p = 484 + -484. Which is bigger: p or 7/92?
7/92
Let z = -238.9 - -239.1. Which is bigger: 522 or z?
522
Let f = 87 + -42. Let m = 66 - f. Suppose n = -2*n + m. Is n at most 7?
True
Let r(h) = -h**2 - 18*h - 23. Let c = -39 + 23. Let z be r(c). Are 8 and z non-equal?
True
Let x(w) = w**3 + 21*w**2 + 27. Let f be x(-21). Which is greater: 3 or f?
f
Let i(f) = 44*f + 452. Let a be i(-14). Is a at most as big as -818/5?
True
Let a be ((-2)/(-22))/((-12)/(-24)). Let p = -6.7 + 6.77. Which is smaller: a