- (-13)/(-78)*4. Is 1/1320 at most as big as d?
False
Suppose -k - m - 1 = 0, 6*k + 4*m = 3*k - 5. Let j be (k + 10/(-6))*105/70. Is 11.4 less than or equal to j?
False
Suppose 4*l = 2*g - 3*g - 1179, 2*g + 4*l = -2378. Which is smaller: -1200 or g?
-1200
Let j = -259 - -262. Which is smaller: j or -98?
-98
Suppose w = s - 3, 0 = -17*w + 22*w - 5. Suppose -s*y + 2*b = -4, -2*b + 3 = 3*y - 0. Let x be (-2)/(-7) - (-220)/(-574). Are x and y equal?
False
Let c be (54/(-63))/((-5)/(-7)). Let p = 5157 - 5159. Which is bigger: p or c?
c
Let w(n) = 2*n**3 - n**2 - 2*n. Let l be w(2). Let f(u) = 5*u - 146 + 39 - 33. Let i be f(28). Is i not equal to l?
True
Suppose 0 = -127*t - 37*t + 89380. Which is bigger: t or 3?
t
Suppose -2*s - 437 = -126*k + 125*k, 5*k - 409 = 2*s. Which is bigger: s or -218?
-218
Let o = 0.2 - 0.1. Let n = 28529 - 28514. Which is bigger: o or n?
n
Suppose 3*b + 62 = b + 5*d + 184, 108 = -9*d. Suppose 0 = -s - 3*y + 20, 2*s - y + 1 - 62 = 0. Is s bigger than b?
False
Let c be (-42)/(-4)*(-158)/(-3). Let q = -236 - c. Let f = q - -8691/11. Which is greater: f or 0?
f
Let g = 607 + -458. Let s = -142 + g. Which is smaller: s or 0.15?
0.15
Let z be -22*7/28*-2. Suppose -z*g + 13*g = 2*u - 4, 3*u = -4*g + 13. Let s = 113/70 - 3/14. Which is smaller: g or s?
g
Let s = -3601.00525 - -0.00525. Which is greater: -1 or s?
-1
Let c be 4*(27/(-6) + -6). Let f be (700/c)/(1/(-3)). Is f equal to 50?
True
Suppose -5*f = -5*w - 10, -2*w + 4*f = -6*w - 8. Let i = 2179/6 + -365. Is w bigger than i?
False
Suppose 0 = -a + 3*a - 4, -92 = -4*l + 2*a. Let p = -36192 - -72429/2. Is l <= p?
False
Let n be -5 + (-64)/(-10) - 3. Suppose -3*v = -14 + 23. Which is greater: n or v?
n
Let x = 80 - 76. Let l be 255/1 - (x + -1 + -1). Let j = l + -1243/5. Is j smaller than 3?
False
Let l be ((1 - (-50)/(-30)) + 5)*7/(-3). Do 1/3 and l have different values?
True
Let p(o) = -17*o + 43. Let w(s) = 12*s - 29. Let t(z) = 5*p(z) + 7*w(z). Let n be t(21). Let j = -1 - -3. Which is smaller: j or n?
n
Let w be 72/(-2)*(-6)/(-12). Let b(c) = -18*c**3 + 3*c**2 + 15*c - 17. Let n be b(1). Which is smaller: n or w?
w
Let t be (-5 - 1)/(3 + 116/(-36)). Suppose t*c - 30*c + 48 = 0. Which is greater: 135/8 or c?
135/8
Suppose 9 = 2*v - 3*d, 0 = 4*v - 2*d + 6*d + 32. Let l = 7.39 + -8.89. Which is greater: l or v?
l
Let u = -24.911 - -560.371. Let z = -530 + u. Let m = -0.54 - z. Is 0 > m?
True
Let t(y) = 100*y**3 - 2*y**2 + 3*y - 36. Let z be t(5). Which is smaller: z or 12430?
z
Suppose 91*o - 92*o - 5486 = -x, 4*x + 4*o = 21888. Is x greater than 5478?
True
Let y = -20 + 20. Suppose 15*j - 5*j = y. Suppose w + 19 = 5*n, j = -3*w - 2*w - n - 43. Is -9 at least as big as w?
True
Let q(v) = v**2 + 8*v - 66. Let z be q(-13). Let y be 51/(-17) - z/(-14)*-46. Is y at most -299?
False
Let s = 153 + -146. Let v = 21 + -24. Is s greater than v?
True
Let l = 0.3584 - 0.373. Let s = 0.1854 - l. Which is bigger: s or -3/28?
s
Let b = 67 - 123. Let j = 237 + b. Is 0.1 < j?
True
Suppose 2*l - 24 = -4*a, -3*a + 3*l = 5*l - 19. Suppose -a*t - 3*c - 294 + 0 = 0, 0 = 5*t - 4*c + 273. Is -56 < t?
False
Suppose 0 = -79*b + 106*b - 54. Let t = 86 - 253/3. Is b < t?
False
Let m be ((-174)/(-9) - -1)*-27. Let v be (m/(-57))/3 + -3. Suppose -28*k + 8 = -36*k. Is k greater than v?
False
Suppose 14*s - 72980 = -57202. Is 1127 < s?
False
Let b = 999 - 1411. Let r = 3511567/170 - 210681/10. Let n = b - r. Which is greater: n or -1?
n
Let h = 3137 - 3147. Let f(n) = 3 - 11*n - n**2 + 11 - 2. Let z be f(h). Is z not equal to 22?
False
Let n be (11 - 10) + (6 - 2). Suppose 0 = n*a + 9*a + 3038. Is a less than or equal to -216?
True
Let h be (11/((-9625)/830))/((-12)/(-537)). Let b = h - -297/7. Is b smaller than 1?
True
Suppose -h + 146 - 23 = -2*a, 0 = -2*h - 5*a + 282. Let n = -139 + h. Let d be 0/(n + 4 + -1). Which is greater: -5 or d?
d
Suppose -c - 26 = -4*b + 29, -4*b + 35 = -5*c. Let z = 269 - 375. Let p be z/(-159) + (-190)/(-12) + -1. Which is greater: b or p?
p
Let c = 1.2 - -3.8. Let h = -0.0478 - -0.3988. Let r = 0.551 - h. Which is smaller: c or r?
r
Let l(w) = w**2 - 36*w + 155. Let t be l(4). Let h be (-3)/(-9) - (-1)/(-3). Suppose h = -5*a + 64 + 66. Which is smaller: a or t?
a
Let l = -24 - -28. Let t = -7 + 12. Suppose l*g - t*g = -3. Which is smaller: 9/2 or g?
g
Let r = -0.103 - 1.987. Let h = r - -2.29. Let p = -4 - -6. Which is smaller: p or h?
h
Let x be 4*2/(-4)*2 - -4. Let i be (14/21)/((-5)/3 - x). Is -1 not equal to i?
True
Let w = -240 + -155. Let u = w - -394.1. Are -2/5 and u unequal?
True
Suppose 0*d = -4*d. Let h(l) = -5*l**3 + l. Suppose 14*u - 1 = 13. Let v be h(u). Is v greater than d?
False
Let u(z) = 18*z - z**2 - 3 - 6*z**2 + 4 + 8*z**2 + 1. Let o be u(-15). Suppose 42 = -r - 0*r. Is r != o?
True
Let z = -46 - -44. Let k(o) = o**2 - 12*o - 11. Let d be k(13). Suppose -4*l = -3*f + 5, 3*l - 1 - 8 = -d*f. Which is bigger: z or f?
f
Suppose 12*n - 97 - 887 = 0. Which is greater: n or 45?
n
Let a = -3565534/386281211 + 2/296911. Which is smaller: a or -1?
-1
Let b be (407/(-204) - 0) + 2. Let z be (-1)/5*(12/(-198) - 204/(-99)). Which is greater: z or b?
b
Let l = -3711.4 - -3637.4. Is l >= 24?
False
Suppose -3*k + 28 = 4*k. Suppose 4*n - k*s = 16, 0*n - n = -5*s - 4. Suppose -n*l - r = 0, 3*l = 5*r - 7 - 16. Is 2/61 smaller than l?
False
Let c be 6*(2/(-16))/(4/(-48)). Are -50 and c equal?
False
Let i be ((-2)/(-4))/(5 - 4434/864). Let t = i + 1531/399. Which is bigger: t or -1?
t
Let n = -10290 - -5963. Let i = 1830322/423 + n. Which is greater: i or 1?
1
Let f = -215 + 230.08. Let w = f - 15.1. Is w equal to 2/7?
False
Let t = 13268 - 13270.9. Let i = 0 + -0.1. Let g = i + t. Which is bigger: g or 2/17?
2/17
Suppose -1538*j - 8 = -1525*j + 5. Which is smaller: 2/975 or j?
j
Suppose 3*j - 2*a - 16279 = 0, -2*j + 8212 = 2*a - 2634. Let k = j + -3520824/649. Is -1 <= k?
True
Let g(x) = -238*x + 67. Let q be g(0). Suppose 3*o - f - 180 = 17, -8 = 4*f. Which is smaller: o or q?
o
Let w = -220 - -373. Which is smaller: 151 or w?
151
Suppose -c = -3 - 37. Let f = -34 + c. Let a be (-6)/2 + f/6. Which is smaller: -10/3 or a?
-10/3
Suppose w - 5*m + 967 = 0, 4814 = -5*w - 15*m + 19*m. Let z = w + 948. Suppose -v - 45 = 2*v. Is v at least z?
False
Let x be 1640/(-123)*(-3)/4. Let u be (9*(-11)/(-165))/(6/x). Which is greater: u or -5/83?
u
Let i be (10/(-7))/(10 + (-36132)/(-1218)). Let r be (-18)/488*(-2)/3. Let z = r - i. Do -1 and z have the same value?
False
Let o = 1/6 + 5/24. Let i = -848249 - -848247. Which is greater: i or o?
o
Suppose -4*x = 2*m + 2*m + 76, 2*x = -m - 43. Which is greater: x or -400?
x
Let m be -45 + 14357/294 - (-4 + 2 - -5). Let h = -0.3 - -0.8. Which is smaller: m or h?
h
Suppose -5*p - 7*p = 2*p. Suppose 5*j = 5*r - r - 1, 3*j - 3*r + 3 = p. Suppose -3*d = 6*q - 3*q - 15, -d = j*q - 5. Is q bigger than 2/71?
False
Let m(z) = -z**2 - 9*z - 8. Let n be m(-8). Suppose 44 = 2*u - 2*h, 0 = -0*u + 4*u + 4*h - 48. Suppose n = u*p - 21*p. Is -3 greater than or equal to p?
False
Let h = -7.31 - -6.813. Let u = 2.503 - h. Let j = -3 + 3.5. Is j greater than or equal to u?
False
Suppose -9*m + 31 = -4*c - 4*m, -3*m + 1 = 2*c. Let t = -6 - c. Let n be (2/72*2)/((-10)/280). Which is smaller: n or t?
t
Suppose 3*f - 21 = -b, 2*f = 4*b + 3*f - 51. Let i(t) = -t - 4. Let d be i(-17). Is b bigger than d?
False
Suppose -r + 90 = -3*k + 41, r - 79 = 6*k. Let v(j) be the third derivative of 5*j**4/24 - j**3 + 2*j**2. Let x be v(5). Is r > x?
False
Let p = 164 - 162. Suppose n = 3 - 2. Let k be 20/p + (n - 2 - 2). Is 6 <= k?
True
Let y = 3974 + -4377. Which is smaller: -393 or y?
y
Let y be 10/(-50) - (-1 + (-23062)/60). Let g = y - 747/2. Suppose 2*h - b - 22 = 0, 56 = h + 4*h - 2*b. Are g and h equal?
False
Suppose -v = -3*i - 432, -450 = 3*i + 4*v + v. Let w = -124 - i. Which is smaller: w or 20?
20
Suppose 60 = w + 53, -l - 4*w = 107. Do -147 and l have the same value?
False
Suppose 46*a + 4 = 50*a. Suppose -s + 5*r - 6 = 4, 4 = r. Let f be s/4*(-26)/(-30) + -2. Which is bigger: f or a?
a
Let w be ((-644)/1932)/((-2629)/(-6)). Is w less than 1?
True
Let m = 85 - 63. Let v be (2 - -1)/(7 + m/(-4)). Let p be ((-12)/936)/(v/8). Are p and -1 equal?
False
Suppos