s smaller: u or 2/189?
u
Let f = -39.97 + 40. Let j = 2.27 + f. Let c = 2.3 - j. Is c less than 0.08?
True
Let i = -0.086 + -0.714. Does i = -3/4?
False
Suppose -5*q = 3 + 2. Let v(l) = -l**2 - 18*l - 20. Let m be v(-16). Let b be ((-11)/((-44)/9))/(m/(-10)). Which is smaller: q or b?
b
Let i = 24 + -36. Let t be (16/i)/(3/(-9)). Suppose t*c - 2*c + 10 = -5*x, -4*x = -2*c + 8. Which is bigger: x or -1?
-1
Let p = 902/13 - 3392/65. Which is smaller: 16 or p?
16
Let p(m) be the first derivative of -m**2 + 14*m + 3. Let n be p(5). Suppose 14 = -2*y + n. Which is smaller: y or -22/5?
y
Let p = 0.21 - -0.69. Let v = -0.1 - p. Let s = 233 - 237. Which is greater: s or v?
v
Let w = -11 + 11. Let a be (-2)/12 - (-165)/(-306). Which is smaller: w or a?
a
Suppose 2*r + 270 = -4*r. Let s = r - -74. Is 30 at most as big as s?
False
Let v = 2.2 - 17.2. Let p = v - -17. Is -7 smaller than p?
True
Suppose 1264 = 21*h - 983. Is 2 <= h?
True
Suppose -8*l + 4*l + y = -60, -2*l + y = -30. Is 17 less than or equal to l?
False
Suppose 10 = 5*g, 4*k - 14 = -3*g - 8. Is 7/82 greater than k?
True
Let b(g) = -g**2 + 3*g + 7. Let m be 5 + -5 + 0 + 4. Let p be b(m). Let r(y) = -y - 7. Let k be r(p). Is -10 at most k?
True
Suppose 3*n - u + 79 = 0, 4*n + 110 = -0*n - u. Let v be (-6)/(-2) - 0 - (-80)/n. Are 0 and v equal?
False
Suppose -5*x - 97 + 32 = 0. Let q be 566/(-776) - (39/4)/x. Is 1 at most as big as q?
False
Suppose -4*j + 16 - 1 = -3*c, -25 = -3*j + 5*c. Let m be (j - 0)*(-1)/2. Let s = -1315/19488 - 1/672. Which is smaller: s or m?
s
Let r = -22 + 13. Let a be (0 - r/(-3))*-3. Let d = 41 - 33. Which is smaller: d or a?
d
Let i(g) = 4 + 0*g**2 + g**2 + 7*g + 4*g - 3*g. Let c be -1 - (-3*8/12 - -7). Let h be i(c). Which is smaller: h or -6?
h
Let r be (-4)/(-3)*((-15)/(-10) + 0). Let w be (20 + r)/(4 + 6). Which is smaller: 1 or w?
1
Let m = 4 + -4.6. Let h = 22.9 + -22. Let z = m + h. Which is smaller: z or -0.1?
-0.1
Let n = 4.77 + 0.03. Let f = n + -5.8. Let r = -8 - -7.7. Which is smaller: r or f?
f
Suppose 25*y + 351 = 326. Which is smaller: y or -1654?
-1654
Suppose 7*f = -72*f - 12956. Is 2 greater than f?
True
Let c be (14/(-3))/((-2)/(-3)). Let b be 3 + c/4 + -3. Let a be (7 - 6)/((-3)/9). Which is smaller: b or a?
a
Let w = -2.17 + 2.27. Is -0.071 > w?
False
Let x = -15 + 28. Let f be 5/((-15)/(-2)) - 476/(-42). Is f greater than or equal to x?
False
Let r = 348.7 - -92.3. Is r greater than 2/3?
True
Let p be 2*-2 - (150 - 153). Is p > -0.278?
False
Let z = -85616/35 - -2446. Let y = z - -4/7. Is -45 at least y?
False
Let s = -0.304 - -0.104. Is s not equal to -14?
True
Suppose 2*q + 2*f - 974 = 0, -1985 = -5*q - 2*f + 435. Suppose 4*a - j = -617, 0 = 4*a - 3*j + 137 + q. Let u = 3852/25 + a. Is 0 at least as big as u?
False
Suppose -2*u = -3*u + 4*f + 17, -2*u = f - 7. Suppose 5*h = 3*m - 109, -183 + 70 = u*h - m. Is -21 not equal to h?
True
Let k = -127 + 93. Let p = k - -41. Which is greater: -4 or p?
p
Suppose 9*i - w + 21 = 5*i, -37 = 3*i - 5*w. Let r be 3/(-2)*3/(-18)*i. Does r = -4/9?
False
Suppose u + 5*j - 4 = 2, 5*u - 1 = 4*j. Let l = 41/110 - 1/10. Does u = l?
False
Let b = 268.819 + -269. Which is greater: 2 or b?
2
Let a = 2.3 + -1.3. Let g = -45.91 - -46. Which is smaller: a or g?
g
Let s = 5.2 - 5.57. Let o = 35 + -34.73. Let a = s + o. Which is bigger: a or 1/14?
1/14
Let d(b) = 6*b - 3. Let u be d(7). Suppose -z + 0*x = -2*x, u = 5*z + 3*x. Let s be (12/153)/(4/z). Are s and 1 unequal?
True
Let a = 0.827 + -0.727. Is -375 less than a?
True
Suppose -3*x = -108 + 111. Let o be 1 + x + 4 + 858/(-231). Which is bigger: o or 0?
o
Let v = -31.84 + 0.84. Let s = v + 32. Is s at least 18?
False
Let n = -171 + 170. Which is smaller: 3/47 or n?
n
Let r = 7.11 - 0.11. Let w = 5 + -4.9. Is r < w?
False
Let y be 978/8*(-16)/(-54). Let q = y + -1481/36. Let k = q - -25/6. Are 1/4 and k unequal?
True
Let c(g) = g**2 - 13*g - 35. Let y be c(15). Let v be y/(50/(-28)) - (6 + -3). Which is bigger: v or 1?
1
Suppose -3*j = -5*j + x, -5*j = -x. Suppose -4*k - u - 2 = 4, j = 3*k + 3*u. Let i be -2*((-66)/(-16) + -3). Is k != i?
True
Let i = -554 + 560. Is i less than 14?
True
Let x be (-4)/(-14)*(-6)/48. Which is greater: x or -2?
x
Let g be 16/(-3)*7931/(-42). Let r = g - 1006. Suppose 0 = q - 3*q + 2. Is q > r?
False
Let l(u) = 5*u**2 - 138*u + 87. Let p be l(26). Which is bigger: -479/4 or p?
-479/4
Let n = -0.43 + 0.473. Let g = -5 - -5. Is n smaller than g?
False
Let t(p) = -14*p**3 - p**2 - 2*p - 5. Let d be t(-2). Is 112 bigger than d?
True
Let k(d) = 2*d + 6. Let a be (-2 + 12)*(-3)/6. Let s = -9 - a. Let u be k(s). Which is smaller: -7 or u?
-7
Let p(o) = -5*o**3 - o**2. Suppose -3 = -2*l + 5*l. Let r be p(l). Suppose -r*w = -7*w. Which is bigger: -1/14 or w?
w
Let d = -0.076 - -0.041. Let w = d - -0.335. Are w and -1.2 non-equal?
True
Let p = -70439/1826 - -424/11. Is p != 1?
True
Let s be (-4)/6 + (-8)/(-12). Is s at most as big as 1/303?
True
Let x = -140 + 2. Is x equal to -137?
False
Let q = -232 - -223. Let u = 19 - 31. Let g = u + 5. Are q and g unequal?
True
Let y(r) = 531*r**2 + 7*r + 7. Let q be y(3). Let s be (-2)/(-15)*-1 + q/(-285). Is s at least -12?
False
Let m = 190 + -147. Which is smaller: m or 14?
14
Suppose 8*a = 6*a + 36. Let w be (2/(-3))/(a/81). Is -3 < w?
False
Let x be (23/(-92))/((-2)/(-8)). Is -1/11 != x?
True
Let q be (-4)/2 - (-11)/6. Let p = 267/152 - 31/19. Does q = p?
False
Suppose d - 4*h - 2 = -3, -2*d + 3*h = 2. Let w be (-9)/((13 - 1) + -2). Are w and d equal?
False
Let q = -95 - -133. Suppose 164 - q = -9*a. Is -17 at most as big as a?
True
Let i = 31382/37 - 848. Suppose 0 = 57*j + 99 - 99. Which is smaller: i or j?
j
Let m be 8 + -6 + (-900)/455. Is -1 <= m?
True
Let f = -18 - -14. Let b(m) = m**3 + 5*m**2 + 4*m + 5. Let s be b(f). Suppose -2*a + 3*u + 0*u = -1, -4*a = -s*u + 3. Which is greater: a or -6?
-6
Suppose 3*z + 13 = 4*z - d, 3*d = -12. Suppose -z + 13 = -2*u. Is u > -4?
True
Let l = 0.14 + 0.86. Which is smaller: l or 15?
l
Suppose -w = -5*w + 32. Suppose 2*o + 3*n = -20, -8*o + 3*n = -6*o + w. Is -7 greater than or equal to o?
True
Let p = 37 + -18. Let u = p - 9. Suppose 8*h = u*h - 2. Which is smaller: 10/9 or h?
h
Let b be (-1*4 - (-42)/12)*-108. Is 53 < b?
True
Let o = 27 + -30. Let y be (-162)/(-72) - o/4. Let g = 22 + -16. Is y at most as big as g?
True
Let l(n) be the first derivative of -n**2/2 - 2*n + 6. Let y be l(-2). Do y and 5/9 have the same value?
False
Suppose 0 = 4*j + 2*b + 117 - 35, -4*b + 70 = -5*j. Let c(l) = -l**2 + l + 13. Let s be c(4). Is j greater than or equal to s?
False
Suppose -5*g + 2 = 3*v, -3*g - 2 = 5*v - 0. Let x = 0.04 + 0.46. Is x less than g?
True
Suppose 3*f + 260 = -f. Let y = f - -64. Let d(m) = -2*m + 5. Let p be d(4). Is p <= y?
True
Let h = -846/17 + 765647/15385. Is -1 < h?
True
Suppose 4*i + 3*b = -55, 8*i - 13*i = 3*b + 65. Suppose 0*u = 3*u + 24. Is i <= u?
True
Let d(j) be the second derivative of j**4/12 - j**3/2 - 5*j. Let y be d(9). Let v be y/(-66) + (-4)/22. Are v and 2/5 equal?
False
Let o = -949 + 21818/23. Is o bigger than 1?
False
Let w(r) = -r**3 + r**2 - r + 5. Let j be w(0). Let x = 1070 - 1065. Is x at least as big as j?
True
Let t = -2391 + 2395. Is -373 greater than or equal to t?
False
Let c(w) = 57*w + 877. Let y be c(-16). Are -39 and y non-equal?
True
Let v be (3 + (-56)/24)*(-18)/4. Is 108 greater than v?
True
Let k be (2 + (0 - 3))*(45 + -39). Let n(f) = -2*f - 5. Let i be n(-5). Is i at least as big as k?
True
Let p = 76 - 71. Suppose 6*z - 3*k - 43 = z, 2*z + 4*k = 12. Which is smaller: p or z?
p
Let i(b) = 24*b + 265. Let p be i(-11). Which is smaller: 6 or p?
p
Suppose -2*x + 7*x = -75. Let l be (-5)/x - (-26)/(-96). Let y = -51/304 + l. Do 1 and y have the same value?
False
Let z = -5.9 + 8.9. Suppose w + 2*w = 24. Let o = w + -9. Are o and z equal?
False
Let b = 23/136 + -5/17. Which is bigger: -0.4 or b?
b
Let j = 71 - -73. Let p be (-3 + j/22 + -3)*-1. Is p greater than or equal to -0.3?
False
Suppose 5534 + 8712 = 17*k. Which is smaller: k or -0.2?
-0.2
Let b = 1117 + -39089/35. Which is smaller: -1 or b?
-1
Let t = 0.08 - 0.1. Let z = t - -1.02. Let u be (27/(-4))/3 + 1/1. Do z and u have different values?
True
S