rue
Let w = 51787/46 + -2261/2. Is -4 not equal to w?
True
Let i be (78/234)/((-2)/(-192)). Is 37 less than or equal to i?
False
Suppose -5*c - w = -0*c + 2, 3*w = -4*c + 5. Let o = -54/35 - -1/7. Which is smaller: c or o?
o
Let f(j) = -j**3 + 5*j**2 - j + 7. Let y be f(5). Let v(z) = 33 - z + y*z - 24. Let i be v(-9). Which is smaller: 1/14 or i?
i
Let d be (6/18*-6)/(-2)*-1. Which is greater: 7/34 or d?
7/34
Let s = 6.12 - 3.52. Is -1/4 not equal to s?
True
Let g be (-8)/9 - (-12)/18. Let x be 7/((-21)/(-9)) - (1 - -2). Which is smaller: x or g?
g
Let n be (4113/72 + -11)*-12. Is n greater than or equal to -553?
False
Let s = -1366 - -1003. Is -362 at least as big as s?
True
Suppose 4*r + 567 = 31. Are -4 and r nonequal?
True
Let o = 6827 + -40717/6. Which is greater: o or 40?
o
Let f = -21 - -11. Let y(w) = w**2 + 10 + 16*w - 4*w - 3 - w. Let b be y(f). Is -2 less than or equal to b?
False
Let d be (3 - 6846/2286)*12/(-16). Is -1 less than d?
True
Let f(a) = -18*a + 411. Let s be f(23). Which is bigger: -16/9 or s?
-16/9
Let l = -1 + 1. Let c = -247/451 + 15/41. Is c equal to l?
False
Suppose -24 = -4*s - 2*s. Suppose -s*j = 7 - 115. Is j <= 28?
True
Let p be (1 + (-58)/(-12))*124/(-155). Which is bigger: p or -4?
-4
Let u = 38 + -22. Suppose -h + 7 = t - 4*h, -t - 1 = -h. Let c be (-1 - t)*(-8)/u. Are -8/5 and c nonequal?
True
Suppose 5*w + 2*r + 30 = 0, -2*w - 22 = -5*r + 19. Let p be 55/(-8) - w/(-64). Is -7 != p?
False
Let u(n) = -4*n**2 + 2*n**3 + 3*n**2 + 4 - 3. Let r be u(1). Let g be ((-90)/(-27) + -4)/((-13)/(-3)). Which is bigger: g or r?
r
Suppose -8*x = -3*x - 240. Let p = -645 - -693. Is p at most as big as x?
True
Let u be (48/(-20))/(428/30). Which is smaller: -1 or u?
-1
Let t be (-3605)/(-5376) + 3*(-12)/54. Which is smaller: t or 0?
0
Let x = -0.0973 - -0.1573. Which is smaller: -1/157 or x?
-1/157
Let j = 0.36 - 0.06. Let t = j + 0.7. Let p be (8/(-12))/(50/(-15) - -4). Are p and t nonequal?
True
Let m = 362 - 522. Let q = m + 155. Which is greater: -1 or q?
-1
Suppose 5*n = -2*n + 91. Suppose 40 + 38 = n*t. Is 3 less than t?
True
Let u = 1038 + -4177/4. Are u and -6 nonequal?
True
Let g = 26342198/499 + -52790. Which is smaller: 1 or g?
g
Let r = 64.14 - 5.84. Let n = -58 + r. Is 9 equal to n?
False
Let p = -7 + -28. Let y = p + 1. Let d = -341/10 - y. Is -1 less than d?
True
Let l = -9 + 16. Let r = 4243 - 4238. Which is smaller: r or l?
r
Let q = -195 - -194. Which is smaller: -1/258 or q?
q
Let k(x) = -28*x. Let t be k(-1). Let l = t + -55/2. Let d be -2*5/(3 - -92). Which is bigger: l or d?
l
Let u be ((-34)/(-816))/(7/(-4)). Which is smaller: -1 or u?
-1
Let v = -2 - 12. Let q = -5 - v. Let n be (-6)/4*(-8)/(-12). Is n not equal to q?
True
Let z(a) = -a - 4. Let q be z(-7). Suppose -q*c = -0*c + 3. Let x be -5 + 4/(c - -5). Which is greater: x or -3?
-3
Let r be -4 - ((0 - 148/12) + -2). Which is greater: r or 1/3?
r
Let t = -39 + 38.48. Let f = -0.22 - t. Is 1/9 less than f?
True
Suppose -7*j = -2*j + 3*p - 42, 0 = -3*p + 12. Let g = 8 + 2. Let d = -6 + g. Which is smaller: j or d?
d
Let d = 17 + -36. Let c be -21 - (48/(-18) - (-4)/6). Is c smaller than d?
False
Let w be -21 - 2*12/8. Let r = w - -26. Suppose -7*u + r*u = -25. Which is smaller: 6 or u?
u
Let c be (-46)/(-10) - (-30)/(-50). Suppose -c*d = -5*z + 3, -17 + 2 = -2*d - 3*z. Let t be 11*d/(-6)*2. Are -10 and t non-equal?
True
Let h be (4 + -6)*(-2 - (-3)/2). Let z = -68919/7 + 9871. Let k = -26 + z. Is k smaller than h?
True
Let p = -15.2 - -15.17. Let k be ((-2)/4)/((-6)/(-4)). Do p and k have the same value?
False
Let v be 2*3/(-24) + 9/(-12). Let n(x) = 37*x + 8. Let j be n(v). Which is bigger: j or -28?
-28
Let j = -43 + 42. Let n be 22/231*(-7)/(-3). Is j at most n?
True
Let o = -1218 - -1214. Are -89 and o equal?
False
Suppose 6*h - 2*h + 187 = 5*t, 3*t = -2*h + 121. Which is smaller: 43 or t?
t
Suppose -3*l - 2*n + 42 = l, -57 = -5*l + 2*n. Let g(v) = -v**3 + 11*v**2 - 2*v + 27. Let h be g(l). Is h less than 22/5?
False
Let q = 19 - 17. Suppose 0*u + 12 = q*u. Suppose -2*m = m - u. Which is smaller: 1 or m?
1
Let y = 0.03 - 0.01. Suppose 5*z - 10 = 40. Let c be (8/(-20))/(6/z). Which is bigger: c or y?
y
Let z = -77 - -79. Let j be 527/(-646) - (-1)/z. Which is smaller: j or 0?
j
Let d be 14/2 - (6 - 2). Suppose -r = -d*l - 3, -2*l + 9 = 3*r - 0*r. Let p(f) = -4*f**2 - 13*f. Let g be p(-3). Is r at most g?
True
Let t = 87 - 87. Let b = t - -4. Let v(f) = 2*f - 4. Let s be v(3). Is b >= s?
True
Let w = 0.35 + -11.35. Let q = -3.2 + -7.6. Let c = w - q. Are 2/3 and c unequal?
True
Suppose -2*g - q = 2*g + 5, 0 = 2*q + 2. Let s = 213 - 1705/8. Is g greater than s?
False
Let f = -30 + 29. Which is greater: 2/33 or f?
2/33
Suppose -5*y - 21 = 4*u, 5*u - 4*u - 2*y = -2. Let h be 10/u*(-1)/(-30). Let b = 149/60 + h. Which is smaller: 1 or b?
1
Let z = 5 + -5. Suppose l + m = 2*m + 21, m = z. Let b be (14/l)/((-1)/6). Is b bigger than -5?
True
Let m = 18.3 + 117.7. Let y = m - 136. Let f = 0.04 + 0.08. Is y != f?
True
Let a = 59 - 67. Let d be ((-15)/12)/(2/a + 0). Do 5 and d have different values?
False
Suppose 6*d = 53 + 1. Suppose 0 = -3*v - d - 51. Which is smaller: 0.1 or v?
v
Suppose 0*t = -4*t - v - 1368, 2*t - v + 678 = 0. Let u be (t/204)/(-1) + -2. Let l = u + 4/51. Which is bigger: l or 0?
0
Let d(w) = -w**2 + 2. Let t be d(2). Let q = 358611/322 + -2457/46. Let l = q + -1062. Is t greater than or equal to l?
False
Let p be (-1220)/50 + 4/10. Let s be p/(-108) - -1*(-14)/(-18). Let c be (-3)/(84/8) - 0. Is s > c?
True
Let s = 0 - 4. Let o(i) = -i**2 - 5*i + 11. Let u be o(-6). Let l be u - (3 + s - 0). Which is greater: 7 or l?
7
Let j(w) = w**3 - 15*w**2 + 14*w + 3. Let l be j(14). Let d = l + -4. Let o be 12/(-5) + (37 - 35). Is o at least d?
True
Suppose -5*r + 20 = 0, 13*r - 8*r = 2*a + 22. Which is smaller: 1/138 or a?
a
Let o be 16 - -1*(-3)/(-1). Let r = -35 + o. Let l = r - -14. Which is smaller: -3 or l?
-3
Suppose 72*g - 46062 = 34794. Is 1123 at most as big as g?
True
Let w(p) = p**2 - 4*p - 7. Let k be w(0). Is k greater than -46/7?
False
Let f = -414061/268 - -1545. Which is greater: f or -1?
f
Let j(u) = 3*u**2 + 6. Let v be j(-4). Let s = -55 + v. Which is greater: s or -1/53?
-1/53
Let i be (-2895)/(-45) + 2/3. Is 65 < i?
False
Let f be 18/20 + 14/(-35). Are -240 and f unequal?
True
Let u = -24.6 - -25.6. Is -54 < u?
True
Let w = -0.044 + 0.071. Let o = -1.173 - w. Is 0.6 >= o?
True
Let h = 693 - 693. Is -2 >= h?
False
Suppose -2*u = 2*t, -10 = 5*t - 2*t + 5*u. Suppose f - 2*c + 12 = -0*c, 0 = 3*f - t*c + 31. Let k be -2 - -3 - 0/f. Is 0 not equal to k?
True
Let u(j) = j**2 - 12*j - 14. Suppose -o = 3*y - 36, -5*o - 6 = 9. Let b be u(y). Is b smaller than 4/29?
True
Let q = -26.368 - -1.368. Is q != -3/2?
True
Let l(o) = o + 1. Let m(s) = 8*s + 7. Let v(q) = -4*l(q) + m(q). Let h = -735 - -736. Let t be v(h). Which is bigger: 5 or t?
t
Let c be (792/224)/(-33)*(-5)/42. Which is greater: 0 or c?
c
Suppose -3*k = 5*d - 138, -52 + 14 = -d + 2*k. Suppose -17*g + 364 = -4*g. Is d smaller than g?
False
Let d be (((-2)/(-1))/1)/(3115/70). Which is smaller: -1 or d?
-1
Let o(r) = -5*r - 5*r - 10 + 4*r - 2*r. Let z be o(-3). Is 14 greater than z?
False
Suppose 1 = f - 7. Let u(l) = l**3 + 5*l**2 - 6*l + 3. Let s be u(-6). Suppose 0 = -2*r - s*i + 6, 0*r + f = r - i. Do -1 and r have different values?
True
Suppose h = -2*t + 4, 7 = 4*t + 3*h + 1. Let y be (-3 + 0)/t - 0. Are 19 and y unequal?
True
Let r be 60/40 - 2181/(-42). Which is smaller: 54 or r?
r
Let f = -1.7 + 8.7. Let a = -7.1 + f. Is 24 >= a?
True
Let s = 2.06 + -0.06. Let r = 0.246 + -0.116. Which is bigger: s or r?
s
Let q = -911.83 + 912. Does q = 25?
False
Let v = -34.2 + 41. Let h = 52.8 - v. Are 0 and h non-equal?
True
Let t = -9.76 - 0.24. Let u = -4.03 + 1.03. Is t < u?
True
Suppose 129 - 39 = 9*s. Let j be 102/130 - (-1 + 14/s). Is 0 less than or equal to j?
True
Suppose -s = w + w, 4 = -2*w - 2*s. Suppose -40 = -5*j + 5*b, j = -5*b - 0 + w. Let f be 2/(-28)*(3 - j). Is f > -0.2?
True
Suppose 0 = -5*u + u - j + 184, j + 4 = 0. Suppose 0*p = -3*p + k + u, p - 17 = k. Let n be (-1)/3 - (-5)/p. Is 0 less than n?
False
Suppose 0 = -o + 5*m - 14, 0 = 2*o - 6*o + 3*m +