rue
Let x = -3.97539 - 0.02461. Do 0.01 and x have different values?
True
Suppose 1548 = 8*t - 2*t. Let h be 12/(-8)*t + 0. Let v = -1942/5 - h. Are -2 and v nonequal?
True
Suppose -4*w - h = 1734, 180*h = -w + 183*h - 453. Let t(u) = -436*u**2. Let d be t(-1). Which is greater: w or d?
w
Suppose 141*n = 43156 + 38060. Is 573 not equal to n?
True
Let n = 10991/200 - 2602/25. Let u be (-2)/((-2)/49*-1). Let y = u - n. Which is bigger: y or -1?
y
Let b be (-6)/(-8) + 6939/(-2916). Which is greater: -3 or b?
b
Let f(u) = -u**2 + 7*u + 17. Let g be f(-10). Let w = -107 - g. Which is smaller: 179/4 or w?
179/4
Let d = 350 - 248. Suppose -48*s + 2864 = 204 - 2236. Is s greater than d?
False
Let b = -105 - -203. Let p = 3667 - 3730. Let o = b + p. Which is bigger: 34 or o?
o
Suppose -b + 1 = 0, -2*q + 0*b + 37 = -3*b. Suppose 10*w - 323 = -5*w - 2*w. Which is greater: w or q?
q
Let f be 1 - (0 + (-28)/(-10)). Let q be 15/(-90)*-364 - 1/(-3). Let c = 59 - q. Is c != f?
True
Let a be (22 - -1) + (-3)/(-1). Let r be 206/8 - -2*(-8)/128*8. Is a less than r?
False
Suppose -3*f - 72*n - 7467 = -69*n, 5*n - 7499 = 3*f. Does f = -2493?
True
Let b = -11663.015 - -11663. Which is smaller: b or 147?
b
Let d = -43824 - -216459/5. Let b = d + 535. Is 3 at most as big as b?
False
Let s = 61 - 101. Let a = -35 - s. Suppose z - d = -17, a*z + 49 = -7*d + 3*d. Are -13 and z equal?
True
Suppose -101 + 509 = 8*i. Let l be ((-32)/(-150))/(i/255). Is l bigger than 0?
True
Let a = 44037 + -44043. Which is smaller: 3673 or a?
a
Let r = 1614058/354857 + -1/11447. Which is smaller: 6 or r?
r
Suppose 4*c - c + 9 = 0. Let b be 24/(-21)*c/(-6). Let v(n) = 33*n + 130. Let q be v(-4). Which is greater: b or q?
b
Let r = 45510 + -317914/7. Which is smaller: r or 4?
4
Let j(y) = 16*y**3 + 98*y**2 + 13*y + 13. Let n be j(-6). Let l be 3*1*2/(-3). Let z be (n + -8)/(31/15 + l). Is z < -55/4?
True
Let v be (2 - -2) + (-138)/230 + (-1314)/10. Do v and -129 have different values?
True
Suppose 6 = 27*f - 30*f, -2*f = 3*i + 6532. Which is smaller: -2175 or i?
i
Let j be ((-12)/(-3) - (-172)/(-40))/((-14)/(-7756)). Which is greater: -166 or j?
-166
Let f = 1170/17 + -1756136/25517. Which is greater: f or 0?
f
Let r(x) = -4*x**3 + 2*x**2 + 2. Let v(f) = -5*f**3 + f**2 + 3. Let u(l) = 4*r(l) - 3*v(l). Let o be u(5). Let s = 5915012/21 - 281667. Is s bigger than o?
True
Let k = -996.0961 - -189.2457. Let n = -0.1496 + k. Is 0.1 > n?
True
Let o = -74 - -182. Let c = o - 114. Is 1 <= c?
False
Let w = -323 - -328. Let i = -298803 - -1499104/5. Let f = i + -1013. Which is greater: w or f?
w
Let o = -79.04 - -78. Let r = -1.85 - o. Is -0.1 equal to r?
False
Let p(d) = -17*d + 24. Let w be p(3). Let t(a) = a + 26. Let g be t(w). Let u = -9229/26 + 355. Which is smaller: u or g?
g
Let k(y) = -6*y - 9. Let o be k(-6). Suppose 4*a - o = -3. Let j be 222/4*(((-2167)/(-99))/(-1) + 22). Is a != j?
True
Suppose -35*v - 20*v = -2*v - 1113. Let h = 0.89 + 0.11. Which is smaller: h or v?
h
Let n = 20827 - 63118/3. Let v = 215 + n. Which is greater: v or 3?
3
Suppose 40 = v + 3*v + 4*k, -3*v + 4*k + 23 = 0. Let o(f) = -2*f + v + 3 - 5. Let g be o(3). Is g bigger than 9?
False
Let n be 10/(-33)*(-1431)/(-18) + 7. Which is smaller: -16 or n?
n
Suppose -2*x = -4*q - 6*x - 41460, 19*x + 41460 = -4*q. Which is smaller: q or -10366?
-10366
Let c be 5 - ((-24)/120 + 2419/(-5)). Is c bigger than 485?
True
Let c(w) = 42*w**2 + 8*w - 14. Let h be c(-2). Which is smaller: h or -0.09?
-0.09
Let p = -0.02157 - 213.97843. Which is bigger: -3/5 or p?
-3/5
Suppose -32 = -6*g + 28. Suppose 4*y - 20 = 3*y. Let o be (-13)/y - 2/(-8). Is o at least g?
False
Suppose r + 13472 = -968. Let o be 6/8*-1 + (-16024182)/r. Let i = o - 1109. Which is bigger: i or 0?
0
Let g = -98 - -104. Suppose -4*c = -g*c. Let d = 579/5 + -26619/230. Which is bigger: c or d?
d
Let a = 0.044 - 0.092. Let o = a + 0.019. Let y = -0.029 - o. Is y at most -0.01?
False
Let g be 72/20 + -4 + (-7314)/(-2760). Suppose z - 3*d - 21 = 0, -2*d = -2*z - 2 + 24. Let v be z/9*(-9)/(-2). Is g greater than or equal to v?
False
Let c = 198 - 202. Let r = -11 - -15. Suppose -8*l - r = -4*l. Is l greater than or equal to c?
True
Let o(v) = -14*v - 50. Let z be o(-7). Let w(r) = 2*r + 32 - r - z - 4*r. Let x be w(-5). Is x at most as big as -20?
False
Let c(t) = t**2 - 36. Let m be c(-5). Let u(q) = 3*q**2 + 37*q + 11. Let n be u(m). Is n > -38?
True
Let i be 0*1/(-3) + (-1 - (-10075)/10166). Which is bigger: i or -1?
i
Let g = 84 - 83.59. Let p = 153.556 + -3.456. Let n = 150 - p. Is n at most as big as g?
True
Let u = -29005 + 28975. Which is bigger: u or 53?
53
Suppose 3*y + 11 = 3*a + 5*y, -14 = -2*a - 3*y. Let b be (6596952/(-55442))/(-17) + -7. Which is smaller: b or a?
b
Let t = 107 - 165. Let q(b) = -32*b - 59. Let c be q(0). Which is greater: c or t?
t
Let c be ((-549)/244)/(6/(-16)). Is 119/26 < c?
True
Let m(z) = 8*z - 17. Let a = -71 + 73. Let b be m(a). Which is bigger: 3/7 or b?
3/7
Suppose 19*j = 14*j + m + 2470, m - 1967 = -4*j. Is 490 < j?
True
Suppose 4*z = 4*p + 12, 6*z - z = -2*p - 6. Let l be (z + 160/12)/(-6). Is -1 at most as big as l?
False
Suppose f - 3*m - 234 = -0*f, -658 = -3*f - 2*m. Let k = f + -196. Is k at least 27?
False
Let z be ((-7473)/477)/(1/(-15)). Which is smaller: z or 233?
233
Let a = 9474 + -9481. Let z be (-4 - (-12)/4)*1. Which is greater: a or z?
z
Suppose 4*a - 61 = -5*r, 3*r - 39 = 3*a - 6*a. Let d = -5 - r. Is d != -10?
True
Suppose 7*r + 20 = 3*r. Let l be (-795)/117 - 87/(-261). Which is smaller: l or r?
l
Let c = 116.3 - 61. Let u = -52.97 + c. Is u > 2/5?
True
Suppose 9*o - 163 = 332. Let m = -33 + o. Which is smaller: m or 87/4?
87/4
Let j = 31.581 + 0.694. Let f = j - 0.575. Let h = f - 32. Which is greater: 1/2 or h?
1/2
Let p = -53 - 549. Let u = 514 + p. Is -88 at most as big as u?
True
Let o be (24812/14)/2 + 58/(-406). Is 875 <= o?
True
Let b(c) = c**2 + 4*c - 8. Let w be b(-6). Suppose -5*p = w*s + 9 + 27, p + 10 = 2*s. Let q be ((-110)/1375)/(p/10 + 1). Which is smaller: q or -3/11?
q
Let t be 3/9*24/136. Let d = t - 37/51. Is d not equal to -37?
True
Let o(k) = 6*k + 6. Let q(a) = -5*a - 5. Let d(u) = -4*o(u) - 5*q(u). Let b be d(0). Which is smaller: 8/19 or b?
8/19
Let v = -7971749/1503078 + 1066/201. Is -1 less than v?
True
Let v(b) be the second derivative of b**4/4 + 11*b**3/2 + 17*b**2/2 + 3*b. Let f(p) be the first derivative of v(p). Let r be f(-6). Is 0.1 bigger than r?
True
Let t be ((-5)/((-41615)/(-12)))/((-432)/126 - -2). Which is greater: 1 or t?
1
Suppose 2*u + 0*y - 3*y + 4 = 0, -4*u - 24 = 2*y. Let t(a) = 2*a**3 + 10*a**2 - 8*a - 33. Let v be t(-5). Is v at most as big as u?
False
Let s(d) = -d**3 + d**2 - d. Let o(b) = -7*b**3 + 12*b**2 + 8. Let r be (6/5)/(((-2)/(-10))/1). Let g(k) = r*s(k) - o(k). Let c be g(7). Does c = -1?
True
Let d(m) be the second derivative of m**4/6 + 8*m**3/3 - 13*m. Let h be d(-8). Are h and 1/6 equal?
False
Suppose 7*s - 2486 = 4*m, 147*s - 4 = 149*s. Which is smaller: m or -624?
m
Let h = -2879 - -2877. Is h at least -173?
True
Suppose -8*o - 218 - 166 = 0. Let g be (-104)/o + (-1)/6. Let d(l) = 3*l**2 - 2*l - 1. Let i be d(g). Which is smaller: 28/5 or i?
28/5
Let v = 78 + -162. Let j = v - -84. Which is smaller: j or 2/107?
j
Let k = -0.01386 + 0.81386. Does -195 = k?
False
Let i(n) = -2*n**2 - 16*n + 23. Let c be i(-9). Suppose -c*g - 1502 = -3*p - 3*g, -p + 508 = 3*g. Is 1 at most p?
True
Suppose 6*o = 3*o - 5*y + 70, 5*o + y - 80 = 0. Let j(p) = -p**3 + 7*p**2 + p + 4. Let x be j(7). Which is smaller: o or x?
x
Suppose 5*i - 9 = 1102*k - 1100*k, 3*i - 5*k - 13 = 0. Are i and 13/57 nonequal?
True
Suppose 5*w = 3*t - 212 - 242, 182 = -2*w + t. Is w not equal to -14?
True
Let w = -0.24445 + 0.04445. Is w at least 17?
False
Let l(h) = 38*h**2 + 35*h - 376. Let v be l(9). Is v >= 3016?
True
Let u(c) = -c + 18. Let k be u(13). Let s be -2 + k - 4173/52. Is -78 greater than or equal to s?
False
Let c = -8 - -13. Let a be (-9)/6*-3*(-16)/36. Let g be (0/a)/((2 - c) + 2). Which is greater: -3/4 or g?
g
Let u be 3/((-4)/(-12)*(0 - -1)). Suppose -u*o + 1 + 17 = 0. Let j = 103 - 304/3. Is o less than j?
False
Let l = 505.7 + -542.7. Which is greater: 0.02 or l?
0.02