38.253. Let d = x - -36.1. Are d and -15 equal?
False
Let s = 16136 - 15878. Which is smaller: 246 or s?
246
Let i be (-627 - 1)*(-18 + 58)/(-40). Which is smaller: 629 or i?
i
Let y = 0.012 + -2.912. Let l = -446 + 465.1. Let h = l - y. Which is smaller: h or 0?
0
Let r = 589 - 592. Let t be 29/(-174) + r/(36/34). Which is bigger: -35/16 or t?
-35/16
Let u be 10/(-24)*45/50. Is u at least as big as -2?
True
Suppose t + 6*z - 16 = 0, -142*t = -140*t + 3*z + 22. Which is smaller: t or -13?
t
Let j = -6343 + 6330. Is 374 greater than or equal to j?
True
Let p = -109.5 - -114.695. Let o = p - -0.005. Let h = 7.7 - o. Is h > -1/4?
True
Suppose -524 = -12*f + 8*f. Suppose f = -5*t + 11. Which is greater: t or -22?
-22
Let b = -14822 + 14811.18. Which is smaller: b or -1/2?
b
Let p be (-1 - -2)/((-4)/132). Let q be (-4)/(-220) - 6/p. Let o(s) = -5*s + 39. Let t be o(8). Is t at most as big as q?
True
Let z = -157/15 + 26/3. Let b be 12*4*6/16. Suppose 2 = 4*s + 4*w - 2*w, 2*w = 4*s + b. Which is greater: s or z?
z
Let k = -12140 - -12136. Is k <= -268/61?
False
Let o be (-49227)/(-3)*(13 + -22 - 16/(-2)). Are -16409 and o nonequal?
False
Let m = 666.951 - 667. Is -1/12 at most m?
True
Let h = 52/261 - 38/29. Suppose 0 = 3*k - 6*k. Which is smaller: k or h?
h
Let m be 0 + (-330)/21 - 12/42. Let o be 2 + (0 - (-2 - -10) - -1). Is o bigger than m?
True
Suppose -19*j + 52 = -17*j. Suppose -2*s + 2*n + 2*n = 0, 0 = -3*s + 2*n + 4. Let t be (s - 0)/(39/j). Are 2 and t equal?
False
Let i = 0.0449 - 37.3449. Let v = 37.4 + i. Is v at most as big as -195?
False
Suppose -5*l + 15*l = -1520. Let h be (l/10)/(2 + (-11)/5). Suppose 3*k = -12, -3*z - 100 = 4*k - 312. Is z bigger than h?
False
Let r = 69.1 - -23.9. Let d = r - 91.7. Which is bigger: d or 9/7?
d
Suppose 0*q - 3*q + 3*r = 177, -323 = 5*q + 2*r. Is q smaller than -52?
True
Suppose -17*i = 7114 + 13609. Which is bigger: i or -1217?
-1217
Let a be ((-226)/4)/((-19)/(-38)). Let g = 113 + a. Which is smaller: -4/3 or g?
-4/3
Let b = -65430.121 - -65391. Let o = b - -0.121. Are 2 and o nonequal?
True
Let w = -81 + 82. Does 147.7 = w?
False
Let s = 79.17 + -0.17. Let w = s + -94. Let o = w - -6. Is 4 >= o?
True
Let g(q) = 72*q. Let d be g(5). Suppose 688 = 186*z - 242. Suppose -z*x = 4*x - d. Which is smaller: x or 39?
39
Let c(g) = -g**3 - 2*g**2 + 6*g + 10. Let m be c(-2). Let i = -3725357 + 1452890191/390. Let h = 5/78 - i. Is h <= m?
True
Let o be 624/120 + 1 + 0. Suppose 5*s = -2*m + 49 + 79, -3*s = -5*m - 52. Suppose 2*w = -2*w + s. Does w = o?
False
Let w(u) = u**2 - 2*u - 3. Let v be w(3). Let p(r) = -3 - 96*r + 55*r + 39*r + 2. Let d be p(v). Is 0 > d?
True
Let i = -1306 + 2180. Let p = -873 + i. Is p greater than or equal to -0.43?
True
Let u be -13 + (10440/6 - -5). Are 1732 and u nonequal?
False
Let y(u) = -12*u**2 + 8*u + 2. Let n be y(14). Let i = n - -42534/19. Which is smaller: 1 or i?
i
Let b(z) = -z**3 + 3*z**2 + 11*z - 9. Let g be b(3). Suppose -21*v = -5*o - g*v - 18, -4*o = 5*v + 17. Which is greater: -91 or o?
o
Suppose 306 = 32*a + 338. Which is smaller: -78/973 or a?
a
Let q(k) be the first derivative of -k**3/3 + k**2/2 - k + 50. Let d be q(0). Which is greater: 4/45 or d?
4/45
Let j = -0.4 - -1.6. Let x = j + -1. Let t = -21.743 - -21.643. Does t = x?
False
Let s be (-271 - -10)/(9/12). Let l = 282 + s. Is -66 less than or equal to l?
True
Let w = 0.14342 + -0.19042. Is w at least -53?
True
Let c be 156/(-15) + 2/5. Let d be (1/(-2))/(1*c). Let h = -934 - -935. Which is greater: d or h?
h
Let z = 3806.5 + -3796.5. Which is greater: 353 or z?
353
Suppose 35*l - 183 = 32*l. Suppose 0*x = -5*q - 4*x + 57, -2*x = 5*q - l. Suppose 0 = -9*m + q*m - 4. Which is smaller: 4/11 or m?
4/11
Let z = -80.24 + -0.76. Let w = z + 120. Let f = w + -38.96. Which is smaller: f or 1?
f
Let y(q) = q**2 + 16*q + 33. Let x be y(-22). Let l = 225 - 63. Is x >= l?
True
Let l(i) be the first derivative of -3*i**2/2 + 13*i + 37. Let k be l(5). Let f be (-5)/4 + (-1)/(-4) - k. Is -2/351 at least f?
False
Let n = -95 + 132. Suppose -22 = 3*o - n. Suppose j = -2*l + 7, -l = 2*j - 0*j + 4. Are l and o nonequal?
True
Let b = 4.2209 + -4.235. Which is smaller: b or 2/7?
b
Let o be 14 + -15 + 0 - 163. Which is greater: o or -171?
o
Let z be (3*4/36*2*-3)/(-33386). Which is smaller: -1 or z?
-1
Let y(u) = -27*u - 52. Let p be y(-2). Suppose p = -2*o + c, 0 = -o + 6*o + 4*c - 21. Are 6/61 and o equal?
False
Let k = 14 + -11. Suppose -k*g + 90 = 159. Which is smaller: -19 or g?
g
Let b = -2.01 + 2. Let q = 1275 + -1287. Let m = 11 + q. Which is bigger: m or b?
b
Let y be (-17)/36 + (-2)/(-9). Let g(i) = i**3 - 7*i**2 + 2*i + 6. Let c be g(7). Suppose -222*v + 227*v = -c, 4*s - 2*v = -112. Which is smaller: y or s?
s
Let x be (-2)/((-17)/((-136)/2000)). Let g(q) = 2*q**2 - 7*q - 5. Let v be g(4). Is x greater than v?
True
Let l = -1277 + 1281.122. Let m = l + -0.122. Which is greater: m or -0.01?
m
Let r be (60781/1078)/(-19) - (-3)/(33/2). Which is greater: r or -2?
-2
Suppose -282*s + 302*s - 20 = 0. Is 1/1490 less than s?
True
Let s(h) = h**3 + 3*h**2 - 6*h - 4. Let t be s(-4). Let x = -6 - -11. Suppose -1 - 6 = -y + o, x*o = y - 15. Which is greater: t or y?
y
Let w be (2/(-2))/(((-114)/2946)/(-19)). Is w >= 21?
False
Let r = 2278 + -2257. Which is greater: r or 169/8?
169/8
Let u(l) = l**2 + 3*l - 24. Let d be u(-7). Suppose 6*w + 10 = -d*w. Let i(m) = -2*m**3 + m**2 - 2. Let h be i(w). Which is greater: h or -5/52?
h
Suppose 30*x + 77137 = 78217. Suppose -72 - 114 = -6*p. Does p = x?
False
Let b = -1.3 + 1.414. Let z = -55.114 + b. Let i = z - -56. Which is bigger: i or -54?
i
Let w = -55 - -55. Let l = 10342/9 - 1148. Which is greater: l or w?
l
Let v = 241 - 3778. Let l = -985598799 + 166566794786/169. Let n = v + l. Which is smaller: 1 or n?
n
Suppose 0 = -14*u - 2*u + 5888. Suppose 0 = -30*k - 8 + u. Is 6 at least k?
False
Suppose w = 22*w - 63. Suppose c = -p + 59, w*p = 2*p + 5*c + 71. Is 61 bigger than p?
False
Let t be (2332/55)/(1 + (-8)/10). Let o = -425/2 + t. Which is smaller: 10.6 or o?
o
Let d = 12364 + -8180. Is 4183 > d?
False
Suppose 3 = 41*t - 38*t. Let g be ((-13)/39)/(t/(-3)). Let r be g + (0 - (-1)/(-1)). Do r and -1/32 have different values?
True
Let a(l) = -l**2 - 15*l - 35. Let c be a(-11). Suppose 7*v + c - 44 = 0. Which is smaller: v or 19/5?
19/5
Suppose -27 = 2*j - 33, 2*z = -3*j + 121. Let k be z/(-140) - ((-2806)/(-10) + -2). Are -279 and k unequal?
False
Let r = -270 + 270. Suppose 7*k - 9 - 40 = r. Is 96/13 equal to k?
False
Suppose 7*p - 61 = -3*i + 3*p, 0 = -3*i - p + 49. Let d be (3 + 22)*3/i. Let t = 26 - d. Which is smaller: 19 or t?
19
Let a(h) = -6*h**2 + 6*h + 12. Suppose 5 = 2*z - 3*z. Let y be a(z). Which is bigger: -167 or y?
-167
Let f = 1.22 - 0.12. Let j = f + -1. Let k = 110 - 105. Which is smaller: j or k?
j
Let q = -0.0553 - -16.7353. Let g = q + -15.3. Let v = g - 59.38. Which is greater: v or -1/4?
-1/4
Let p = -1739614/35663 - 118/1877. Which is bigger: -50 or p?
p
Let c(d) = -5*d + 139. Let n(i) = -14*i + 84. Let m be n(4). Let z be c(m). Let t be (-1 - 1) + (-8)/4. Which is smaller: t or z?
t
Let z(h) = -81*h**2 - 1270*h - 17. Let u be z(-15). Which is greater: u or 820?
820
Let s be -6 + 388/48 + (-4)/48. Let m(f) be the second derivative of -7*f**4/12 + 2*f**3 - 21*f**2/2 - 4*f. Let o be m(s). Do o and -25 have different values?
False
Let d = -2361 - -2337. Suppose -3*m = 9, -4*c + 9*m - 4*m + 131 = 0. Suppose 5*q = -c - 96. Is q != d?
True
Let l(j) = 4*j - 19. Let t be l(5). Let u be -4 + 0/(-4 + 6). Let z(n) = -4*n**2 - 17*n. Let d be z(u). Which is greater: d or t?
d
Let v be (8/(-5))/(3/120). Let y = 64 + v. Does y = -19?
False
Suppose -2*r - 5*m + 1683 = 0, -r = -8*m + 4*m - 861. Is r > 848?
True
Let r be 8*(-6)/((-21)/7). Suppose -i = -18 + r. Let o = -968 + 6791/7. Is i < o?
True
Let s = 22/1629 + 15611/412137. Which is smaller: s or -1?
-1
Let x = 173.4 - 320.4. Is x <= -8/7?
True
Let x be (49/34)/(100/2400). Which is bigger: x or 3/5?
x
Let w = 104.39 + -104.39. Are w and -1/943 equal?
False
Let k(m) = -m**3 + 7*m**2 - 10*m + 11. Let h be k(7). Let a be 3 + (-58 - 1 - (4 + 1)). Is h equal to a?
False
Let m(k) = k**2 - 4*k - 1. Let v be m(4). L