 -9362 - -9363.175. Is 0.1 less than h?
True
Let a(c) = -47*c + 4074. Let r be a(86). Do 3 and r have the same value?
False
Suppose 5*v + z + z - 666 = 0, v - 126 = -4*z. Let k = 12 - v. Are -121 and k non-equal?
True
Let f = 254.68 + -260. Let y = f - -0.32. Let h = y - -5.9. Is h smaller than 2?
True
Suppose -3*o - 6 = 5*f, -2*o = -10*f + 5*f - 21. Suppose 5*j - 24 = -o*j. Is 5 bigger than j?
True
Let n be 15/(-10) + (-3)/(-2). Let p be 2/((3 - n)*15/(-45)). Which is smaller: 3/29 or p?
p
Let h(f) = -f**3 - 5*f**2 - 24*f - 95. Let c be h(-4). Which is greater: c or -148/9?
c
Suppose 2*v + 3*p - 1 = 0, -4*v + 5*v - 1 = -p. Is 185/63 less than v?
False
Let d(f) = 2*f**2 - 17*f - 12. Let o be d(10). Suppose -4*b - b + 10 = -g, 3*g + o = 3*b. Let w be 154/12 + b/(-3)*-2. Which is smaller: 15 or w?
w
Let s(w) = -2540*w - 92. Let q be s(1). Is q at most as big as -0.1?
True
Let a be (-14)/182 + (-724)/(-12116). Let w = a + 502/2097. Which is smaller: w or 110?
w
Suppose 70 = 2*r - 3*g, g = -6*r + 78 + 92. Is r less than 425/14?
True
Let r = 143 + -194. Let y be ((-524)/18)/(34/r). Which is smaller: y or 45?
y
Let w(r) = r**3 - 98*r + 308. Let p be w(6). Which is smaller: -86 or p?
-86
Let w(c) = -15*c**3 - 4*c**2 + 2*c - 4. Let u be w(2). Let d = 134 + u. Which is smaller: -5/8 or d?
d
Let u = 22.6043 + -22.53. Which is smaller: -0.2 or u?
-0.2
Let c be (24/(-56))/((-3)/7). Let l = -57 - -29. Are c and l non-equal?
True
Let b = 157 + -178.9. Let o = b + 22. Is 20.6 at most as big as o?
False
Suppose 0*b - 2*b + 6 = 0. Let w(z) = -19 + b*z + 6 + 6 - z**2 + 5. Let p be w(2). Is p > 1/51?
False
Let j be 4440/(-28)*2478/(-295). Which is bigger: j or 1328?
j
Let s = -23 - -28. Suppose -m = s*m. Let t be (-4328)/3488 + 15/12. Which is smaller: m or t?
m
Let h = 2.494 - -850.506. Is 1/2 at least as big as h?
False
Let i = -171215/1314 - -88/657. Which is bigger: -129 or i?
-129
Suppose b + 33 = 3*n, 28*n + 165 = -5*b + 32*n. Suppose -18 = 2*t + t. Let s be t/(-27) - (-308)/(-9). Is b less than or equal to s?
False
Let r(o) = -12*o - 14. Let j(l) = -8*l. Let i be j(1). Let u be r(i). Suppose u = -3*s + 7. Is s < -27?
False
Suppose -5*h - 7 + 22 = 0. Suppose -2*w + 1 = -h. Let y be (-168)/70 + (8/10)/w. Are -2/11 and y equal?
False
Let j(f) = 2*f**2 - 80*f + 40. Let q(r) = r**2 + r. Let m(v) = -j(v) - q(v). Let u be m(26). Which is greater: -16 or u?
u
Suppose 54 - 134 = -5*g - 5*g. Are g and 516 nonequal?
True
Let i = -6497 - -6549. Let b(z) = 14*z - 11. Let t be b(12). Suppose 2*j = 3*d + 3*j - t, j = 1. Is i > d?
False
Let f = -984 - -605. Let i = f - -360. Suppose d = 3*d + 12. Which is smaller: d or i?
i
Let r be ((-2)/3)/(2/(-753)). Let k = r - 504. Is k greater than -253?
False
Let k = 85715 + -250094/3. Which is smaller: 2349 or k?
2349
Suppose -81*s - 26535 = -20*s. Let j = 210 + s. Which is greater: j or -224?
-224
Suppose -r + 0*r + 3*h + 6 = 0, -4*r + 14 = -2*h. Suppose q + 5 = -4*f, f + 2*q + 0*q + r = 0. Let j be (5 - 5 - 0)/(-2 - f). Which is smaller: j or 5/11?
j
Let b(a) = -71*a**2 + 70. Let d be b(-4). Is -1066 greater than or equal to d?
True
Suppose -3 = x, -3*x = 7*y - 4*y + 36. Let v be 24/y*-6 + 3. Let s be 6*((-942)/(-1512)*6 + 4/(-7)). Is v smaller than s?
False
Let o(x) = 34*x - 49. Let i be o(5). Let l = -125 + i. Which is bigger: l or -32/9?
-32/9
Let l = -297 + 207. Let v(p) = 56*p + 3023. Let b be v(-54). Is b < l?
False
Let j(o) = -71*o + 2359. Let w be j(73). Which is bigger: 0.2 or w?
0.2
Let z be 381/254*38/(-1101). Do z and -1 have different values?
True
Let x = 6614 + -6614. Is -482 < x?
True
Let w = -4 + 3.95. Let b = w - 0.05. Let t = -634 - -634.02. Is b <= t?
True
Suppose -2121 + 3405 = -17*c - 3714. Is -2/13 greater than c?
True
Let g = -65.9595 - 0.0405. Let y = 65.72 + 0.08. Let k = g + y. Is -7 at least k?
False
Let j = 8577 - 8576. Let g be ((-8)/54)/2 + 0. Let q = -11/27 - g. Is q at most as big as j?
True
Let g = 79 + -39. Suppose 5*n = -2*i + 28, -5*n + g = 3*i - 12. Is i equal to 24?
True
Let b be 2*(1 + (-9 - 3)). Let x(i) = i**3 - 39*i**2 - 42*i + 59. Let s be x(40). Which is smaller: b or s?
b
Suppose 0 = 4090*a - 4092*a - 4. Do -46 and a have the same value?
False
Let l = -13538 + 12303. Which is bigger: l or -1237?
l
Let s be ((-2)/(-7) - (-992)/(-1120))/((-3)/(-81)). Let t = 6 - 22. Which is smaller: t or s?
s
Let m be (31920/(-23940))/(3/((-153)/(-2))). Suppose -5*y + 5*h = -0*y + 195, -3*h + 151 = -4*y. Is m at most y?
True
Let j = 7013 - 1626. Is 5387 less than j?
False
Let o be (-6)/(-2)*(-378)/(-162) + -6. Which is smaller: o or -15/467?
-15/467
Let t be (23 - -2 - 21)*(-139)/2. Is t smaller than -284?
False
Let j = 3679.986 - 3688. Let p = j - -0.014. Let m = p + 9. Is 25 at least m?
True
Suppose -7*t = -32 + 74. Let j(h) = -45*h - 119. Let l be j(t). Does l = 150?
False
Let u be 192164/(-53375) - -4 - (-3)/15*-2. Which is bigger: 1 or u?
1
Let x(s) = -s**3 + 9*s**2 + s - 1. Let j be x(9). Suppose -j*b - 248 = 184. Let g be b/8 - 6/24. Is 1 not equal to g?
True
Let n = 309 - 434. Let v be ((n/3)/5)/((-5)/15). Is v < 22?
False
Suppose 14 = -2*m + 5*t - 18, 3*t + 38 = -4*m. Let x(f) = -39*f - 442. Let k be x(m). Which is smaller: -0.02 or k?
k
Let f = -24 - 6. Let g(z) = -z**2 + 19*z - 41. Let a be g(15). Let n = a + f. Is -11 at least as big as n?
True
Let b(v) = 2*v**2 - v - 13. Let o(z) = -z**2 + 4*z + 14. Let n(f) = -3*b(f) - 2*o(f). Let y be n(3). Which is bigger: -39 or y?
-39
Let a be ((-14)/4)/(20/(-40)). Suppose -4*g - 2*h = 32, 5*g + 15 + 11 = h. Let y be (-3 - (105/g)/a)*17. Is y < -9?
False
Let z = 0.1 - 0.1. Let f = 3467 - 9983/3. Let n = f + -139. Is z at most as big as n?
True
Let j = 519.829 + -520. Is 15 at most as big as j?
False
Let x = -25 - -25.159. Let y = -0.059 + x. Is y at least 57?
False
Let p be (-81487)/(-18293) + (-5)/11. Let q = 34 - 51. Let b = -28 - q. Is b at most p?
True
Let i = -103/59409 + 1/2829. Let u = -2171856816 - -78675513168244/36225. Let d = i - u. Which is greater: d or -1?
d
Let o = -77 - -152. Suppose 69 - o = 6*k. Which is smaller: 0 or k?
k
Let t be (2 - (7 + 2))/(21/((-30870)/273)). Is t not equal to 37?
True
Let r = -2108 + 2909. Is 801 <= r?
True
Let p be 6/(-2) - (-6*39 + 5). Let t = p - 674/3. Which is smaller: t or 1?
1
Let c = 303 + -287. Let z(m) = 11*m - 102. Let u be z(11). Which is smaller: u or c?
c
Let s = -604.675 + -1.325. Let r = s + 606.21. Which is bigger: r or -4?
r
Let b(u) = 51*u + 1010. Let h be b(-19). Which is smaller: 39 or h?
39
Let f be (-44 - -14) + 84 + -3*(-2 - 0). Let l be 87 - -1*(-3 + 1). Let r = f - l. Are -25 and r equal?
True
Let y be (4 - (-775)/(-140))/((-6)/(-7)). Let s = -17/24 + y. Is s at least 1.2?
False
Suppose 4*z - 592 = -n, -3*n + 21*z - 20*z = -1815. Let d = n - 841. Is d at most -237?
True
Let j be (-3)/(1 + 2) - 986/(-544). Suppose 0*m = 3*m + t - 5, -t = -2*m + 5. Are j and m equal?
False
Suppose -2*k + 10 = -2*g, g + 4 = -1. Let j(b) = b. Let a be j(2). Suppose a*s = -2*s + 8. Which is smaller: s or k?
k
Let v = 507.0938 - 1.0938. Is v at least as big as 1/5?
True
Let a be 1 - (1 + (3 - 0)). Let n = 64 - 117. Let k = n + 54. Are a and k equal?
False
Let j = 16852 - 7853029/466. Suppose c + 57*y = 56*y + 2, 3*c + 2*y = 4. Is j at most c?
False
Let j = -195 + 179. Let p be 6 - (-1)/(j/284). Let q be 158/(-14) + (-4)/(-14). Is p less than q?
True
Let l be 183/4 - 13/(-52). Let f be 2/3*6 - (50 - l). Which is greater: -14/23 or f?
f
Let f(g) = 571*g**3 - 13*g**2 + 6*g + 14. Let w be f(6). Let m = w - 26673137/217. Let z = m + -1/31. Which is bigger: z or 0?
z
Suppose -117*r + 5248 = -10430. Suppose -3*q - 399 = -3*j, -2*j + 4*q - 266 = -4*j. Is r < j?
False
Let q be 2/(-9) + 35/144. Let w(h) = h**2 + 11*h + 16. Let b be w(-8). Let z(s) = 14*s + 112. Let i be z(b). Which is greater: i or q?
q
Let d = 61101/65 + -940. Suppose -3*h - 30 = -4*w - 8*h, 2*w - h - 22 = 0. Let r be -6 + (-99)/(-15) - (-4)/w. Is r at least as big as d?
True
Let f be (67/(-8))/((-22 + 2)/(-13840)). Do f and -5795 have different values?
True
Let g = -7478 - -7477.9. Which is smaller: g or -9300?
-9300
Suppose 59*j = -31*j + 13*j. Is j bigger than 1/2129?
False
Let x = -54 + 18. Let q = x - -51. Let f = q + -31. Which is small