= -20*r + 21*r. Let n = 34 - r. Is -11 > n?
False
Let m = 274763/138 - 12001/6. Which is greater: m or -8?
-8
Suppose 17*k + 18*k = 38*k. Is k greater than -1/615?
True
Let h = -365 - -367.63. Let r = 0.27 + h. Is r less than or equal to 0?
False
Let q = -310/7 - -44. Let r = 0 - -0.04. Let p = 0.36 + r. Which is smaller: p or q?
q
Let u = 159 - 158. Which is greater: 27/16 or u?
27/16
Let x = 146.2 + 203.8. Is x greater than or equal to 0.1?
True
Let c = 39 + -29. Let q be c/(-4)*3/(90/(-3)). Which is smaller: q or 0.15?
0.15
Let g be (-28)/(-280)*(1 - -15). Let r(p) = -p**2 + 3*p + 2. Let l be r(3). Let y be (1/2)/(l/4). Which is bigger: g or y?
g
Let x be 35/(-14)*(-12)/(-5). Which is smaller: 0.1 or x?
x
Let a(y) = y**2 - 5*y + 2. Let g be a(9). Let d(n) = n**2 + 3*n + 35. Let i be d(-4). Do i and g have different values?
True
Let d = 12 + 5. Let b(w) = w**3 - 11*w**2 - 4*w + 62. Let x be b(11). Which is smaller: x or d?
d
Let m = 323 + -327. Which is smaller: -35 or m?
-35
Let u = -1063 + 52089/49. Is 1 at least as big as u?
True
Suppose -30 = -6*b + b. Suppose -b*q + 7*q = 0. Which is bigger: 3/31 or q?
3/31
Suppose -n + 13 = -3*s, 4*s + 7 = 3. Let m(h) = -h**3 + 8*h**2 + 21*h - 7. Let r be m(n). Is 15/8 not equal to r?
True
Let b = -3 + 2. Let i = -1912/551 - -62/19. Which is smaller: i or b?
b
Let a = -23.95 - 0.05. Let k = a + 24.3. Let n = 1.7 + k. Which is smaller: n or 7?
n
Let w = -370.9 + 371. Which is bigger: 2/21 or w?
w
Let u(c) = 10*c**2 + 44*c + 7. Let p be u(-4). Which is smaller: 29 or p?
p
Let k = -2375 - -2383. Which is greater: -0.69 or k?
k
Suppose -103*d - 138 = -104*d. Which is smaller: d or 139?
d
Suppose -8 = -3*d + 1, -3*a - 5*d = 12. Let h(j) = 2*j + 18. Let q be h(a). Suppose q = -i - 0*i. Which is smaller: i or -0.8?
-0.8
Let z be (-1)/(192/(-1496)) - (-8)/(-12). Which is bigger: z or 8?
8
Let x(b) = -b - 1. Let j be x(0). Let o(v) = 12*v**3 - v**2 + 1. Let a be o(j). Let s be (-8)/a - 33/9. Does -4 = s?
False
Let g(r) = r + 123. Let p be g(15). Which is smaller: 143 or p?
p
Let v = -16 - -16. Let j = 3 - v. Let t = j + -5. Does t = 1/4?
False
Let f = -1002 + 1470. Are 468 and f equal?
True
Let i = 402 - 316. Which is smaller: -1 or i?
-1
Let x be (-10*2/(-16))/((-23)/368). Which is bigger: -17 or x?
-17
Let i = -17 + 17.1. Which is bigger: i or -0.07?
i
Suppose 396 + 367 = 2*h - y, 4*h = -y + 1535. Is 383 < h?
False
Suppose -2*b = 2*g - 3*g - 2, 2*g + 9 = -b. Suppose -3*w = -2*z + 8 - 98, -z + 4*w - 45 = 0. Let d be 62/(-112) + z/(-105). Which is bigger: d or b?
d
Suppose -32 = -13*n - 175. Let l(m) = -12*m - 45. Let t be l(n). Is 87 < t?
False
Let h = 2801/15985 + -13/695. Which is greater: h or 1?
1
Let p be 176/(-924)*(1 + -157). Which is smaller: 29 or p?
29
Let m(o) be the third derivative of o**5/60 + o**4/8 - 4*o**3/3 - 34*o**2. Let k be m(6). Are k and 47 unequal?
True
Let g be (1053/234)/(-2*2/(-48)). Is 54 at most g?
True
Suppose 2*f - 4 = 4*t - 2, -28 = -3*f + t. Let l(z) = 97*z + f - 100*z + 4. Let s be l(8). Which is smaller: -7 or s?
s
Let a(w) be the third derivative of -w**5/30 + w**4/24 - w**3/6 - 6*w**2. Let s be a(1). Which is bigger: -1/2 or s?
-1/2
Let g = 0.13 - 0.03. Let a(j) be the second derivative of -j**3/3 + 37*j**2/2 - 9*j. Let s be a(15). Which is bigger: s or g?
s
Suppose -3*q - 410 = -5*w, -q = w - 29 - 45. Suppose -52*m + 4136 = -8*m. Suppose -3*v + w = -4*i, 4*i = -4*v + 2*v - m. Is i at most -21?
True
Let o be ((-1)/((-7)/2))/(20/15). Let m(l) = -l - 10. Let s be m(-11). Is s at least o?
True
Suppose -27 = 5*d + 13. Let v be d/28 - 102/(-14). Let s be (56/(-6))/7*-6. Which is smaller: s or v?
v
Suppose -5*j - 7 = 53. Let w be (-4 + 1)/((-1)/j). Which is smaller: w or -37?
-37
Suppose -2*o + 278 = 4*j, 5*o + 154 = 2*j + 3*o. Let a = -5 + 7. Suppose -8*q + a*q = j. Is q less than -13?
False
Let x(s) = -6*s + 5*s + 24 - 2*s. Let m be x(8). Which is smaller: -1/21 or m?
-1/21
Let x(p) = -p**3 - 48*p**2 + 97*p - 149. Let w be x(-50). Does w = 62/37?
False
Let r(q) = q**3 + q**2 + q + 1. Let a(x) = -3*x**3 - 14*x**2 + 7*x - 1. Let o(k) = -a(k) - 2*r(k). Let c be o(-13). Is -53 < c?
False
Let o be -2*(-3)/(15/5). Suppose -31 = o*h - h. Let m = -31 - h. Which is greater: 1/3 or m?
1/3
Let t = 13 + -19. Let d(z) = -z**3 + 6*z**2 - 4*z - 3. Let f be d(6). Let q be ((-90)/f)/(2/t). Which is greater: -11 or q?
q
Let d be 24/(-280) + (-2)/10*1. Let v(j) = -j**3 + 8*j**2 - 5*j - 9. Let k be v(7). Suppose 2*f - k*f = 2*p, 3*f = 0. Which is bigger: p or d?
p
Let w be 8*((-78)/108 - (-6)/27). Which is smaller: w or -14/3?
-14/3
Let s(c) = -3*c + 25. Let r be s(10). Let i be r/(5/(-4)) - 825/135. Is -1 bigger than i?
True
Let b = 278 + -425. Is -293/2 at most as big as b?
False
Suppose 4*d - 145 = -3*t, 0 = -2*d - d + 3*t + 114. Do d and 37 have the same value?
True
Suppose k = 4*j - 31 + 34, -9 = -5*j - 3*k. Which is greater: -470 or j?
j
Let k = -22 + 16. Let p = -2 - k. Let s = 15 - 13. Which is smaller: s or p?
s
Let v = -8 - -4. Let a be v/14 + 8/77. Is a at least 1?
False
Let x = -4396/17 - -260. Which is bigger: 2 or x?
2
Suppose -360 - 568 = -16*q. Which is greater: q or 53?
q
Let a = 36 + -7. Let x = a - 32. Let z = 0.05 - 0.15. Which is smaller: x or z?
x
Let l be -22 - (-8)/((-32)/12). Let p be (1 - l/(-35))*70/3. Is p smaller than 6?
False
Let i = -0.054 + -0.001. Let x = i - -0.155. Which is bigger: x or 42?
42
Suppose -5*v = i - 14, 3*i - 5*i + 2*v - 8 = 0. Is i equal to -3/143?
False
Let m = -272421/65 + 4191. Which is smaller: m or 0?
m
Suppose 0 = -2*c - 3 + 5. Let o = 2603326/111 + -23453. Let g = o - 2/37. Which is bigger: g or c?
c
Suppose -184*c + 164*c - 360 = 0. Let k(b) = b**2 - b - 17. Let f be k(0). Which is bigger: f or c?
f
Let w = 34.354 + -0.354. Which is smaller: -2/13 or w?
-2/13
Let s = 33 - 40. Let k = s - 12. Which is smaller: k or 1?
k
Let h = 99 + -169. Let s = h - -487/7. Let w = 3 + -3. Which is bigger: s or w?
w
Let g be -1 + 375 + (-112)/(-56). Which is smaller: 375 or g?
375
Let p = 13.06 + -0.06. Let a = p - 18. Suppose r = 4*r. Are a and r equal?
False
Let j = -10.16 - -10. Let b = 0.06 + j. Which is smaller: 27 or b?
b
Let z = 96 - 93. Let m be z/(15/10 - 0). Which is smaller: 1/3 or m?
1/3
Suppose -4*l + a = 9, 4*a - 3*a = -2*l + 3. Is 5/42 less than l?
False
Let y = 19899 + -19896. Let x = 419/36 - 43/4. Which is smaller: x or y?
x
Let d(g) = -g + 19. Let u be d(18). Let a be -6*u*4/(-6). Suppose 0 = k - 5*k + a. Is 2 less than k?
False
Suppose -10*f = -11*f + 44. Let w = f - 42. Let q = -52 - -317/6. Is w < q?
False
Let z = 616 + -599. Let l be (-3)/6 + 70/4. Is z < l?
False
Suppose 0 = -16*b + 12 + 4. Let s be b/(-1) - (-1 - 9). Are -0.1 and s equal?
False
Suppose -c = -d - 3*d - 614, 3*d + 3002 = 5*c. Which is smaller: -2/3 or c?
-2/3
Let k(l) = l**3 + 6*l**2 - l - 7. Let i(f) be the second derivative of -f**4/6 + 5*f**3/3 - 3*f**2 - 7*f. Let y be i(5). Let g be k(y). Is g >= -1/2?
False
Suppose 3*w = 5*a - 5, -4*w - 6 + 4 = -2*a. Let o = -28.9 + 4.9. Is o smaller than w?
True
Let c = 736/9 + -82. Which is bigger: c or -8/7?
c
Let h(x) = -x + 4. Let m be (20/(-6))/((-36)/(-54)). Let u be h(m). Suppose u = 3*s - 5*g + 24, s + 5 = -g. Which is bigger: s or -3?
-3
Suppose 8*x - 8 = -16. Let w be 2/(-8) + 17/4. Suppose -3*d + w*d = -6. Do x and d have the same value?
False
Let m = 5.42 - 5.2. Let p = 0.5 - 0.32. Let l = p + m. Is l less than or equal to -1?
False
Let y(f) = f**3 + 16. Let u be y(0). Suppose -u = 4*x + 36. Let q be 89/(-7) - (-50)/(-175). Is x greater than q?
False
Let l(r) = r**2 + 5*r. Let u be l(-5). Suppose 8 = -4*v - u*v. Let b be 24/(-45) + v/(-10). Is b at least 1?
False
Let l(x) be the second derivative of x**4/12 - 11*x**3/6 + 2*x**2 - 5*x. Let p be l(11). Is p > 8/3?
True
Let v = 234 - 259. Do v and 3/2 have the same value?
False
Let d be 8/26*1/4. Let c be 0/((-108)/(-198) + 76/22). Which is smaller: d or c?
c
Let g be (-3)/(((-1)/3)/((-14)/42)). Let h be 76/24 + g + 652/(-24). Is h >= -25?
False
Suppose 20*f - 32 = 24*f. Suppose -5*g = 6 - 176. Let d be (-3)/15 - g/5. Which is smaller: f or d?
f
Let l = -37 + 5. Let p = -31.9 - l. Which is smaller: p or 1/2?
p
Let z = -2123 - -2108. Which is smaller: -4 or z?
z
Let 