nd -1/3 nonequal?
True
Let y = -0.1 + 0.1. Let b = 203.27 - -92.73. Is b at least as big as y?
True
Suppose -2*w - 4 = -2. Let g = -0.055 + 0.094. Let x = 5.039 - g. Is x >= w?
True
Let x be ((-90)/(-16))/((-24)/32)*-10. Let n = x - 72. Suppose n = 3*f + 12. Is -2 less than f?
False
Let w(t) be the third derivative of -5*t**4/24 - 121*t**3/6 + 5*t**2 + 3. Let i be w(-23). Is i at most as big as -4?
True
Suppose 0 = -x + 4 + 82. Let z = -90 + x. Let h be 13/(-12) - (27/z + 6). Do 2/23 and h have the same value?
False
Let o(g) = -g**3 + 75*g**2 + 234*g + 1. Let a be o(78). Is 2/55755 at least as big as a?
False
Let k be 1/(2/4) - ((-13 - 2) + 18). Which is smaller: -3/11969 or k?
k
Let h = 83.77 + 0.23. Let o = 220 + -137. Let t = h - o. Which is greater: 55 or t?
55
Suppose 534*m - 3861 = 105*m. Let r = 1 + -1. Suppose 3*p - 25 = -f - f, -4*p + 5*f + 41 = r. Is m <= p?
True
Let n be 5/(18/(-10) + 2). Suppose -4*z = -j - 43, -7*z + 3*z = 5*j - n. Let y be -1*-3*z/(-5). Is y at least -33/7?
False
Let m(u) = -17*u**2 + u. Let w be m(0). Suppose w = 3*l + 5*b - 408, 17*b - 6 = 19*b. Is 141 at least l?
True
Let b = -35034 - -22737058/649. Does b = 1?
False
Let f = -16 - -30. Suppose 46*i + 11444 = 1738. Let m = 224 + i. Which is smaller: m or f?
m
Suppose -4*d + 2*s = 164, -102*d + s = -107*d - 191. Which is smaller: d or -23?
d
Let h = 9293.9 - 9294. Which is smaller: -2340 or h?
-2340
Let w be 78/(-4)*72/(-54). Let i = w - 114. Do i and -175/2 have different values?
True
Let k be (628408/36968 - 22) + 5*1. Is k less than -1?
False
Let m(v) = -v**2 + 48*v + 49. Suppose 0 = -u - 4*y + 33, -57 - 119 = -4*u - 5*y. Let d be m(u). Let z be (-3)/83*(-6)/(-9). Which is greater: d or z?
d
Let x = 11715 - 13754. Is -2038 equal to x?
False
Let s be (-2)/7 - (-418)/(-7). Let x be (496/40)/(27/(-135)). Is x < s?
True
Let t(d) = -53*d + 2337. Let i be t(44). Which is smaller: -384 or i?
-384
Let d be (-3)/168 - (-9)/63. Let j = -111 + 110. Which is bigger: d or j?
d
Suppose -713 = -5*i - 213. Suppose 3*u + 4*s - i = u, -38 = -u + s. Which is smaller: 43 or u?
u
Suppose 3*a + 2*v - 12 = -v, v = -4*a + 4. Suppose 0 = 4*d - p + 25, 3*d = 4*p - 0*p - 9. Let i be 2 + d + (-268)/(-56). Which is greater: i or a?
a
Let t = -7810 + 7796. Is -122 >= t?
False
Let h = 189 - 188.68. Let x = -8721/5 - -1745. Is h greater than x?
False
Let c(m) = -m**2 + 16*m - 35. Let g be c(3). Suppose 208 = -g*r - 5*z, 2*z - 101 = 4*r + 107. Does r = -52?
True
Suppose -783 = -1266*r + 1237*r. Is 41 less than r?
False
Let q(s) = 2*s**3 - 23*s**2 - 11*s - 17. Let h be q(12). Let z(v) = -62*v - 82. Let y be z(h). Which is smaller: y or 1?
1
Let x = -3.8329 - -4.4739. Which is bigger: -2/9 or x?
x
Suppose 70 = 16*w + 19*w. Suppose -2*s - 18 = f + 4*f, 2*s + w*f + 6 = 0. Which is smaller: 4.8 or s?
s
Let l = -4 - -50. Suppose 3*a = 7 - 1, 3*a = 4*t + l. Let q be ((-22)/(-8))/(8/(-32)). Which is smaller: q or t?
q
Suppose -4*r = -5*p - 20 + 124, 0 = 5*r + 5*p - 50. Suppose 4*i + 0 = 12. Suppose 2*s = -s + i. Are r and s non-equal?
True
Let g = -4998 - -4574. Is g < -424?
False
Let h = 51 + -179. Let k = -127.6 - h. Is 1 at most as big as k?
False
Let p be 8/(-1)*(-8)/(-16) + 17. Suppose -4*v + p*v = -5949. Is -662 at least as big as v?
False
Let z be (-20)/17 - (49 + 40128/(-816)). Let p = 401/8 - 157585/3144. Do z and p have different values?
True
Suppose 144*a = 27 - 171. Is 2/1387 > a?
True
Let o be 99/((-32076)/720)*657/(-2). Is o bigger than 730?
False
Suppose -5*f - 25414 + 3776 = 3*k, 5*f = -5. Let q be 10/(-2346)*k/5. Let o = 105/17 - q. Is 1 equal to o?
False
Suppose -10*i - 189 = -13*i. Let c = -49 + i. Are 12 and c equal?
False
Let c(o) = -o**3 - 6*o**2 + 13. Let m be c(-6). Let g = m + -41. Is g greater than or equal to -4?
False
Let i = -25240132645/2318 + 10888755. Let d = i + -30/61. Is d at most as big as 0?
False
Let y = 391/15 - -4339/165. Suppose 6652*q = 6648*q - 4*w + 136, 24 + 10 = -2*w. Is q equal to y?
False
Let n(v) = 3*v**3 + 7*v**2 - 19*v + 4. Let w be n(-4). Which is greater: w or -3/140?
w
Let p be (-28827)/(-21) - (1/(-7))/(131/262). Is p != 1373?
False
Suppose -2*u - 4*p = -22, -2*u + 4*p = -0*u + 18. Let j be -1 - u - (-7 + 2) - -3. Let f be (-19)/(-7) - (j - 1). Is -1 >= f?
True
Suppose -20 = 4*z - 4*h - h, 0 = 5*h. Let y be 4/266*-19 - (2 + 4). Which is bigger: z or y?
z
Let n = -21 - -107. Let i = 1417 - 1331. Is n not equal to i?
False
Let y = 37 - 19. Suppose 3*w - y = -2*m, -2*w + 4 = 4*m - 4*w. Let j = 0 + m. Is 6 < j?
False
Let k be (110/15)/(-11) + (-1)/3. Is -1/3892 greater than or equal to k?
True
Suppose -10*n - 4456 = 4*i - 6*n, 5*i + n + 5562 = 0. Let y be i/9576 + 3/27. Suppose 3*p + 1 = 4*p. Which is greater: y or p?
p
Let r = 358959/13 - 27613. Which is bigger: r or 200?
200
Let y be 6/(-4)*166/(-3). Suppose 5*i = -5*x + 1934 - 1549, 0 = 2*i - 5*x - 196. Do y and i have the same value?
True
Let k = 56 + -54. Suppose 19*j = 21*j - k. Let v = -40 - -15. Is v != j?
True
Let b be (-5)/((-5)/(-4)) + 11 + -9. Let k be (-2 + -10)/((-585)/(-156)). Does b = k?
False
Suppose 0 = 3*i + 15, -184*i + 685 = 4*o - 185*i. Which is bigger: 164 or o?
o
Suppose 2*l - 6*l = -2*b + 728, 5*b - 910 = 5*l. Let g be l/4 - (-115)/(-46). Is g equal to 2?
False
Let f = 32 - 31.9804. Let n = 0.0304 + f. Do n and 0.4 have the same value?
False
Let w = -1171.05 - -1207. Let s = 35.5 - -0.5. Let h = w - s. Which is smaller: h or -2?
-2
Suppose -18 = -2*m - 28. Let k be (m - 16/(-3)) + (-129)/9. Let u = -36 + k. Is u < -49?
True
Suppose 3*w - 5*w + 6 = 0. Let c(i) = 18*i - 38. Let t be c(w). Is 102/7 equal to t?
False
Suppose 170*j - 165*j = -4*r + 41189, 5*r - 51496 = -3*j. Is r greater than 10301?
False
Let t = 87 + -81. Suppose 8*k - t*k = -46. Suppose 5*n = 4*j + 102, -119 = 5*j - n - n. Do j and k have the same value?
True
Let k = 4775 - 4776. Which is bigger: -72/197 or k?
-72/197
Suppose 203*b - 207*b = -292. Suppose -b = -4*x - 85. Is x less than -3?
False
Let a be 0 + (2/(-4))/1. Let n(h) = 6*h**2 - 125*h + 132. Let t be n(19). Is t > a?
False
Let j be (-9 - 286/(-33))*(-7272)/8386. Let a = j - 2/599. Is 3 <= a?
False
Let g(k) = -287*k + 411. Let m be g(4). Is m smaller than -736?
True
Let j(s) = 133*s + 10623. Let o be j(-82). Which is smaller: o or 17/2?
o
Let b = -2868836/85 - -33752. Is b greater than or equal to 0?
True
Suppose -2*l - 1 = -l. Let o be (-65)/(2600/320) - (-288)/51. Which is greater: o or l?
l
Let s = 18.878 + -0.778. Let n = s - -2.9. Which is bigger: n or 8?
n
Let t = 50176 - 50063. Suppose -5*a - 2*g = -549, a + 3*g + 453 = 5*a. Which is bigger: t or a?
t
Let t(x) = 62*x + 72. Let u be t(32). Which is bigger: u or 2057?
2057
Let k = 5476 - 5475.775. Which is bigger: -1/7 or k?
k
Let r be (-4*2/(-16))/(1/(-2)). Let x be (-20)/(-15) - (0 - r). Is x equal to 1?
False
Let t = -954 + 621. Let n = t + 329. Is 1 bigger than n?
True
Let v(t) = -t**2 + 11*t + 45. Let j = 310 - 296. Let d be v(j). Which is bigger: -12 or d?
d
Let b be 4/14 - (24288/345)/((-14)/(-395)). Is b less than -1985?
True
Let w be (323 - 0/(-2)*-1) + (-6774)/(-1129). Which is bigger: 332 or w?
332
Suppose y + 64 = 5*y. Let w be (8/(-3))/(y/27 - 1). Is 6 greater than or equal to w?
False
Let i(r) = r**3 + 61*r**2 - 609*r + 370. Let h be i(-72). Which is smaller: h or -12805?
h
Let c(k) = 16*k**2 + 32*k. Let m be c(-2). Which is greater: -9/589 or m?
m
Let p = -2021 - -1403. Let m = -634 - p. Is m <= -5?
True
Let i be -1*7/((-14)/(-20)). Let c = -1.466 - -0.066. Let b = -1.8 - c. Is i at most b?
True
Let x be ((-1)/3)/((-303)/(-1857390)). Is x less than or equal to -2044?
False
Let o be (2/3*-3)/(8/(-432)). Which is smaller: -8 or o?
-8
Suppose 5*t + 77 = -73. Let d be (-7)/((2/3)/(154/22 - 5)). Which is smaller: d or t?
t
Suppose l = 4*p + 20, 4*l - 20 = -4*p + 5*p. Suppose -2*n + l*v + 34 = 0, 5*n - 2*v - 117 = -0*n. Suppose 0 = -22*t + n*t. Is -1/2 less than t?
True
Let b = 58 - 60. Let r be (-1 - (8 + -2)) + 4. Is b >= r?
True
Let p = 3396 - 3395. Is -3161 less than p?
True
Suppose -i - 6*h + 2*h - 12 = 0, -3*i = 4*h + 20. Let b = 380 - 383. Which is bigger: b or i?
b
Suppose -4*j - 2*u = -118, -80 = -2*j - 2*u - 16. Suppose -25 = z - j. Suppose 5*v + 2*d - 4 = 0, -2*v - d - 5 