 equal to 13?
False
Let m = -869 + 869. Suppose -14*d - 45 - 165 = 0. Which is smaller: m or d?
d
Let g be 124190/(-99)*54/(-45). Which is smaller: 1504 or g?
1504
Let x(f) = f**2 - 45*f - 2943. Let p be x(-39). Which is smaller: 4344/13 or p?
p
Suppose 0*x = -3*x + 3. Let d = 227/400 + -47/80. Is x less than d?
False
Let x = -236 - -237.524. Let c = x - -0.476. Is c equal to -16/11?
False
Let g be (503/254 + -2)*(-214)/(-321). Is 0 greater than or equal to g?
True
Let y = -1.54 - -0.98. Let x = y - -3.56. Is x at most as big as -4/3?
False
Let h(z) = 17*z + 24. Let w be h(-1). Suppose -59*j = w - 7. Which is smaller: j or -535?
-535
Let h = -3902 + 3901. Which is smaller: -4.32 or h?
-4.32
Let m(f) = -2706*f + 2028. Let k be m(-3). Is 10148 at most k?
False
Let z be (-9 + 13)*(-4)/(-56). Which is greater: -0.0613 or z?
z
Let w = 514 + -563. Let y be w + 1/(-3)*-3. Which is smaller: y or -54?
-54
Let d = 319.615 - 0.615. Let k = 320 - d. Which is smaller: k or 0.1?
0.1
Let w(f) = -692*f + 126. Let y be w(1). Is -564 not equal to y?
True
Let l = -5.33 + 5.294. Does l = -10?
False
Let p = 34334 - 46761. Are 0 and p non-equal?
True
Let n be 70/(1 - -6) - 4. Let a be (-884)/(-222) - -2 - n. Are -1 and a equal?
False
Let m = -59/39 + 1/78. Let p = -0.263 + 0.001. Let n = p + 0.062. Which is bigger: n or m?
n
Let w = 46.57853 - -0.00147. Let l = w + 2.72. Let x = l - 49. Which is smaller: x or 5/4?
x
Let v be 2 + -2 + -9 + -3 + 8. Let k be (5/25)/(v/(-140)). Are k and 8 equal?
False
Let i be -4 + (420/(-9))/(-10). Let w = 1061/6 + -96527/546. Is i < w?
False
Let k = -77 - -41. Let d(s) = -7*s**2 - 924*s + 894. Let b be d(-133). Is b >= k?
False
Let w(k) = k**3 + 5*k**2 + 4*k - 4. Let f be w(-3). Let s be (1 + 0)*f/2. Let c = 664/17 - 39. Which is bigger: s or c?
s
Let j be 2025/50*(23 + -9)*(0 + 1). Which is bigger: 4 or j?
j
Let h be 200/(-150) + 5386/(-6). Is -899 >= h?
True
Let j = -5318/301 - -124/7. Suppose -3 = 7*z - 3. Which is smaller: j or z?
z
Suppose -2*i - 7*i + 0*i = -i. Does -2/8937 = i?
False
Let a = -6395.0603 - -6395. Are 0.2 and a unequal?
True
Let u = -117.91 + -0.09. Let h = u - -115. Which is smaller: -9 or h?
-9
Let a = -25813 + 25813.06. Is 2713 at most a?
False
Let q = 3171 + -241021/76. Let v = q + -2041/380. Let u = v + 19/2. Are u and 4 equal?
False
Let k(u) = u**3 - 7*u**2 + 25*u - 44. Let l be k(6). Let o be 2259/21 - (-30)/l. Is 107 < o?
True
Let q(d) = d + 14*d + 0 - 1 + 0*d. Let r be q(0). Is r less than or equal to -2/39?
True
Let r = -814/39 + 576346/27651. Which is smaller: r or -1?
-1
Let k(y) = -2*y + 19. Let i be k(7). Suppose 6*s - i*s = 208. Let c be 4/18 - s/612. Which is bigger: 1 or c?
1
Let t = 774 - 774.07. Which is greater: 0.223 or t?
0.223
Let q = 10.75 - 5.15. Let l = -2.5 + -0.1. Let a = l + q. Which is greater: 1.6 or a?
a
Suppose 3*r - 7 = 4*r. Let d(x) = x**2 - 2*x - 9. Let g be d(r). Which is smaller: 56 or g?
g
Let a = -199 - -623. Let d = -418 + a. Are -18 and d equal?
False
Suppose 208*i - 196*i = 24. Suppose -4*m + 1404 = 5*q - i*q, -3*q = -3*m + 1032. Which is smaller: 347 or m?
347
Let m = -3205.8 + 3206. Is 0.1309 <= m?
True
Let t be (-1)/((-2)/2) + -3 - -10. Suppose -1 = 9*r - t*r. Suppose -n - 12 = 3*w, 0 = 5*n + 2*w - 6*w + 3. Which is smaller: r or n?
n
Let v be (0 - 1) + 35 - (-26 - -30). Suppose -35 = 5*m - v. Is 1/6 less than m?
False
Let z = 6707 - 167639/25. Let p = -46739 - -46741. Are z and p unequal?
True
Let x(t) = -t**3 - 3*t**2 - 2*t - 2. Let l be x(-4). Let k(q) = -46*q + 162. Let h be k(3). Is l at most h?
True
Let c be (-4)/10*(1/6)/(28/(-420)). Let d be -6 - -3 - 355/(-118). Which is greater: c or d?
c
Let m be -2 + 20/11 + ((-8341)/(-1045) - -9). Let c(j) = j**3 - 7*j**2 + 10*j - 6. Let f = 22 - 16. Let g be c(f). Does g = m?
False
Suppose -4*z = 4*d + 4, 5*d + 21 - 16 = 2*z. Let o = 5 + -3. Let i be o/75*(0 - -3). Is i smaller than z?
False
Suppose -3*d = -6*j + 4*j - 4, d - 20 = -4*j. Suppose 4*s + 2 = -n + 9*s, -j = 2*n - 3*s. Is -6.8 > n?
False
Suppose 7*k - 11*k + t + 8941 = 0, 5*t - 2230 = -k. Suppose -11*v = -26*v + k. Which is bigger: 148 or v?
v
Let l be (4 + 1 + -3)/8. Let g = 3.8503 - 0.8503. Is g at most as big as l?
False
Let m be (-6)/(-1)*28/(-42). Let q be m/(-6)*-3*(3 + -2). Let p be (-16)/q - 3/(-3). Which is smaller: p or 6?
6
Let g be 8/6*(23 - 5864/16). Which is bigger: -459 or g?
g
Suppose 19*x - 19 = -0. Let f = -158 + 475/3. Is x > f?
True
Let j be (-9 + 350/40)*0. Let l = 0.4 + -13.4. Let o = 15.4 + l. Which is smaller: o or j?
j
Let r = 130013/22 - 5900. Which is smaller: 11 or r?
r
Suppose -470*b + 9 = -461*b. Are -4103/7 and b equal?
False
Let w = -428723/90 - -27666/5. Let s = w + -1551/2. Let m = s + 17/3. Is 2.5 at most m?
False
Let r = 2129 - 2129. Let c = 1704 + -35810/21. Is c bigger than r?
False
Let f = -522 - -537. Let n be (-4)/1292 - 0/f. Are n and 1 equal?
False
Let k be 123/9 - (-6)/3. Suppose 53 = 3*j + 46*n - 44*n, 0 = -5*j - 6*n + 99. Is k <= j?
False
Suppose -10*s = -2*i - 13*s + 1, 0 = -s - 3. Which is bigger: i or -0.752?
i
Suppose 4*b - 18 = -70. Let y be (4 - 2) + (-456 - 1) + -1. Let h be y/72 + 5 + 1. Is h < b?
False
Suppose 73 + 122 = 13*k. Let i = 685 - 667. Is i at most k?
False
Let j(w) = w**2 + 2*w - 4. Let i be j(2). Let g be (-3)/i + (-6919)/44. Is -0.1 greater than g?
True
Let k = 248/363 + -2/121. Let f = 10094 + -9638. Which is bigger: f or k?
f
Let u = 8962 + -16862. Which is greater: u or -7901?
u
Let l(h) = 30*h**2 - 16*h - 35. Let q be l(-2). Let c = -692/17 + 10639/68. Do q and c have the same value?
False
Let j(i) = -14*i**3 - 29 - 13*i + 42*i**3 - 16*i**3 - 14*i**2 + 0*i**2 - 11*i**3. Let q be j(15). Which is greater: -2/865 or q?
q
Let f be 69/33*(2 + -58 - -3). Let z = -111 - f. Which is bigger: -2.4 or z?
z
Suppose -9731 + 2105 = -6*q. Suppose -1320 = 1268*c - q*c. Which is smaller: 439 or c?
439
Suppose -33*i + 25*i + 168 = 0. Suppose 200 = -i*q + 16*q. Let n = 11 - q. Which is smaller: n or 52?
n
Suppose -2*r - 5*x = -7, -3*r + 3*x - 17 = -r. Let h be r*(-4)/80*(-1630)/516. Let b = -3/86 + h. Is -0.16 at least b?
True
Let c = 0 + -0.2. Let s = -0.1 - c. Let j = -56640.2 - -56637. Do s and j have different values?
True
Suppose -2*c + 1098 = 4*l, -7*l + 3*c - 822 = -10*l. Let i = l + -253. Which is smaller: 25 or i?
i
Suppose -1 = -g + 2*r + 1, -3*g - 4*r - 24 = 0. Let n(u) = -2*u**2 - 4*u - 1. Let a be n(g). Which is greater: -18 or a?
a
Let g(m) = -13*m**2 - 120*m - 19. Let w be g(-10). Which is greater: w or -121?
w
Let t = 82 + -78. Suppose -6*w - 28 = -t. Let k be 2 - (5 - 3)*1. Are k and w equal?
False
Let m be (-2 - (-58)/56) + 28/(-98). Let n = 53/12 - m. Which is greater: -0.2 or n?
n
Let t(m) = 2*m**2 + 7*m + 3. Let o(y) = -y**3 - 5*y**2 - 2*y + 6. Let l be o(-4). Let s be t(l). Let d be (1/s)/((-11)/66). Which is smaller: 12/5 or d?
d
Let h = -278 - -311. Suppose 1137 = -16*a + h. Which is greater: a or -67?
-67
Suppose -1005 = h - 2*m + 266, 2*h + 3*m = -2563. Is h at least as big as -1277?
True
Suppose -51*z + 3*i = -52*z - 2, 2*z - 2*i - 12 = 0. Let a(n) = 3*n + 2. Let t be a(5). Suppose -13 = -3*o + z*d, -2*d + 0 - t = -5*o. Is o != 28/9?
True
Let f = 70631/16 - 4414. Let i = -46.7 - -47. Which is smaller: f or i?
i
Suppose 83*j - 92723 - 15841 = 0. Which is smaller: j or 1307?
1307
Let n be -16 + (-41)/((-328)/(-21552)). Is n at least as big as -2710?
True
Suppose -k = -6*k + 3*f - 147, 4*f = k + 43. Let g be 15/k*147/14. Let q = 5 - 10. Are q and g nonequal?
True
Let z = -46 + 47. Suppose -3 = h - z. Let m be h - (9/(-15))/(1/(-5)). Which is bigger: -3 or m?
-3
Suppose 397 = 4*n - 59. Let s = -469 - -470. Let j be s - n/(-105) - (-1)/5. Which is smaller: 3 or j?
j
Let p be 140 + 0 + 3 + -5 + 15 + -20. Which is bigger: p or 134?
134
Let x be 1070*((-4)/(-6787266))/((-16)/(-96)). Let z = x + -2/1187. Does 0 = z?
False
Let d = 0.0149 + 0.03. Let b = d + -0.0229. Which is smaller: b or -4?
-4
Let n be (-1)/(-4 + 9 + -4). Suppose 0 = -2*m - 42 + 14. Let x be -5 - (n - 2) - m/7. Is x at most 1/103?
True
Let v be ((-15)/18*2)/(27/(-567)). Which is bigger: 11 or v?
v
Let k = 2546 + -2609. Which is smaller: -1011/16 or k?
-1011/16
Let f = -1.4558 - -0.2558. Is f at least as big as -84?
T