 Which is smaller: r or 1?
r
Let a = 400 + -399. Let t be (2/18)/((-4)/(-20)). Does a = t?
False
Let v be 2/5 + (-379)/(-5). Let p be (-8)/(-2*(-4)/(-76)). Let l = v - p. Which is smaller: -2/5 or l?
-2/5
Suppose -1738 = 40*k - 38*k + 4*y, -5*y = -3*k - 2607. Is -869 smaller than k?
False
Let t = -26 + 44. Suppose 2*z = 4*h, 4*z + 0*h + h - t = 0. Is z smaller than 4?
False
Let z = -41.04 + 40. Let a = 0.24 + z. Are 0 and a nonequal?
True
Let f = 94 - 53. Let u = -41 + f. Is 21 bigger than u?
True
Let o be (-1)/(-4) - (-22)/8. Suppose -6*m + 18 + 6 = 0. Suppose o*f - c = m, -5*f - 5*c - 1 = -f. Is f < -10?
False
Let r = -1002 + 1001.87. Is r less than or equal to 16?
True
Suppose -31*s + 1336 = -23*s. Do s and 2 have the same value?
False
Let z be 2/5 + (-222)/30. Let m(o) = -o - 17. Let q be m(z). Let i be (-54)/q + 12/(-30). Which is bigger: i or 3?
i
Let j be (-3)/24*(-2 - -1). Let i = -3.29 + 3.19. Are i and j non-equal?
True
Let a = -1711 - -1712. Which is smaller: a or -19?
-19
Let h = -5.33 + 0.33. Let t = 6 + h. Let u = t + -0.9. Is u at least -4/11?
True
Let c be (3/12)/((-9)/18). Which is greater: c or 7/13?
7/13
Let u(g) be the first derivative of -g**2 - 8*g + 9. Let s be u(0). Let i be 195/(-27) - s/36. Which is bigger: -8 or i?
i
Let u(z) = z. Let i be u(1). Let g be 13/52 - (-8082)/(-40). Let d = 203 + g. Which is smaller: d or i?
i
Suppose 3*z - 20 - 4 = 0. Suppose a + 3*h + h = 0, -a - 3*h = 0. Suppose a = -28*x + 31*x - 24. Is z > x?
False
Let y = 22 + -20. Suppose n + 6 = 4*x + 3*n, 28 = y*x - 4*n. Suppose t + 3*t = -x. Is t at most as big as -4/9?
True
Let z = 1396 - 1399. Is 99 at most z?
False
Let g be (3/(-4))/((-1064)/128 - 5). Is 0 equal to g?
False
Let l be (4 - 1/1)*8. Let i = 140 + -132. Let w be (-18)/l - 10/i. Which is bigger: w or -4/5?
-4/5
Let i = 0.011 + 66.789. Let m = 62 - i. Which is smaller: -2/7 or m?
m
Let u = -550 - -620. Which is greater: 1/4 or u?
u
Suppose 4*c + 4*y + 0*y = 180, 0 = 5*y - 10. Suppose 4*m = 0, 5*h = m + c - 8. Let k(v) = -v + 1. Let b be k(h). Are -6 and b equal?
True
Let m(a) = 2*a - 46. Let f be m(-3). Is -56 at most f?
True
Let x = -1.1 - 73.9. Let k = x - -85. Is k at most 2?
False
Let k = -173 + 142. Is -39 < k?
True
Suppose 0 = -2*l - 2*l. Suppose 5*t + 557 = o, l = -t + 2*o - 4*o - 118. Let d be t/40 + (2 - -1). Is 0 <= d?
True
Let q(h) = -69*h + 3. Let j be q(-3). Let i be 1127/j - 1/(-2). Let t = i - 1058/165. Is 0 at least t?
True
Let h = 31079 - 37636667/1211. Which is smaller: h or 1?
h
Let n = -46 + 50. Let w = n - -5. Is w < 7?
False
Let b be (108/69)/((-4)/((-64)/2)). Is b < 12?
False
Let o = -3.3 + 6.6. Let t = -8.2 + o. Let m = -5 - t. Which is greater: -0.02 or m?
-0.02
Let f = -416 - -415. Which is bigger: f or 9/35?
9/35
Let g be (-1 + 2)*(1 + -1). Suppose -2 - 4 = -3*a. Suppose -18 = -a*s + 4*q - g*q, -8 = 3*s + q. Is s at most 4/13?
True
Let y = -28.9 - -28.5. Is -1/30 at most as big as y?
False
Let c = -3 - -2. Let z = -12/113 + 1567/3051. Let q = -8/27 + z. Which is bigger: q or c?
q
Let s be 30/(-55) - (-3107)/5434. Which is greater: -3/17 or s?
s
Suppose j + 0 = 3. Suppose -70 = -2*y + r - 5*r, -j*r - 35 = -2*y. Is 25 greater than y?
False
Let j be (-58)/(-10) + (-6)/(-30). Let a be (j/12)/((-1)/(-218)). Let l = 331/3 - a. Which is smaller: l or -2/7?
-2/7
Let o be 4/(1 + 3) - 167. Let p = 254 + o. Suppose -3*n = 4*i - 2*n + p, i - 4*n + 5 = 0. Is -21 at least as big as i?
True
Let s = 1866 - 1092. Is 775 greater than s?
True
Let i = 116 - 162. Let c = 136/3 + i. Is -2/47 greater than c?
True
Let n(y) = y**3 + 3*y**2 + y - 1. Let i(a) = a**2 - 2*a - 2. Let b be i(2). Let t be n(b). Suppose t = -3*p + 4. Which is smaller: p or 8/5?
p
Let j = -9.93 + -0.07. Let x = -4 - j. Let t = x - 6.1. Is t > -0.1?
False
Let s = -14 + 2. Let j = -9 + 2. Let a = s - j. Which is smaller: -3 or a?
a
Let b = -0.01 + -0.07. Suppose r + 3 = t, -16*t - r = -14*t. Is b less than t?
True
Suppose -3*j + 24 = -6*j. Let p be -32*(16/(-6))/j. Do p and -11 have different values?
True
Let t(f) = 3*f**3 + f**2 - 5*f - 3. Let w be t(-2). Let v = 12 + w. Let r be 1/(20/(-72)) + 3. Which is smaller: v or r?
v
Suppose -4*j - 1932 = 4*f, -1667 = 3*j - 4*f - 239. Which is bigger: -481 or j?
j
Let p be (-2)/15 + 14/(-21). Let v be -1 + 1 + (-7 - -6). Is v >= p?
False
Let g be -4 + 5 - (-30)/2. Which is smaller: 17 or g?
g
Suppose -1261 + 245 = 8*o. Let x = o - -117. Which is bigger: x or -0.2?
-0.2
Suppose 53*m - 5*a + 8 = 50*m, 4*a = 4. Are m and 4/125 equal?
False
Let m = 122 - -140. Which is greater: -1 or m?
m
Let v = -78.1 - -82. Let w = v - 4. Which is bigger: -60 or w?
w
Let a = -84/17 - -269/51. Which is smaller: a or -11?
-11
Let o be (-72)/45 + 2/(-5). Let v be -2 + o/(3/(-3)). Let l = 71 + -215/3. Which is smaller: l or v?
l
Suppose -7 = -g + 1. Let a = -18.4 + -2.6. Let v = a + 20. Which is smaller: v or g?
v
Let p(l) = -l + 11. Let r be p(9). Let g be 6/(-3) - (-1 + -5). Suppose -g*a = b, 0 = r*b + 3*b + a + 19. Which is greater: b or -5?
b
Let n = 618.1 - 618. Is n greater than or equal to -1?
True
Let j = -20.6748 + -0.0252. Let y = j - -1.7. Let o = -19.1 - y. Do -18 and o have the same value?
False
Let z = 0.05 - 0. Let d be (0 - 13/26)*1. Do d and z have different values?
True
Let s = -2623/11 - -239. Let r(d) = -4*d - 4. Let o be r(3). Let c = 16 + o. Which is greater: c or s?
s
Suppose 2*v + 4*p = 10, 5*v + 5*p - 12 = -2. Let w = 1.01 - -1.31. Let b = -0.32 + w. Is b smaller than v?
False
Suppose 0 = -3*y + 5*x - 50, -5*x + 100 = 11*y - 16*y. Which is greater: y or -24?
-24
Let z(b) = -b**3 + 16*b**2 - b + 19. Let d(o) = -8*o. Let a be d(-2). Let c be z(a). Let x = 5 - 3. Which is greater: x or c?
c
Let r = 8 + -22. Suppose 5*m = 2*w + 7 + 58, -13 = -m + 5*w. Let u = r + m. Is -1 > u?
False
Let q = 397 + -403. Are 48 and q equal?
False
Let g = 41207/14921 + -119/43. Is -1 smaller than g?
True
Let b(g) = 0 - 6 - 6*g**2 + g**2 + 6*g + 4*g**2. Let j be b(5). Is -2 > j?
False
Suppose 2*p + 3*b - 201 = 0, -208 = -5*p + 4*b + 306. Which is smaller: p or 100?
100
Suppose 0 = -4*r + 3 + 1, -4*m + 44 = 4*r. Which is smaller: 15 or m?
m
Suppose 11 + 5 = 4*p. Suppose -4 = -p*a - 24. Let s(t) = 2*t**3 + 4*t**2 + t - 2. Let x be s(-2). Is a > x?
False
Let z = -1765 + 1394. Do -371 and z have the same value?
True
Let f = 776 + -776. Are -194 and f nonequal?
True
Let o be 170/(-5)*(1 - 2). Which is greater: 33 or o?
o
Let d = 19511.043 - 19520. Let w = -0.057 - d. Let j = 9 - w. Are j and 1 nonequal?
True
Let q be (20/18)/(47/(-47)). Is q smaller than -5/2?
False
Let b = 164 - 26. Let o = b - 418/3. Which is greater: o or 0?
0
Let s = -340.1 + 344. Which is bigger: s or 0.2?
s
Let w be (-5 + -1)*5*(-2)/(-27). Let d(s) = s - 4. Let x be d(3). Which is greater: w or x?
x
Let l be 50/8 + 3/(-12). Suppose 0 = -l*m + m + 5. Let v = -6/283 - -1481/3113. Are m and v equal?
False
Let l = -43257/868 + -90/217. Is -51 at least as big as l?
False
Let l = 3 + -6. Let g = l - -3. Suppose -i - 5 = -6*i. Are i and g equal?
False
Let q = -66035/8784 - -44/549. Which is smaller: -6 or q?
q
Let o = 53 - 88. Is -33 > o?
True
Let d = -163 + 162.9. Which is bigger: d or 142?
142
Let w be (-5)/(60/8)*9/6. Which is smaller: -43 or w?
-43
Let p be (-10 + 10)/(8/2). Which is bigger: p or 2/31?
2/31
Let v = 218 - 329. Is -107 smaller than v?
False
Let h(w) = w**3 - 10*w**2 + 14*w + 3. Let k be h(8). Which is bigger: k or -196/17?
-196/17
Let l(q) = -q**2 + 4*q + 12. Let d be l(6). Suppose 6*x + 12 = -d*x. Which is smaller: x or -5?
-5
Let s(z) be the first derivative of -8*z**3/3 - 5*z**2/2 - 10*z - 24. Let g be s(-2). Is g less than or equal to -1?
True
Let p be 10*8/(-10)*(-2)/(-12). Let o = 0.053 + -0.253. Which is greater: p or o?
o
Let q(z) = -z + 1. Let a be q(-5). Suppose -6*v + 5 = -19. Is a greater than v?
True
Let x = 241 + -235. Do x and 0.07 have different values?
True
Let u(q) = -8*q - 144. Let g be u(-11). Which is greater: g or -54?
-54
Let v be 2 - (1 - (-13 - -3)). Suppose -2 - 25 = -3*d + c, 18 = 2*d + c. Let x be (0 - -3)/(d/(-30)). Is v < x?
False
Let m(l) = -29*l + 50. Let p be m(6). Is p <= -123?
True
Let l = 2.182 - 0.182. Is 1/31 greater than l?
False
Suppose 0 = -5*p - s - s - 43, 0 = 5*