-3.5 + 3. Let h = l - -0.53. Is h != z?
True
Let u be (-12)/(-44)*-2 - 12/(-22). Let o be (-8)/(-14) - 0/1. Is o < u?
False
Let x(y) = -51*y + 466. Let p be x(8). Is p < 54?
False
Let c be 1/(6 + (-4)/2). Suppose d - 8*k - 6 = -3*k, -k = 5*d + 48. Let u be d/(-3)*(-2)/(-6). Which is greater: u or c?
u
Let g be (-238)/5 + ((-56)/(-10) - 6). Let f = -39 - g. Which is bigger: 28/3 or f?
28/3
Suppose -4*t = -5*m + 72, 3*t - 5*m + 22 = -27. Which is greater: -13 or t?
-13
Let s = 93.9 - 94.2. Which is smaller: s or -6.3?
-6.3
Let c = -1.126 + 0.826. Which is smaller: -0.033 or c?
c
Let c be ((-44)/152)/(11/110). Which is smaller: -4 or c?
-4
Let l = 776 - 342214/441. Is l at most -1?
False
Let p(m) be the third derivative of m**6/120 + 3*m**5/20 + m**4/24 + 11*m**3/6 - 20*m**2. Let q be p(-9). Which is greater: q or -3?
q
Suppose 3*b - 6 = 0, 3*r + 0*b - 16 = 4*b. Suppose -3*o = 4*z - 40, -53 = o + 3*z - 63. Suppose -r*s + 4*s = -o. Which is smaller: s or 16/3?
s
Let l(i) = 14*i + 1. Let b be l(1). Suppose d - 26 = -2*g, g - 60 = -3*g - 4*d. Is g less than b?
True
Let d(x) = 2*x**2 - 25*x + 6. Let y be d(11). Which is greater: y or -25?
-25
Let z = 0.326 - 3.326. Is z at most 2?
True
Let p be (-137)/1 + (4 - 3). Let n = 126 + p. Are n and -9 equal?
False
Let y be (-16)/10*30/(-12). Suppose 4*h = -t - 32, -4*t = y*h - t + 32. Let x be ((-6)/4)/((-30)/h). Which is smaller: x or -4/9?
-4/9
Let v = 793/5 + -159. Let o = -6 - -4. Is o less than v?
True
Let y(a) = 6*a + 6. Let t be y(0). Which is smaller: t or 13/2?
t
Let p = 23 + -4. Let g = p + -17. Is g at least 5/3?
True
Let d be (1*5/270)/((-3)/(-24)). Let o = -3928/7263 + 6/269. Let l = d - o. Which is smaller: 2 or l?
l
Let c be (-1)/(-4) - 121/(-44). Suppose 0 = -c*m + 7*m - 16. Suppose 4*g + j - 53 = 0, g = 4*g - m*j - 16. Which is bigger: -0.1 or g?
g
Let f be (17/18)/((-3)/(-196116)). Let m = 61916 - f. Let b = -176 + m. Is b smaller than 1/8?
True
Let s(p) = 17*p**2 - 9*p - 4. Let m be s(-4). Is m smaller than 305?
True
Let i = -721 + 722. Is 13/88 greater than or equal to i?
False
Suppose -502 = -21*m + 716. Do 55 and m have the same value?
False
Suppose 25 = 5*a, 2*w = 4*a + 3 - 9. Suppose d - 5*c - 6 - w = 0, -5*d = -5*c - 45. Let k be -6 + 3 + 26/d. Which is smaller: k or -1/8?
-1/8
Suppose 2 - 1 = g. Let r = 565 - 23166/41. Is g greater than r?
True
Let c = 1.84 + -1.03. Let y = -0.62 + 0.53. Let u = c - y. Which is smaller: 1/3 or u?
1/3
Let z = -728 - -733. Which is greater: z or 13?
13
Let o = 1 + 1. Let f = -5/3 + o. Is f less than or equal to 0.4?
True
Suppose 2*p + 20 = -20. Suppose -2*s - 108 = 2*l, 113 = -3*l + 3*s - 25. Let f be ((-1)/(-3))/(p/l). Which is smaller: 0 or f?
0
Suppose -8 = 2*h - 4*k + 4, 3*k - 31 = -4*h. Suppose 2*q - 15 = -5*r - h, -2 = -5*q - 4*r. Is q at least -2?
True
Let q(b) = 30*b. Suppose 5*g + 4*x + 15 = 0, -x + 0 - 3 = 2*g. Let j be q(g). Suppose 0 = 6*w - w - j. Are w and 2 nonequal?
True
Let o be (-9800)/(-220) - (-18)/(-33). Which is greater: o or 42?
o
Let j = 4 - -12. Let g = j + -20. Is 0 < g?
False
Let v be 298/(-39) - 8/12 - -4. Is v >= -3?
False
Let f(p) = -2*p**2 + 21*p - 26. Let v be f(9). Which is smaller: -1/100 or v?
-1/100
Let k = 9.6 + 2.4. Let s = k + -7. Suppose 29*l + 0 = -0. Is l greater than or equal to s?
False
Let y = 2.6 - 2.71. Let i = -2.11 - y. Is -2/7 at most as big as i?
False
Suppose 4*u = -3*t + 21, -u + 9 = 2*t - 0. Let q be (-3 - (-28)/60)*t. Which is smaller: q or -9?
-9
Let w(g) = -3*g + 16. Let p be w(4). Let r be 4*2*((-33)/(-8) - p). Which is bigger: 38 or r?
38
Suppose -2*k + 90 = 13*k. Let f be (-12)/8*(-4)/k. Let b(h) = h + 1. Let t be b(1). Which is greater: f or t?
t
Let z = -26 - -15. Let o = 9.439 + 0.561. Let w = z + o. Is -1/3 < w?
False
Let b = -100.2 - -100. Which is smaller: b or -5?
-5
Let u be -4 - 1 - (-1 - 1). Let l be ((-4)/u)/(228/(-36)). Are l and 0 nonequal?
True
Suppose 2*w + 8 = 4*j, 2*j = 6*w - w + 4. Let m be 64 + -9 + (4 - w). Is m >= 58?
True
Suppose 12*h - 7*h = -30. Let f be (0/2)/(h*(-4)/(-12)). Is f >= -7/6?
True
Let m = 7 - 3. Let l(a) = 1 - a + 5*a + m - 3*a. Let k be l(-8). Which is greater: k or -2?
-2
Let a = 0.093 + -0.093. Let w = 8 - 8.019. Which is smaller: a or w?
w
Let q = 0 - 0. Let j be -3 + 2 - (5 + (-7 - -3)). Let l be 0 + -1 + j/1. Which is bigger: q or l?
q
Let g(m) = m**3 + 7*m**2 + 2*m + 1. Let z(b) = b**3 + 8*b**2 + b. Let q(v) = -4*g(v) + 3*z(v). Let t be q(-2). Which is bigger: t or -12/11?
-12/11
Let s be -2 - (4 - (3884/388 + -4)). Is 1 at least as big as s?
True
Suppose -2*f + 3*c - 19 = -0*c, -4*f + 4*c - 32 = 0. Let q(a) = -4*a**2 - 3*a - 8. Let t be q(-3). Let z = t + 30. Is f <= z?
True
Let r be 1/1 + -1 + -2. Let g = r + 2. Let j = -7973/18 + 443. Is j less than or equal to g?
False
Let y be 1/(20/(-15) - -1). Which is smaller: -31/12 or y?
y
Suppose 3*d = w + 148, -3*w + 11*d = 6*d + 440. Is -145 at most as big as w?
True
Suppose -16*r + 1460 = -588. Are r and 128 unequal?
False
Let a = -393 + 579. Which is smaller: a or 188?
a
Let k(z) = -z**3 + 7*z**2 + 4*z + 14. Let o be k(7). Let l = o + -19. Is 24 < l?
False
Suppose 0*o = -2*p + 3*o - 3, 5*p - 40 = -2*o. Suppose p*j - 4*j - 12 = -4*r, 2*r - 5*j - 18 = 0. Is 4 < r?
False
Let x = 41536541/494780 - -12/24739. Let u = x + -84. Are u and 0 equal?
False
Suppose 4*v = 5*v - 1. Let n be 6/(-129)*(36/8)/(-3). Which is bigger: n or v?
v
Suppose -3 = 4*f + 33. Suppose -21 = h + h - 3*l, 4*h + 4*l + 32 = 0. Is h smaller than f?
False
Suppose 50 = 5*m - 90. Let j = m - 24. Suppose j*w = -6 + 2. Is w smaller than -20/9?
False
Suppose -4*m = -2*r - 18, 5*r = 4*m - 0*m - 9. Let f(i) = 2*i - 7. Let j be f(m). Which is smaller: j or 4?
4
Let h(k) = -k**2 + 6*k + 21. Let j be h(8). Suppose 4*r + j*i + 12 = 0, 0 = 3*r - i - 4*i + 9. Which is smaller: r or -8/3?
r
Let y(g) = -2*g**2 - 3*g + 22. Suppose 0 = 4*s - 3*w - 15, 3*s - 3*w - 8 = 4. Let o be y(s). Is o greater than or equal to -1?
False
Suppose 4 = 2*n - 5*t, -n + 0 + 2 = 3*t. Suppose -n*w = -2 + 12. Which is smaller: w or -7?
-7
Let r = 8260/771 + -12/257. Which is smaller: r or 10?
10
Let f be (-1)/(-4) - (-35)/4. Suppose -f*y + 7*y + 12 = 0. Let g be 32/y*27/(-12). Do g and -12 have different values?
False
Suppose 12*j - 8*j = 20. Suppose -j*u = -10, -3*n = 4*u + 9 + 4. Let s(h) = -h**3 + 8*h**2 + 8*h + 3. Let f be s(9). Which is smaller: n or f?
n
Suppose 2*s + 24 = -2*m, 4*s = -m + 2*m + 2. Which is smaller: -20 or m?
-20
Suppose -3*j + k = -8, 10*j + 4*k + 2 = 7*j. Is -121 bigger than j?
False
Let b be (2/3)/((-10)/165). Let w = -14 - b. Let y be -1 + 4/24*w. Is y <= -1?
True
Suppose 11 = 3*p - 94. Let s = p - 36. Is 18 >= s?
True
Let v be (-3200)/2 + (27 - 27). Let p = v + 6431/4. Is p <= 8?
True
Let d = -6 - -4. Let o = -58/33 - -340/231. Is d < o?
True
Suppose 77 = 7*v - 0*v. Suppose -2*l - 2*b + 6 = 0, l + 2*b = 4*l + v. Which is smaller: l or -17?
-17
Let o = 1592 + -2622. Is o equal to -1030?
True
Let f(s) = 7*s**2 + s + 2. Let y be f(-1). Suppose g = -w - 4*g + y, -2*w + 2*g = 8. Let v be w + 0 + (-50)/5. Which is greater: -13 or v?
v
Let n be 30/(-4) + ((-14)/(-4) - 5). Let r(z) = -z**2 + 7*z - 10. Let h be r(7). Let u = h - -3. Which is smaller: n or u?
n
Let x = -8429/165 + 603/11. Is x at least as big as 4?
False
Suppose -288 = 4*v + 190 - 130. Let l(j) = -3*j**2 + 2*j - 1. Let c be l(-5). Is v bigger than c?
False
Let f = 158.063 + -158. Let c = -0.137 - f. Is -0.9 greater than or equal to c?
False
Let p be (-8)/100*(16 + -1). Let s = 71 - 70.34. Let i = 0.56 - s. Is i greater than or equal to p?
True
Let f(y) = 3*y + 2*y - y**2 + 1 - y. Let x be f(2). Suppose 3*q - 6*i + 2*i - 32 = 0, q = -x*i - 21. Is 4 < q?
False
Let h = -2.2 + 2.32. Let l = 0.07 + h. Let x = -0.39 + l. Is x > -1?
True
Let k = -30 + 2. Let h = -22 - k. Suppose w - 16 = -3*w. Are h and w non-equal?
True
Suppose -2*k - 4*z - 28 = 0, 18 - 124 = 5*k - 2*z. Let j be 0 + 0/3 - -8. Let i = k + j. Is -11 < i?
False
Let j = -256 - -256. Which is greater: -204 or j?
j
Let s = 165 + -563. Let c be s/(-18) - 4/36. Is c at least 23?
False
Suppose -4*u - 6*y = -2*y - 96, -82 = -4*u + 3*y. Let z be 19 + (-3 + 3 - -4). Let x = u - z. Is x not equal to -1?
False
Let f = 316/13 + -239186/98