 >= m?
True
Let z(u) = 15*u - 73. Let q be z(5). Is 1 > q?
False
Let c = 177 - 185. Suppose 0 = z + 3 - 4. Let r be (1/z)/((-2)/c). Does r = 4?
True
Let d(x) = -3*x**2 - 10*x + 3. Let n be d(-4). Let u = 9725/7 + -1393. Which is smaller: u or n?
n
Let g = -294 + 874/3. Let x = -12 + 18. Let i = 2 - x. Are i and g unequal?
True
Let v = -1052 + 1058. Which is bigger: -17 or v?
v
Let i = -11 - -29. Let w be (-34)/6 - 6/i. Is w at least -2?
False
Let d(r) = r**3 - 3*r**2 + 1. Let x be d(4). Which is smaller: 16 or x?
16
Let h = -40 - -39.6. Is h < 17?
True
Suppose -3*j + 5*j + 894 = 0. Let k be (-2)/(-3) + j/684. Are k and 1 unequal?
True
Let l = -0.178 + -18.422. Let c = 19 + l. Which is smaller: -0.03 or c?
-0.03
Suppose a - 4*a + 90 = -3*q, 12 = 4*a. Suppose 0 = -13*u + 3*u + 10. Are u and q equal?
False
Suppose 888 = 14*z - 11*z. Which is greater: z or 295?
z
Let z = -1029 - -1087. Do z and 58 have the same value?
True
Suppose -9*s - 62 = 82. Is -8 at least as big as s?
True
Let r = -206 + 198. Which is greater: -4 or r?
-4
Let p = 3/509 - -1009/1527. Let k = 15 + -18. Which is smaller: k or p?
k
Let k(a) = a + 2. Let h be k(-2). Let c be (-1 - 1) + 4 + h. Let z(i) = -4*i + 59. Let n be z(14). Is n less than or equal to c?
False
Let y = 403 - 391. Let q = -1.1 - -0.1. Are y and q non-equal?
True
Let f = 615 - 614. Which is bigger: 2/229 or f?
f
Let q = -38 - -41. Suppose 0 = s + 2*y - 7, -3*y = q*s + y - 13. Let i(z) = -z**3 - 5*z**2 + 6*z - 3. Let c be i(-6). Which is smaller: c or s?
c
Let r = -636 - -737. Is r equal to 100?
False
Let g be (4/3)/(2/51). Let b be 3*(g/(-18) + 2). Suppose -2*s + 7*s = 0. Do s and b have the same value?
False
Suppose -4*f = 4, 5*f - 2 = -3*w - 1. Suppose 3*b - 130 = -w*b. Which is smaller: 27 or b?
b
Let b(s) = 2*s**3 + 2*s**2 + s. Suppose i - 4*t - 3 = -4*i, 5 = -3*i - t. Let c be b(i). Let z = -361/5994 - -1/162. Is z at most as big as c?
False
Let v = -19 + 284/15. Which is smaller: v or -0.94?
-0.94
Let v(k) = -2*k + 2. Let j be v(1). Let q be (-2)/3 + ((-57)/(-45) - j). Which is smaller: 2 or q?
q
Let j = 0.05 - 6.05. Let z = -6060 - -6062. Is j < z?
True
Let q = -12 + 8. Let w be q/(-10) + 3/30. Let u(z) = 3*z + 21. Let a be u(-6). Does a = w?
False
Suppose -5*x - 1 = 14. Let m be (x/49)/((-4)/14). Let b be (-1)/2 + (-5)/(-10). Is m >= b?
True
Let r = 55 + -28. Let y = r - 27.2. Are 24 and y unequal?
True
Suppose -89*c + 68 = -106*c. Which is greater: -5/9 or c?
-5/9
Let k = -1.8 + 1. Let q = -6.67 + 5.5. Let n = q + 0.17. Is n <= k?
True
Let l = -609 + 1021. Let c = l - 12771/31. Is -1 >= c?
False
Suppose -28 = -8*a + a. Suppose 49 + 11 = a*k. Is 27/2 less than k?
True
Let c be (-168)/27 - -3 - (4 + -7). Which is bigger: -91/3 or c?
c
Let y = -0.3 + 0.26. Let z = 1.64 + -113.64. Let r = -111.9 - z. Is y at least r?
False
Suppose 4 = 28*g - 24. Which is smaller: g or 1/60?
1/60
Let y = 45 + -43. Let d(b) = -b**2 + 4*b - 4. Let c be d(y). Is c not equal to -2/21?
True
Let z be (11/77)/(4/14). Which is bigger: 0 or z?
z
Let a(w) = -40*w - 3. Let j be a(4). Is -163 not equal to j?
False
Let m = -889 + 2034. Is m less than or equal to 1144?
False
Suppose 0 = 5*d - 1 - 4. Let r be (3 + 0)*-1 + 4830/1602. Let l = -610/5073 + r. Is l less than d?
True
Let w = -988 + 1186. Which is smaller: 196 or w?
196
Let o be (9 - (5 + 0))*2/8. Suppose 0*j - 1 = -j. Let b be 0 + (0 - j/(-30)). Which is bigger: b or o?
o
Let w be 20/(-90) + (-108946)/198. Let n = 551 + w. Suppose 2*g - 3 = 1. Is n < g?
True
Let n = 9.4 - 9.446. Do 2/5 and n have the same value?
False
Let c = 19 + -9. Suppose c = 3*l - 5*p - 14, -2*p - 6 = 0. Which is smaller: l or 1/17?
1/17
Let p be (450/27)/(-5)*-3. Does -19 = p?
False
Let g = -6 + 6.2. Let o be ((-5)/(-30))/(12/(-27)). Which is smaller: g or o?
o
Let a(h) = -3*h - 20. Let f be a(-6). Let x be ((-30)/9)/(f/(-6)). Is -10 at most as big as x?
True
Let c = -33 - -1. Which is bigger: -34 or c?
c
Let c(j) = -j**3 + 5*j**2 + j - 6. Let m be c(1). Which is smaller: 1/141 or m?
m
Suppose k = -5*y - 13, -5*k + 47 = -0*y - 3*y. Suppose -14 = k*d - 7. Which is greater: -30 or d?
d
Let r(o) = 6*o**3 - 7*o**2 + 4*o - 1. Let l be r(3). Is 110 bigger than l?
False
Let y be (-27 + 36)/(9/1). Which is smaller: y or -2/271?
-2/271
Let n = 39 - 4. Let h be (-258)/10 - 7/n. Which is bigger: h or -27?
h
Let p be (-68)/(-6)*((-99)/7 + 3). Let g = 126 + p. Which is bigger: 1 or g?
1
Let d = -119 - -118.914. Which is smaller: d or 0.4?
d
Let w = 0.3 - 1.3. Let h be (2/(-9) - 6500/(-1575)) + -4. Which is smaller: h or w?
w
Let h(b) = -2*b**2 + 2*b - 1. Let k(g) = -g**2. Let f(r) = h(r) - 3*k(r). Let j be f(-4). Suppose -j*d + 11 = -38. Which is smaller: 20/3 or d?
20/3
Let l be 1152 + 28/(-35)*5. Which is bigger: l or 1147?
l
Let f = 9 + -12. Let q(a) = a**3 + 4*a**2 + a - 3. Let h be q(f). Let n be (-4 - (-9)/h)*-1. Is n smaller than 1?
False
Suppose 862 = -4*b - 3*f, -27*f + 1091 = -5*b - 24*f. Which is smaller: -215 or b?
b
Let x(d) = 3*d**2 + 9*d + 9. Let p be x(-8). Let u = 197 - p. Is 67 greater than or equal to u?
False
Let n(i) = -i**2 - 13*i + 8. Let p be n(-13). Let q(d) = d**2 - 7*d - 9. Let b be q(p). Is b bigger than -18/13?
True
Let q = -1/118 - -185/944. Is q greater than or equal to 1?
False
Let h(t) = -17*t - 2 + t**2 + 7 - 7. Let f be h(10). Let s be (-1)/3*f/64. Does 0 = s?
False
Let w = 0.054 - 27.054. Let o = -25.95 - 0.05. Let z = o - w. Which is smaller: z or -8?
-8
Let z = 144 + -143.943. Is 1 != z?
True
Suppose -2*l + 17 = -1. Let i = l + -6. Suppose -3*j = -3*o - 39, -20 - 3 = 2*o - i*j. Is o equal to -16?
True
Let d be 13 + -19 - (-3 - (-1 - 0)). Is 4 != d?
True
Let i = 23 + -15. Let k be ((-4)/(-8))/(1/i). Let q be 1 + (-20)/k - -9. Which is smaller: 6 or q?
q
Let f be (-373)/(-2) - 1/(-2). Does 186 = f?
False
Suppose -5*s - 12 = 3. Let k be 4*(s - 87/(-30)). Suppose -5*y + 17 - 2 = 0. Which is bigger: y or k?
y
Suppose 11 = f - 1. Let k be -25 - (-1 - (5 - 3)). Let u = k - -34. Do f and u have the same value?
True
Suppose c - 66 = -v - 0*v, -4*v - 191 = -3*c. Let r = 38 - c. Let y be (-6)/r + 70/(-72). Is 0 less than y?
False
Let s be (1 - 5)*(9 + -13 + 6). Is s at most as big as 1?
True
Suppose 0 = -4*b + 4*r - 44, -14*b + 4*r - 36 = -11*b. Is -73/10 at most as big as b?
False
Let v = -2966/3 - -977. Let r be -14 - (1*-1 + 0). Let x = r - v. Is -2 >= x?
False
Let n = -997 + 298. Is -699 greater than or equal to n?
True
Let x be (-75)/(-5)*2/2. Suppose 2*w - 4*d = -14, 4*w - x + 19 = 2*d. Is w >= -1/4?
True
Let b = 181.9 - 198. Let j = b - -0.1. Which is greater: j or 1/3?
1/3
Let c = 2291 + -3320. Is -1029 at least c?
True
Let s(c) = c**2 + c - 2. Let q be s(0). Let r = -1.8 + 3.8. Let h = -5 + r. Which is greater: q or h?
q
Let c = 62 - 38. Let d = -17 + c. Is d at most as big as -1?
False
Let b = 16 - 4. Let x(s) = -s**3 + 12*s**2 + s - 12. Let d be x(b). Let w = -1/63 + -13/63. Which is smaller: d or w?
w
Let m be (-1521)/(-6) - 6/4. Let t be (-314441)/m - (-9)/12. Let b = -1247 - t. Which is smaller: b or 0?
0
Let c be ((-12)/(-32))/((-3)/2). Suppose -6 = a + 7. Let k(p) = p + 12. Let n be k(a). Which is smaller: n or c?
n
Let h(s) = -s**2 + 8*s + 2. Let p be h(6). Let l be (-2)/14 - 40/p. Which is smaller: l or -1?
l
Let a(z) = -2*z**3 + 45*z**2 - 23*z + 30. Let h be a(22). Is 6 > h?
False
Let n be -1 + (4 + 35 - 2). Let j = n + -34. Which is smaller: j or -2?
-2
Let m = 12 + -8. Suppose -4*y + 19 = b - 7, -b - m = -2*y. Let r = 3 + b. Is r greater than or equal to 0?
True
Let c be (-114)/168 + (-63)/(-147). Does c = -1.268?
False
Let i(y) = -y - 8. Let x be i(-7). Let f = -367 - -363. Are x and f nonequal?
True
Let p = 1 - 2. Let i(x) = x**3 + x**2 - x - 1. Let q be i(p). Let f = 6/7 + -19/14. Is q at least f?
True
Suppose 6*i = -7*i. Which is bigger: -7 or i?
i
Suppose -46 = 35*k - 33*k. Is -21 at most as big as k?
False
Let q = 5.63 - 0.03. Let z = q + -3.6. Which is greater: 3/5 or z?
z
Let b be (3/(-2) + 2)/(2/(-8)). Let x be (b/6)/((-8)/(-132)). Is -5 bigger than x?
True
Let w be ((-12)/10)/((-243)/(-720)). Suppose 28 = 445*h - 452*h. Which is greater: h or w?
w
Suppose -3 = n - 8. Let p be 25/n*2 - 3/1. Suppose 4*h = -2*s - 2*s + 32, 3*h - 4*s + 11 = 0. Which is greater