 - 165. Let u = 937 - j. Are -13 and u nonequal?
True
Suppose g = 6*g - 10. Let u be -2 - 1 - (-6)/30*943. Let x = u - 183. Which is bigger: x or g?
x
Let h = 35.6549 + 0.0451. Let u = 36 - h. Let r = -5.6 + -0.4. Which is greater: r or u?
u
Let d = 0.3 - 0.22. Let j = -5547.7 + 5548. Which is greater: j or d?
j
Let f = -1/392420 - 776277/3360292460. Are -1 and f equal?
False
Suppose -4*g - 4*v = 884, 2*v + 631 + 462 = -5*g. Let x = g - -216. Let h = -278 - -2783/10. Which is smaller: h or x?
x
Let m be 147/(-104) - (-3 + 1 + 15/8). Is m at least as big as -1?
False
Suppose -f + 6*w + 144 = 10*w, 0 = 2*f + 2*w - 270. Let n(u) = -u**3 - 10*u**2 + 29*u + 2. Let t be n(-13). Is t != f?
False
Let k be (-650)/(-2)*(-261)/(-3393). Which is bigger: -48 or k?
k
Let l = 13769/24236 - 57/146. Which is smaller: 1 or l?
l
Let b = -39 + 20.6. Let g = b - -18. Let h = -0.163 + 0.763. Is g bigger than h?
False
Let h(z) = -z**3 - 2*z**2 + 6*z + 5. Let a be h(-3). Let y be ((-6)/a)/((-618)/(-8)). Let b = -477 + 478. Which is smaller: y or b?
y
Let i = 275 + -278.09. Let v = -144.09 - i. Let k = v + 81. Which is greater: -1/4 or k?
-1/4
Suppose 5*i + 10*x = 5*x + 1415, x = i - 293. Let o be ((-4)/10)/(i/900). Which is greater: o or -1?
-1
Suppose 34 = -x + 3. Let d be 1330/45 + 5/3. Let a = x + d. Which is smaller: a or -1/4?
-1/4
Let x = 2018 - 2010. Do x and 312/43 have the same value?
False
Suppose -6*q + 1640 = -1426. Let a be q/(-364) - (-20)/16. Is -0.1 < a?
False
Let a(m) = 20*m**2 + 7*m - 1. Let s be a(-5). Let y = -546 + s. Is y greater than -83?
True
Let w = 1 - 0. Let t be -1*(-399)/2052*(-3)/28. Which is smaller: t or w?
t
Let i be 2 + (4/6 - (-48766)/111). Suppose -478 = -2*y - i. Is y < 18?
False
Let k = 1047/80 + -243/16. Let r(u) = 6*u**2 + 24*u + 102. Let c be r(-4). Suppose -c + 114 = -4*h. Which is smaller: h or k?
h
Suppose 4*z = -4, -30 = c + 2*z - 108. Let w be 8/(-45) - (-32)/c. Are 1 and w equal?
False
Let k(f) = f**2 - 44*f + 198. Let s be k(39). Let q be 1*(-1)/(s/(-45)). Is 2 < q?
True
Let g be (-21)/14*(-6)/(10 - (-123710)/(-12380)). Which is bigger: 6197/5 or g?
6197/5
Let u(m) = -m**3 + 28*m**2 + 5*m - 149. Let w be u(28). Which is smaller: w or -159?
-159
Let i(m) = -79*m - 1365. Let h be i(-98). Is 6377 smaller than h?
False
Let j = 2898 - 1243240/429. Let x = -772/18447 - j. Is x > -0.1?
True
Let d(g) = 5*g - 5. Let c be d(7). Let h(q) = 572*q + 2326. Let u be h(-4). Which is bigger: c or u?
u
Suppose -3*b = -0*i + 5*i - 49, b + i = 13. Suppose -g = 5*c - b, 12 = 2*g - 7*g + c. Let f be (8*4/(-8))/g. Which is smaller: f or 10?
f
Let v(l) = 2*l**2 - 14*l + 38. Let y be v(5). Suppose 0 = 13*h - y*h + 5*b - 435, 5*b = -2*h - 181. Do h and -87 have the same value?
False
Let g = 1241/451 - 1/41. Suppose -22 + 6 = -4*s. Which is greater: s or g?
s
Let u(q) = q - 12. Let n be (-65)/(-2)*(-1)/((-10)/(-24)). Let g = 82 + n. Let m be u(g). Is 2/5 <= m?
False
Let n be 2*(-132)/42*21/(-6). Let b(o) = 2*o - 34. Let u be b(18). Which is bigger: n or u?
n
Let t be (138/207)/(2/(-978)) + (-2 - -2). Which is smaller: 1.3 or t?
t
Suppose -4*u = -5*h - 6*u + 45, 0 = -h + u + 2. Let q be ((-4)/(-6))/((-38)/(-180) - 32/320). Which is greater: h or q?
h
Let b(w) = w**2 + 18*w - 42. Let k be b(-21). Suppose 5*i = k - 6. Suppose -3*u + h = 2, -4*u - 2*h + 3 = -1. Is u greater than or equal to i?
False
Suppose 88 = -9*z + 628. Let w = -50 + z. Let x = w - 11. Which is greater: x or -8/7?
x
Let j be (174/5)/(8708/700 - 15). Is -13 <= j?
False
Let y = -589 - -22970/39. Suppose 5*t - k - 4 = 0, -t - 4 = -5*k - 0. Let s be (t + -1)/(3 + -4). Are y and s unequal?
True
Let q = -382 - -187. Suppose 5*d + 966 = -y, 59*d + 4*y - 231 = 60*d. Is q bigger than d?
False
Let k = 3320 + -3165. Suppose 8*l - 5*m = 3*l + 760, -3*l - 4*m + 470 = 0. Is l bigger than k?
False
Suppose 344 = 101*g + 71*g. Is 100/147 at most as big as g?
True
Let o(y) = 2*y**3 - 13*y**2 + 203*y - 1220. Let h be o(6). Is h at most 5?
True
Suppose -48*l - 146 + 2101 + 1619 = -1802. Let f be 226*1*(-1)/(-2). Is l less than f?
True
Let k = 2.81 + 2.09. Let x = k + -5. Is -24 smaller than x?
True
Let s(v) = -6*v**2 - 70*v - 117. Let m be s(-2). Which is bigger: m or -3/6263?
-3/6263
Let s(v) = v. Let q be s(-1). Suppose -2*t - 20 = 18*t. Let h be q/(0 - t) + 12. Is h smaller than 12?
True
Let v be 2/(((-140)/119)/10). Let c(s) = 9*s + 1. Let j be c(-2). Is v at least j?
True
Suppose -5*d - 36*v = -33*v - 4939, -12 = -4*v. Which is smaller: d or 984?
984
Let g be (10/70)/((-2)/(-4)). Let q be 12/(-14)*(-84)/(-18). Is g less than q?
False
Suppose 2*j - 12*j = -30. Suppose 0 = -5*z + 4*l - 55, -j*z + 3*l = -0*l + 36. Let s = z + 7. Which is bigger: 15 or s?
15
Let t = -853/147136 - 3/1216. Which is greater: t or -0.002?
-0.002
Let n be ((-17)/(-6))/((-29)/870). Which is greater: -88 or n?
n
Let j(p) = -p**3 + 4*p**2 + 4*p + 1. Let u be j(-3). Let f be (2/u)/((-1)/10). Let z be ((-41)/(-82))/((2/12)/((-13)/39)). Does z = f?
False
Let q(n) = -n - 5. Let k be q(-6). Let v = 2140784 - 727867329/340. Let l = -1/85 - v. Is k greater than or equal to l?
False
Suppose g + r = 4*r + 12, -5*g = 5*r. Suppose g*v - 5*q = -26, 4*q + 4 = -4*v - 20. Let b be v/56*(-2)/8. Do b and 0 have different values?
True
Let z be ((-2)/4 - -3)*10. Let c be 10/z - (-48)/(-70). Let g = 17 - 3. Which is smaller: g or c?
c
Suppose 5*t = 5*j - 15, 20 = -6*t + t. Let z = -2572085/233 + 11039. Which is greater: z or j?
z
Let m = 383.701 + -384. Let r = 949 + -949.1. Are r and m equal?
False
Let z = 7701 + -5972. Do 1729 and z have the same value?
True
Let n be ((-28)/(-96) + (-3)/(-8))/((-8)/(-5148)). Are n and 11 nonequal?
True
Let f be ((-6)/(-1210))/(3/116). Let s = 8334 - 1008415/121. Let r = f - s. Which is smaller: r or 0?
0
Let x be (-20)/2 - (-6 - 0). Let w be x + (15/5)/1. Which is smaller: w or 6?
w
Let n = -2/73687 + 24611480/810557. Is n greater than 29?
True
Let d be 6*(-6 + 1 - ((-2269484)/(-32421))/(-14)). Which is smaller: d or -1/2?
-1/2
Suppose -2*q = -l - 0*q + 269, -5*l = 4*q - 1401. Is 283 not equal to l?
True
Let n be (6/28)/(-1126*((-189)/(-49) + -4)). Which is bigger: n or -1?
n
Let v = 4532 - 4531. Is -32.2 less than v?
True
Suppose -334 + 57 = 277*o. Which is smaller: o or 1/483?
o
Let z = 1 - 0. Let o = -92 + 110.1. Let t = o - 6.1. Is z less than or equal to t?
True
Let w = -6 - -16. Suppose w*b - 8*b = -8*b. Is 2/63 at most b?
False
Let u = 32 + -20. Let y be 28/21*1134/(-168). Does u = y?
False
Suppose 5*g - 4*a = -18, 10*a = 3*g + 15*a - 4. Let k be (25 - 1) + -8 + 9 + g. Which is smaller: 24 or k?
k
Suppose -48*y + 30*y = 125*y - 3432. Let c = -10 - -43. Suppose z - y = 2*j, 4*j + 3 = -z - c. Is -66/7 smaller than j?
False
Let w(j) = 7*j**2 - 25*j - 61. Let h be w(-2). Is 22 > h?
True
Let c(r) = r**3 - 8*r**2 + 8*r - 7. Let b be c(7). Let y be 1*((-18)/(-3636)*-204 - (-1 - 0)). Which is bigger: b or y?
b
Let d(i) = 8*i**2 - 6*i + 8. Let x be d(2). Suppose x = 3*s + 2*b, 0 = 2*s + 5*b - 46 + 9. Let h be ((-20)/150)/((-2)/s). Is -2 smaller than h?
True
Suppose 28 = j + 29, 2*n = -j + 1027. Which is greater: 540 or n?
540
Let y be ((-4056)/56 + -6)/((-50)/35). Which is smaller: 54 or y?
54
Let x = -748 + 929. Let r = x - 182. Is r < -30/13?
False
Let t = -30/1471 + 139412/6691579. Do t and -1 have the same value?
False
Let t = -908.7 - -853. Let y = 64 + t. Let l = -9.3 + y. Is 8 greater than or equal to l?
True
Let c = -6629/12 + 1658/3. Is c <= -1873?
False
Let z(b) = -21*b**2 - 73*b - 31. Let f be z(-3). Let p be 1 - (278/282 + 0). Which is greater: p or f?
p
Let g = -233 + 368. Let v = -5263/39 + g. Let r be ((-3)/2)/((-9)/12). Which is bigger: v or r?
r
Let o = 188.673 + 0.327. Let c = o - 200. Are c and -1/7 non-equal?
True
Let w be 214/(-610) - 2/(-5). Let o = 18229 + -18228. Which is smaller: o or w?
w
Suppose 0 = -4*o - 3*p + 2*p - 5, -3*o + 3*p = 0. Let v be 2 + -16 - (o - -2). Suppose 4*s = -4*g + s - 66, -5*s + 65 = -5*g. Is g smaller than v?
False
Let i be 0 + 4/(-1014)*3. Let o(p) = 210*p - 1765. Let d(u) = 15*u - 126. Let t(f) = 85*d(f) - 6*o(f). Let c be t(8). Is c not equal to i?
True
Let h(q) = q**3 - 7 + 0 - 11*q - 36*q + 9 + 22*q**2. Let t be h(-24). Let m(f) = -7*f + 4. Let l be 