27
Let i be (-574)/(-70) - (-8 - -3). Which is smaller: 12 or i?
12
Let m(u) = 32*u + 79. Let k be m(-6). Let q = -135 - k. Is -20 equal to q?
False
Let m = -93 - 71. Is -162 at most as big as m?
False
Let m(z) = -7*z + 76. Let d be m(11). Which is smaller: -1/71 or d?
d
Let b = -387 - -3482/9. Is b at least 0?
False
Suppose -2200 = -107*f + 115*f. Is f at most as big as -276?
False
Suppose 2*i = -5*p - 31, -p - 55 = 5*i + 4*p. Let t(x) = -x - 9. Let d be t(i). Let g = 42.7 - 43. Is g less than d?
False
Let z(p) be the first derivative of -p**3/3 + 2*p**2 + 12*p - 9. Let m be z(0). Suppose 0 = 5*r - 2*b - 6 - 54, 0 = -2*r + 2*b + 24. Is m < r?
False
Let u be (-48)/(-21) - (-4)/(-14). Suppose 0 = -5*z - f + 27, 24 = 3*z + z + u*f. Which is smaller: z or 4?
4
Let o(w) = 16*w - 161. Let k be o(10). Which is bigger: k or -3/47?
-3/47
Suppose 0 = 5*k - v - 13, 0 = -k - 4*v - 0*v + 11. Suppose 29 = -k*n - 31. Which is bigger: n or -19?
-19
Let n be (-4)/(-6) - (-7)/(-6). Let q = 857/19175 + 2/325. Let m = q - -53/118. Is n at most m?
True
Let k = 1231 + -1164. Are k and 68 equal?
False
Let h be (3*-3 - 0)*2. Let m be 132/154 + 1 + (-695)/35. Is h != m?
False
Let h be (3/12)/((-35)/(-44)). Which is bigger: h or -1?
h
Let v(c) = -c**2 + 4*c - 6. Let g be v(4). Suppose 29*h + 9*h = -114. Is h less than or equal to g?
False
Suppose 3 - 33 = -3*s. Suppose -13 = w + 8*l - 4*l, 5*w - 5*l = s. Suppose -3*h + 1 = -2. Which is smaller: h or w?
w
Let x be (14/(-48))/((-3)/12). Let z = -0.5 + -0.6. Let a = z - -1. Which is greater: a or x?
x
Let c be ((-7)/(-2))/((-1)/(-2)). Let y = -1 - 2. Let l(d) = -d**3 - 2*d**2 - 1. Let p be l(y). Which is smaller: c or p?
c
Let o = -110 - -108. Let p(d) = -8*d**3 - 3*d**2 + d + 2. Let b be p(o). Which is bigger: b or 51?
b
Let h = -22 + 21.77. Let q = -0.966 - -0.336. Let t = q - h. Is 0 less than t?
False
Let y(w) = -w**3 - 4*w**2 + 6*w + 2. Let l be y(-5). Let d be (l - 32/(-12))*-9. Suppose -3*k + 0*k = -6, 5*s + d = -k. Is 0 less than s?
False
Let v be (-93)/62*(1 + 58/(-66)). Let r = -24 - -119/5. Which is greater: v or r?
v
Suppose -2*r - 9 = -7. Suppose 8*i - 48 = 4*i. Let b be 3/34*16/i. Which is smaller: b or r?
r
Let d = -1611 - -1643. Is 30 at least as big as d?
False
Suppose 4*l = 12, -5*l - 5 + 42 = -2*x. Are x and -13 non-equal?
True
Let w be (-1)/(-5) - (-18)/(-90). Suppose -4*j = -f + 4, -4*j - 16 = -4*f + j. Suppose 4*o + n - f = w, 4*o - 12 = 2*n - n. Which is bigger: 0 or o?
o
Let o = -1057 - -1379. Is -1 > o?
False
Let x be -3 + 2/(-10)*(-71 - -55). Which is smaller: -21 or x?
-21
Suppose -5*b + 271 = 4*i, 4*b = 5*i + b - 311. Let x = i - 46. Let p = x + -19. Which is smaller: p or -4/5?
p
Let n = 687 - 687. Is -10/43 at most as big as n?
True
Let o = 70 + -42. Let s = o + -20. Let q be 3275/393 + 4/6. Which is greater: s or q?
q
Let y be 8/(-2) + -4 + 5. Suppose 4*m - 13*u = -9*u, 0 = u + 2. Is y at most as big as m?
True
Let v = -415576 + 4567990/11. Let l = v + 304. Which is greater: -2 or l?
l
Suppose -4*h = -43 + 3. Suppose -6*x = -h*x + 5*x. Which is bigger: -2/5 or x?
x
Let l = 281.9349 + 0.0651. Is 1 greater than or equal to l?
False
Suppose q - g + 4*g = 256, 0 = 3*q + g - 792. Let y = -11927/45 + q. Which is smaller: y or 0?
y
Suppose 0 = 18*p - 20*p + w - 2, -4*w = 0. Which is smaller: p or 6/149?
p
Let g be 6/4 + (-27)/(-6) + -4. Suppose -7 = -g*o - l, 2*l - 5 = 3*o + 2*o. Which is smaller: 2 or o?
o
Let x(w) = -6*w**3 + 2*w + 1. Let s be x(-1). Let v be (2 + -3)*(7 - s). Let k be 8/(-4) + v/(-4). Does -2 = k?
False
Let p = 49 - 30. Suppose -23 = 4*c - p. Is c > -2/55?
False
Let w be (-21)/(-12) + 1/4. Suppose 34*o + 90 = 28*o. Let c be (1 - w)/((-3)/o). Which is smaller: c or -25/4?
-25/4
Let w = 0 - -4. Let l be (-3)/12*75*w. Let b be -1 - 4/(324/l). Is b > 0?
False
Suppose -2*a = -2*v, 5*a - 10*v + 2 = -7*v. Which is bigger: -2403 or a?
a
Suppose -2*u = -5*v + 12, 2*v + u - 9 = 6*u. Is 14 at least as big as v?
True
Let o be (0/33)/(1/1). Is o > 0.16?
False
Let s = 124.8 + -91. Let m = s + -32. Are 1 and m equal?
False
Suppose -7*w - 3*t = -2*w + 174, 3*w + 3*t + 108 = 0. Let z = -167/5 - w. Is 32 > z?
True
Let o be 1 - (-57 + -3 + 1). Suppose 6*j - j = o. Suppose -2*h - j = 2*h. Do h and -2/7 have different values?
True
Let l = 0.11 + -0.4. Let t = 0 + 0.31. Let h = l + t. Which is smaller: 2 or h?
h
Let j be 1/(-18) - (-6)/27. Let h be (5 - 48/10)*-5. Is h at most as big as j?
True
Let o = 10 - 6. Suppose 25 = o*r + 3*s, 3*r = -s - s + 20. Which is smaller: r or 11?
r
Let n(q) = -4 - 9*q + 7 - 2. Let l be n(1). Which is bigger: -7 or l?
-7
Let i = 53 + -37. Suppose m = -h + 2*h, 3*m - i = -5*h. Suppose -2*a + m*t + 0*t - 2 = 0, -4*t = -2*a + 8. Is -6 not equal to a?
False
Let x = 21 + -19. Let p = 281 + -279. Is x greater than p?
False
Suppose 722 = 4*g + 2*r, 5*r = 4*g - 280 - 421. Is g equal to 179?
True
Let t be (4 - (-494)/39)/((-4)/30). Which is bigger: t or 0.01?
0.01
Let c be (-8)/44 + (12776/(-68816))/(-1). Is c at least as big as 0?
True
Let q = -1/2 - -7/6. Let p = 78 - 33. Let x = 45.3 - p. Is x > q?
False
Let f = -460 + 460. Is f != -7?
True
Let o = 5.34 - 6.9. Let u = 0.44 - o. Which is greater: 23 or u?
23
Let s be (12058/(-1507) - (0 + -1)) + 7. Is 0 < s?
False
Let h be (-5)/((-10)/(-6)) - -63. Let d be 725/h - 2/(-8). Let f = d - 12. Which is smaller: 0.1 or f?
0.1
Let u(w) = -3*w - 15. Let o be u(-12). Let h be ((-12)/(-18))/((-2)/o). Which is greater: -4 or h?
-4
Suppose 2*d + 0*d - 864 = 0. Let c be (4 - 1) + d/(-90). Is c bigger than -2?
True
Suppose -4*g + 8 = 4*g. Which is greater: 5/88 or g?
g
Suppose -2*d + 6 = a, a - 8 = 2*a - 5*d. Suppose 5 = z + a, -4 = u - z. Is 6/17 <= u?
False
Let k(w) = -2*w**2 + 2*w. Let b be k(2). Let x be (-20)/8*b/(-105). Suppose -2*i - 5 = 3*n + 1, -n - 2*i = 6. Are x and n non-equal?
True
Let o = 10 + 6. Let m be 0/((-4)/(-8)*6). Suppose 5*r + 0*r - 4*n = 93, 3*r - n - 53 = m. Which is smaller: r or o?
o
Let p = 1 - 2.4. Let q = p + -1. Let b = q + 3. Is b smaller than -1?
False
Let x = 1242 - 1924. Is -681 greater than or equal to x?
True
Let u(h) = h**2 - 4*h + 4. Suppose 5*t - 2 = -2*f + t, -4*f + t + 13 = 0. Let x be u(f). Which is smaller: x or 1/57?
1/57
Let f be (4 + -5)/((-3)/(-543)). Is f >= -181?
True
Let u(c) = 25*c + 326. Let a be u(-13). Which is bigger: 2/91 or a?
a
Let g = 4.51 + -0.01. Let k = -0.8 - g. Let x = 0.3 + k. Is -2 smaller than x?
False
Suppose -49 = -3*r - 4*v, -22*r + 17*r - v + 59 = 0. Let t = 4/7 - -125/14. Is t <= r?
True
Let g be -6 + 8 + (0 - -2). Let d be (0 - -3)/(6/g). Let h be d*(3 - 9/2). Which is bigger: -12/7 or h?
-12/7
Let u = -27 - -26.989. Let i = 5.711 + u. Let s = i + -6. Which is bigger: -0.2 or s?
-0.2
Let l = -10786/3 - -3652. Is l smaller than 56?
False
Let y = -167657/19 + 8831. Which is bigger: 7 or y?
7
Let t(q) = -6*q - 48. Let x be t(-9). Suppose 8*o - x*o - 10 = 0. Let y = -0.04 - -0.34. Which is smaller: o or y?
y
Suppose 0 = 4*a - d - 27, a + d - 22 = -2*a. Let q = 0 - -3. Is q at most a?
True
Let q(n) = n**3 + 3*n**2 + 4*n + 2. Let a be q(-2). Let i = a + -11. Is i greater than or equal to -14?
True
Let m = -41/8 + 61/8. Is m at most -4/3?
False
Let n(k) = k**2 - 4*k - 22 + 27 - k. Suppose 2*x = -r + 6 + 7, 2*x + 2 = 2*r. Let p be n(r). Which is smaller: 4 or p?
4
Let a = -51 - -79. Suppose 2*q + 43 = 3*o, q = 2*o - q - a. Let c = -25 + o. Which is bigger: -11 or c?
c
Let x = -3 + 4. Let k = -51.378 - 2.472. Let y = 54 + k. Is y less than or equal to x?
True
Let d = -15 - -22. Let t = 2390 + -2391. Which is smaller: d or t?
t
Suppose 3*c - 22 = -4*u, 2*c = u - 0*c. Suppose 5*k = u - 109. Let b be (k/(-2))/((-12)/(-16)). Is b >= 13?
True
Suppose 7*c - 4*i + 7 = 2*c, 11 = -4*c + 5*i. Let h be (-1708)/44 - (-4)/(-22). Which is smaller: h or c?
h
Let j = -2.41 + 0.41. Let m = j + 1.9. Is m at most 16?
True
Suppose 28 = 3*t + t. Suppose c - 11 = -t. Let r = c + -10. Which is bigger: -5 or r?
-5
Let k(q) = q - 2. Let v be k(5). Let c = -61 + 63. Suppose 0 = 5*y - v*m - 69 + 21, -3*y = -c*m - 29. Is y > -1/4?
True
Let m(d) = -d - 8. Suppose 2*r = -3*h + 3*r + 4, -3*h + 3*r - 6 = 0. Suppose 2*j = -h*j. Let u be m(j). Is -6 < u?
False
Let z = -168 - -167. Which is smaller: 3/123